dl-solarity / circom-libLinks
Circom circuits library for magnificent ZK applications
☆14Updated 4 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:
- A monorepo of reusable Circom circuits.☆26Updated 4 months ago
- banyan's hot on-chain data storage zk proofs☆14Updated 5 months ago
- SMT 2023 Submission; license pending☆56Updated 11 months ago
- ☆30Updated 2 months ago
- ☆17Updated 4 months ago
- zero knowledge proof aggregator for general circuit☆72Updated last year
- ZK proofs for image authenticity☆47Updated 3 weeks ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆82Updated last month
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Updated 2 years ago
- Circom ASN.1 Parser☆19Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Witness encryption for KZG openings☆30Updated 11 months ago
- A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploi…☆51Updated 3 months ago
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆22Updated 11 months ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆45Updated last week
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆113Updated last year
- Hashing circuits implemented in circom☆27Updated 9 months ago
- revm/reth block proving on Valida☆15Updated 8 months ago
- A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.☆25Updated last month
- RLN circuits in Noir☆12Updated last year
- AES-GCM implementation in Circom☆38Updated 3 years ago
- ☆34Updated 2 years ago
- ☆25Updated 8 months ago
- A monorepo for vOPRF-based secure nullifiers☆18Updated 6 months ago
- Semaphore Protocol with Noir.☆11Updated 7 months ago
- zkSnark circuit compiler☆12Updated last week
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆39Updated 8 months ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆55Updated 6 months ago
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆84Updated 2 years ago
- ☆22Updated last year