Encontrado 1 documento, a visualizar página 1 de 1

A certifying compiler for zero-knowledge proofs of knowledge based on sigma-pro...

Zero-knowledge proofs of knowledge (ZK-PoK) are important building blocks for numerous cryptographic applications. Although ZK-PoK have a high potential impact, their real world deployment is typically hindered by their significant complexity compared to other (non-interactive) crypto primitives. Moreover, their design and implementation are time-consuming and error-prone. We contribute to overcoming these chal...