Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs.

Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett

Browse the full CAV paper archive.