Abstract is missing.
- Fiat-Shamir Security of FRI and Related SNARKsAlexander R. Block, Albert Garreta, Jonathan Katz, Justin Thaler, Pratyush Ranjan Tiwari, Michal Zajac 0001. 3-40 [doi]
- On Black-Box Knowledge-Sound Commit-And-Prove SNARKsHelger Lipmaa. 41-76 [doi]
- Protostar: Generic Efficient Accumulation/Folding for Special-Sound ProtocolsBenedikt Bünz, Binyi Chen. 77-110 [doi]
- Polynomial IOPs for Memory Consistency Checks in Zero-Knowledge Virtual MachinesYuncong Zhang, Shifeng Sun 0001, Ren Zhang 0003, Dawu Gu. 111-141 [doi]
- Weak Zero-Knowledge via the Goldreich-Levin TheoremDakshita Khurana, Giulio Malavolta, Kabir Tomer. 142-173 [doi]
- A Simple and Efficient Framework of Proof Systems for NPYuyu Wang 0001, Chuanjie Su, Jiaxin Pan, Yu Chen 0003. 174-207 [doi]
- Sigma Protocols from Verifiable Secret Sharing and Their ApplicationsMin Zhang, Yu Chen 0003, Chuanzhou Yao, Zhichao Wang. 208-242 [doi]
- Anonymous Counting TokensFabrice Benhamouda, Mariana Raykova 0001, Karn Seth. 245-278 [doi]
- Predicate Aggregate Signatures and ApplicationsTian Qiu, Qiang Tang. 279-312 [doi]
- Bicameral and Auditably Private SignaturesKhoa Nguyen 0002, Partha Sarathi Roy 0001, Willy Susilo, Yanhong Xu. 313-347 [doi]
- Threshold Structure-Preserving SignaturesElizabeth C. Crites, Markulf Kohlweiss, Bart Preneel, Mahdi Sedaghat, Daniel Slamanig. 348-382 [doi]
- Practical Round-Optimal Blind Signatures in the ROM from Standard AssumptionsShuichi Katsumata, Michael Reichle, Yusuke Sakai 0001. 383-417 [doi]
- A Generic Construction of an Anonymous Reputation System and Instantiations from LatticesJohannes Blömer, Jan Bobolz, Laurens Porzenheim. 418-452 [doi]
- Universally Composable Auditable SurveillanceValerie Fetzer, Michael Klooß, Jörn Müller-Quade, Markus Raiber, Andy Rupp. 453-487 [doi]