dl-solarity / circom-libLinks
Circom circuits library for magnificent ZK applications
☆14Updated 6 months ago
Alternatives and similar repositories for circom-lib
Users that are interested in circom-lib are comparing it to the libraries listed below
Sorting:
- banyan's hot on-chain data storage zk proofs☆14Updated 6 months ago
- A monorepo of reusable Circom circuits.☆27Updated 5 months ago
- A Swiss knife for Noir☆16Updated last week
- ☆32Updated last week
- RLN circuits in Noir☆13Updated 2 years ago
- zkSnark circuit compiler☆12Updated 3 weeks ago
- ☆18Updated 6 months ago
- ☆34Updated 2 years ago
- ☆19Updated last week
- Semaphore Protocol with Noir.☆11Updated 9 months ago
- ☆23Updated 5 years ago
- The first CHIP-8 zkvm☆21Updated last year
- zero knowledge proof aggregator for general circuit☆73Updated last year
- ☆74Updated 3 months ago
- ☆50Updated last year
- ZK proofs for image authenticity☆48Updated 2 months ago
- Circom circuits of Ethereum arithmetic and bitwise operators☆20Updated 10 months ago
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Updated 10 months ago
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆22Updated last year
- Circom ASN.1 Parser☆20Updated last year
- SMT 2023 Submission; license pending☆56Updated last year
- a noir library for multiparty computation primitives☆18Updated 4 months ago
- Frobenius sumcheck for vectorized boolean ops☆56Updated 8 months ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- ☆18Updated last year
- Nova Verifier in Circom so it can be verified onChain☆59Updated 2 years ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆15Updated 8 months ago
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Updated 5 months ago
- Extractable Witness Encryption for KZG Commitments☆30Updated last year
- ☆30Updated 2 years ago