Succinct Verification of Compressed Sigma Protocols in the Updatable SRS setting.

Moumita Dutta Chaya Ganesh Neha Jawalkar

Published in: IACR Cryptol. ePrint Arch. (2024)

Keyphrases

cryptographic protocols
model checking
information retrieval
data compression
security protocols
formal verification
protocol specification