Automated Verification of Consistency in Zero-Knowledge Proof Circuits.

Jon Stephens, Shankara Pailoor, Isil Dillig

Browse the full CAV paper archive.