Distilling Constraints in Zero-Knowledge Protocols
Authors: Elvira Albert, Marta Bellés-Muñoz, Miguel Isabel, Clara Rodríguez-Núñez and Albert Rubio
Paper Information
| Title: | Distilling Constraints in Zero-Knowledge Protocols |
| Authors: | Elvira Albert, Marta Bellés-Muñoz, Miguel Isabel, Clara Rodríguez-Núñez and Albert Rubio |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | R1CS, ZK protocols, Constraint simplification, Non-linear constraints |
| Pages: | 13 |
| Talk: | Aug 08 10:20 (Session 94A: Hyperproperties and Security) |
| Paper: |  |