snark topic
gnark-crypto
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge p...
ZoKrates
A toolbox for zkSNARKs on Ethereum
awesome-zero-knowledge-proofs
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
crypto-primitives
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
groth16
A Rust implementation of the Groth16 zkSNARK
matter-network
PoC of SNARK-driven Plasma with up to 500 tx/sec
formal-snarks-project
A formal verification of Linear PCP SNARKs.
halo2-merkle
Halo2 Merkle tree circuits
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...
Groth16BatchVerifier
Batch verification proposal for the zkSNARK verification with the same(!) circuit