A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone external to the secure computation, to check the correctness of the output, while preserving the privacy properties of the MPC protocol.

A curated list of awesome libraries, tools, frameworks, and resources for Zero-Knowledge Proofs (ZKPs) including zk-SNARKs, zk-STARKs, and other privacy-preserving cryptographic protocols.

Zero-knowledge proof 零知识证明

Secure Quantum Zero-Knowledge Proofs: Implementation, Analysis, and Optimization

This repository is for ECE/CS 498AM Applied Cryptography at University of Illinois at Urbana-Champaign