pierre

eth-private-market. Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.

LINE. A PyTorch implementation of the LINE paper.

plasma-fold. Implementation for https://eprint.iacr.org/2025/1300

nova-browser-ecdsa. In-browser ECDSA aggregation using Nova over secp/secq

sonobe-btc. Using folding schemes for a provable bitcoin light client

specular-uniswap. TypeScript

zkrsa. Generate zero-knowledge proofs of valid RSA signatures from your browser.

ark-superspartan. An arkworks implementation of the superspartan PIOP

sha1-circom. Generate a zero-knowledge proof for a SHA1 pre-image.

plonky3-ccs. Rust

anon-adhaar. Prove your adhaar card's validity, while keeping your sensitive data private.

nova-scotia-tutorial. JavaScript

zkconnect4. Prove your connect-4 games against an RL agent using Nova.

sonobe-workshop. Rust

kzg-solvency. Rust

ark-light-bitcoin-client. R1CS for verifying bitcoin pow using btc block headers and arkworks.

jubjub-signature-pcd. TypeScript

teeleaves. Verifiable and private prediction markets running on TEEs

arkworks_backend. Rust

natspec.nvim. A small nvim utility for generating solidity natspec

circom-ecdsa. Big integer arithmetic and secp256k1 ECC operations in circom

zupass. Zuzalu Passport

whir. WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification

circom-pairing. TypeScript