Aard Vark

Folding Custom Gates with Verifier Input

2024 · arXiv (Cornell University)

In the context of interactive proofs, a "folding scheme" (popularized by Nova) is a way to combine multiple instances of a constraint system into a single instance, so the validity of the multiple instances can …