Circom circuits library for magnificent ZK applications
☆14Jun 4, 2025Updated 9 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:
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 7 months ago
- ZK proofs for image authenticity☆52Oct 3, 2025Updated 5 months ago
- Compile circom code to llvm partially☆12Feb 14, 2023Updated 3 years ago
- banyan's hot on-chain data storage zk proofs☆14May 22, 2025Updated 9 months ago
- TypeScript-based various types of solutions for Distributed Lab projects and not only.☆20Sep 26, 2024Updated last year
- Aptos Keyless ZK circuit implementation in circom, together with a Rust-based ZK proving service☆20Updated this week
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆15Mar 3, 2024Updated 2 years ago
- A Swiss knife for Noir☆17Feb 20, 2026Updated last week
- Low-level language for encoding AIR of computations☆38May 7, 2023Updated 2 years ago
- Taprootized Atomic Swaps (TAS) is an extension for Atomic Swaps that presumes the untraceability of transactions related to a particular …☆68Mar 13, 2025Updated 11 months ago
- The ultimate TypeScript environment for Circom development☆96Jan 3, 2026Updated 2 months ago
- ☆21Dec 1, 2025Updated 3 months ago
- Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARK…☆22Jun 27, 2025Updated 8 months ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆15Apr 4, 2025Updated 11 months ago
- ☆21Feb 19, 2026Updated last week
- TokenE core contracts☆43Jan 14, 2026Updated last month
- Solarity Solidity Library☆392Feb 2, 2026Updated last month
- Source files for ZKDL Lectures☆24Nov 17, 2025Updated 3 months ago
- DPC with Universal Setup☆46May 25, 2023Updated 2 years ago
- Implementation of the Hades permutation algorithm used in Poseidon Hashes with ZKProof capabilities.☆22Jan 24, 2024Updated 2 years ago
- Hardhat plugin to generate customizable smart contracts documentation☆21Oct 13, 2025Updated 4 months ago
- Circom ASN.1 Parser☆20Jul 22, 2024Updated last year
- 📡 ZkWave: Transforming Voice into Secure Proofs 🎤🔐☆21Mar 20, 2025Updated 11 months ago
- Verifying biometric passports with zero knowledge proofs (SNARKs)☆87Jun 30, 2025Updated 8 months ago
- The first CHIP-8 zkvm☆21Jun 4, 2024Updated last year
- Zero Knowledge Proof for RSA☆55Jun 19, 2023Updated 2 years ago
- Circom circuits of Ethereum arithmetic and bitwise operators☆20Feb 1, 2025Updated last year
- Bulletproofs++ implementation on Rust☆25Jun 20, 2024Updated last year
- ☆23Oct 6, 2020Updated 5 years ago
- A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.☆28Updated this week
- Bulletproofs++ implementation on Go☆29Jun 20, 2024Updated last year
- A monorepo of reusable Circom circuits.☆28Jun 30, 2025Updated 8 months ago
- Template repository for a CG proposal or work item.☆17Aug 30, 2024Updated last year
- Circom AES-GCM circuits☆35Feb 12, 2026Updated 2 weeks ago
- DeXe Protocol☆31Dec 13, 2024Updated last year
- ☆34Feb 3, 2025Updated last year
- ☆97Updated this week
- ☆39Oct 14, 2024Updated last year