Abstract. In striving to provide data integrity and confidentiality tools, we do not yet have any standard specification for zero-knowledge proofs. Yet, they ensure high levels of privacy, which helps mitigate the long-term storage of personally identifying information. They also enable fast authentication and computation integrity, making it possible to verify complex properties over large amounts of data. This talk will focus on specifying Sigma Protocols and their current standardization effort for specific use-cases within the IETF and ZKProof.org. Sigma Protocols are among the most widespread zero-knowledge proofs today: they are more than 30 years old, their theoretical security is well-understood by cryptographers, and has been implemented many times by protocol engineers. We will go over the history and some of the major issues found in implementations over the years, the current effort of standardization that we are leading at ZKProof.org, and our strategy for tackling the different components and fostering developers' adoption.
Suggested readings: https://docs.zkproof.org/pages/standards/accepted-workshop4/proposal-sigma.pdf
Security and Privacy: cryptography