Top 4 snark open source projects

A Rust implementation of the Groth16 zkSNARK

✭ 66

rust shell python cryptography zksnark snark groth16

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.

✭ 15

python cryptography mpc threshold-cryptography snark secure-multi-party-computation zero-knowledge-compiler zero-knowledge-proof verifiable-mpc

Groth16BatchVerifier

Batch verification proposal for the zkSNARK verification with the same(!) circuit

✭ 17

javascript proof snark snark-verification

crypto-primitives

Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

✭ 76

rust python cryptography hash-functions signatures r1cs snark

1-4 of 4 snark projects