Formally Verifying Noir Zero Knowledge Programs with NAVe

Pedro Antonino, Namrata Jain

Zero-Knowledge (ZK) proof systems are cryptographic protocols that can (with overwhelming probability) demonstrate that the pair $(X,W)$ is in a relation $R$ without revealing inf…