Pierre's repositories
eth-private-market
Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.
nova-browser-ecdsa
In-browser ECDSA aggregation using Nova over secp/secq
sha1-circom
Generate a zero-knowledge proof for a SHA1 pre-image.
anon-adhaar
Prove your adhaar card's validity, while keeping your sensitive data private.
zkconnect4
Prove your connect-4 games against an RL agent using Nova.
ark-algorithms
Exploring cryptography algorithms with arkworks (mostly zk/snark related)
aes-circom
AES-GCM implementation in Circom
circom
zkSnark circuit compiler
circom-compat
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
circom-ecdsa
Big integer arithmetic and secp256k1 ECC operations in circom
circom_tester
Provides tools for testing circom circuits.
ffjavascript
Finite Field Library in Javascript
heyanon-circuits
Circuits used by heyanon
heyanoun
nouns prop 150: credible pseudonymous messages for noun governance prop discussion (https://nouns.wtf/vote/150)
keras2circom
python tool to transpile a tf.keras model into a circom circuit
Nova
Nova: Recursive SNARKs without trusted setup
Nova-Scotia
Middleware to compile Circom circuits to Nova prover
poly-commit
A Rust library for polynomial commitments
spartan-ecdsa
The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
wasmcurves
Web Assembly low level implementation of pairing friendly curves.