FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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: