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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆25Aug 14, 2024Updated last year
- zkSnark circuit compiler☆12Feb 19, 2026Updated last month
- Automated verification of uniqueness property for ZKP circuits☆45Jun 6, 2024Updated last year
- ☆47Aug 31, 2023Updated 2 years ago
- ☆25Jul 18, 2024Updated last year
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- RISCU emulator and zk circuit simulator as a reference for a Jolt implementation☆23Dec 11, 2023Updated 2 years ago
- ☆49Mar 13, 2026Updated last week
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- This is small practice to location and detect the fog exponent.☆13May 9, 2021Updated 4 years ago
- ☆11Mar 2, 2024Updated 2 years ago
- Rust Code for CELPC☆21Mar 28, 2025Updated 11 months ago
- ☆51Mar 7, 2024Updated 2 years ago
- A peer-to-peer network allowing private peer search proposed by Barry Whitehat and Kobi Gurkan.☆15Oct 29, 2024Updated last year
- An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.☆18May 23, 2023Updated 2 years ago
- Polynomial Expression Engine☆35Feb 13, 2024Updated 2 years ago
- Static analysis toolkit for security analysis in Aleo programs☆10Mar 29, 2024Updated last year
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- 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
- ☆17Feb 19, 2025Updated last year
- An Obsidian plugin that renders `label` code blocks to `<svg>` for viewing in notes. Make sure to bring your own command!☆16Jul 11, 2024Updated last year
- Pure Rust implementation of the post-quantum secure digital signature scheme FAEST☆17Feb 19, 2026Updated last month
- Educational Version of Lookup Argument☆12Apr 10, 2025Updated 11 months ago
- ☆65Jul 11, 2024Updated last year
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆313Jan 27, 2026Updated last month
- ☆15Updated this week
- banyan's hot on-chain data storage zk proofs☆14May 22, 2025Updated 10 months ago
- A proof-of-concept implementation of KiloNova☆12Oct 15, 2024Updated last year
- Circom interpreter to arithmetic circuit description☆58Sep 12, 2024Updated last year
- Groth16 verifier in EVM☆23Jul 8, 2023Updated 2 years ago
- Prove knowledge of smart contract bugs using zkEVM☆43Sep 20, 2024Updated last year
- ☆16Jan 5, 2023Updated 3 years ago
- A Symbolic Execution Tool for Cairo☆15Jul 25, 2022Updated 3 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- An autograder base Docker image for Gradescope with improved security☆20Apr 8, 2023Updated 2 years ago
- Fork of Rust adding CHERI support☆13Apr 10, 2025Updated 11 months ago
- A Swiss knife for Noir☆17Feb 20, 2026Updated last month
- A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system☆14May 1, 2025Updated 10 months ago
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆15Mar 3, 2024Updated 2 years ago