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:
- ☆26Aug 14, 2024Updated last year
- zkSnark circuit compiler☆13Apr 29, 2026Updated 2 months ago
- Automated verification of uniqueness property for ZKP circuits☆51Jul 7, 2026Updated 2 weeks ago
- ☆47Aug 31, 2023Updated 2 years ago
- ☆25Jul 18, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- RISCU emulator and zk circuit simulator as a reference for a Jolt implementation☆23Dec 11, 2023Updated 2 years ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- Rust Code for CELPC☆20Mar 28, 2025Updated last year
- 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 5 years ago
- ☆10Mar 2, 2024Updated 2 years ago
- ☆52Mar 7, 2024Updated 2 years ago
- An efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.☆18May 23, 2023Updated 3 years ago
- A peer-to-peer network allowing private peer search proposed by Barry Whitehat and Kobi Gurkan.☆15Oct 29, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Polynomial Expression Engine☆35Feb 13, 2024Updated 2 years ago
- Static analysis toolkit for security analysis in Aleo programs☆10Mar 29, 2024Updated 2 years ago
- 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☆20Feb 7, 2024Updated 2 years ago
- Educational Version of Lookup Argument☆12Apr 10, 2025Updated last year
- ☆17Feb 19, 2025Updated last year
- Synthesis of Formally Verified Cryptographic Primitives☆15Jul 1, 2026Updated 3 weeks ago
- (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.☆315Jan 27, 2026Updated 5 months ago
- ☆15Mar 19, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- banyan's hot on-chain data storage zk proofs☆14May 22, 2025Updated last year
- ☆55Jun 24, 2026Updated last month
- ☆16Jan 5, 2023Updated 3 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- Circom interpreter to arithmetic circuit description☆58Sep 12, 2024Updated last year
- A proof-of-concept implementation of KiloNova☆12Jun 15, 2026Updated last month
- Prove knowledge of smart contract bugs using zkEVM☆43Sep 20, 2024Updated last year
- Groth16 verifier in EVM☆23Jul 8, 2023Updated 3 years ago
- An autograder base Docker image for Gradescope with improved security☆21Apr 8, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A prototype implementation of zero-knowledge proofs of training introduced in eprint:2023/1345☆19Sep 12, 2023Updated 2 years ago
- A Symbolic Execution Tool for Cairo☆15Jul 25, 2022Updated 3 years ago
- Fork of Rust adding CHERI support☆14Apr 10, 2025Updated last year
- A Rust library for the Groth-Sahai non-interactive witness-indistinguishable and zero-knowledge proof system☆14May 1, 2025Updated last year
- Rust library for efficient, succinct and modular set membership and non-membership proofs☆57Mar 19, 2021Updated 5 years ago
- implentation of Ligerito☆19Apr 16, 2026Updated 3 months ago
- Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.☆16Mar 3, 2024Updated 2 years ago