Compile circom code to llvm partially
☆12Feb 14, 2023Updated 3 years ago
Alternatives and similar repositories for circom2llvm
Users that are interested in circom2llvm are comparing it to the libraries listed below
Sorting:
- zkSnark circuit compiler☆12Feb 19, 2026Updated last week
- Automated verification of uniqueness property for ZKP circuits☆45Jun 6, 2024Updated last year
- ☆25Aug 14, 2024Updated last year
- Pure Rust implementation of the post-quantum secure digital signature scheme FAEST☆16Feb 19, 2026Updated last week
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- ☆47Aug 31, 2023Updated 2 years ago
- Fork of Rust adding CHERI support☆13Apr 10, 2025Updated 10 months ago
- banyan's hot on-chain data storage zk proofs☆14May 22, 2025Updated 9 months ago
- Aptos Keyless ZK circuit implementation in circom, together with a Rust-based ZK proving service☆20Feb 12, 2026Updated 2 weeks ago
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆15Mar 3, 2024Updated 2 years ago
- Circom circuits library for magnificent ZK applications☆14Jun 4, 2025Updated 8 months ago
- A peer-to-peer network allowing private peer search proposed by Barry Whitehat and Kobi Gurkan.☆15Oct 29, 2024Updated last year
- A proof-of-concept implementation of KiloNova☆12Oct 15, 2024Updated last year
- A Swiss knife for Noir☆17Feb 20, 2026Updated last week
- A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system☆14May 1, 2025Updated 10 months ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆15Apr 4, 2025Updated 10 months ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- 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
- Repository for development of the TLS 1.2 and TLS 1.3 stacks in Noir, to produce ZKPs that can be published to the blockchain☆18Feb 7, 2024Updated 2 years ago
- ☆49Feb 12, 2026Updated 2 weeks ago
- Rust crypto library for zero-knowledge proofs☆20Jan 14, 2026Updated last month
- ☆25Jul 18, 2024Updated last year
- 📡 ZkWave: Transforming Voice into Secure Proofs 🎤🔐☆21Mar 20, 2025Updated 11 months ago
- Circom ASN.1 Parser☆20Jul 22, 2024Updated last year
- ☆51Mar 7, 2024Updated last year
- Rust Code for CELPC☆20Mar 28, 2025Updated 11 months ago
- Poseidon hash implementation in Rust☆27Jan 22, 2026Updated last month
- Groth16 verifier in EVM☆23Jul 8, 2023Updated 2 years ago
- The first CHIP-8 zkvm☆21Jun 4, 2024Updated last year
- Circom circuits of Ethereum arithmetic and bitwise operators☆20Feb 1, 2025Updated last year
- ☆23Oct 6, 2020Updated 5 years ago
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.☆28Updated this week
- ☆32Feb 14, 2026Updated 2 weeks ago
- oZKS (Ordered Zero-Knowledge Set) is a library that provides an implementation of an Ordered (and Append Only) Zero-Knowledge Set.☆28Oct 10, 2025Updated 4 months ago
- RISCU emulator and zk circuit simulator as a reference for a Jolt implementation☆23Dec 11, 2023Updated 2 years ago
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆57Mar 19, 2021Updated 4 years ago
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆313Jan 27, 2026Updated last month
- Circom interpreter to arithmetic circuit description☆58Sep 12, 2024Updated last year