GitHub topics: zero-knowledge-compiler
jubnzv/zk-snarks
Toy zk-SNARKs compiler written for learning purposes
Language: OCaml - Size: 5.86 KB - Last synced at: 6 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
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.
Language: Python - Size: 369 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 18 - Forks: 3
TrustworthyComputing/ZeroJava-compiler
🐉ZeroJava to zMIPS compiler for creation of Zero-Knowledge Proofs
Language: Java - Size: 4.41 MB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 11 - Forks: 3
