Groth16, IVC and Formal Verification with Nexus

by Zero Knowledge