zero-knowledge-compiler

There are 0 repository under zero-knowledge-compiler topic.

toonsegers / verifiable_mpc
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.
mpc secure-multi-party-computation verifiable-mpc cryptography threshold-cryptography snark zero-knowledge-proof zero-knowledge-compiler
Language:Python 20
TrustworthyComputing / ZeroJava-compiler
🐉ZeroJava to zMIPS compiler for creation of Zero-Knowledge Proofs
compiler zkp zero-knowledge-proofs zero-knowledge twc zilch zilch-compiler zero-knowledge-compiler zmips
Language:Java 11

toonsegers / verifiable_mpc