iden3 / circom
zkSnark circuit compiler
☆1,458Updated last month
Alternatives and similar repositories for circom:
Users that are interested in circom are comparing it to the libraries listed below
- zkSNARK implementation in JavaScript & WASM☆1,868Updated this week
- Library of basic circuits for circom☆654Updated last month
- A zero-knowledge protocol for anonymous interactions.☆975Updated this week
- ☆819Updated this week
- A curated list of ZK/FHE resources and links. 👇 Click below for the website version.☆722Updated 2 months ago
- STARK-based virtual machine☆655Updated last week
- zk-SNARK library.☆1,073Updated 9 months ago
- Minimal Anti-Collusion Infrastructure (MACI)☆562Updated this week
- A toolbox for zkSNARKs on Ethereum☆1,862Updated 9 months ago
- The Halo2 zero-knowledge proving system☆781Updated 4 months ago
- A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.☆586Updated 7 months ago
- Noir is a domain specific language for zero knowledge proofs☆1,060Updated this week
- OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.☆656Updated last year
- The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡☆784Updated this week
- TypeScript framework for zk-SNARKs and zkApps☆564Updated this week
- ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, J…☆1,075Updated this week
- Nova: High-speed recursive arguments from folding schemes☆756Updated last month
- Spartan: High-speed zkSNARKs without trusted setup☆759Updated 3 months ago
- The proof systems used by Mina☆440Updated this week
- A curated list of awesome ZK resources, libraries, tools and more.☆1,483Updated 6 months ago
- A modular stack for zkVMs, with a focus on productivity, security and performance.☆454Updated this week
- ☆304Updated this week
- A STARK prover and verifier for arbitrary computations☆844Updated last month
- ☆506Updated last week
- lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components…☆668Updated this week
- A fast, secure, and portable multichain light client for Ethereum☆1,978Updated last week
- OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup☆863Updated last week
- A toolkit for polynomial IOPs (PIOPs)☆613Updated this week
- Pure Rust implementation of Ethereum Virtual Machine☆1,243Updated last week
- ☆1,368Updated this week