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.
cryptography
mpc
threshold-cryptography
snark
secure-multi-party-computation
zero-knowledge-compiler
zero-knowledge-proof
verifiable-mpc
-
Updated
Feb 20, 2024 - Python