Greg Zaverucha

Beyond the Circuit

2025 · IACR Communications in Cryptology

A fundamental challenge in zero-knowledge proof systems is implementing operations that are “foreign” to the underlying constraint system, in that they are arithmetic operations with a different modulus than the one used by the proof …