Implements hermez network zk-Snarks circuits
☆56Jun 29, 2023Updated 2 years ago
Alternatives and similar repositories for circuits
Users that are interested in circuits are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Hermez network protocol smart contracts☆38Apr 7, 2022Updated 3 years ago
- Hermez node Go implementation☆60Apr 7, 2024Updated last year
- Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve☆13Jul 12, 2023Updated 2 years ago
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 4 years ago
- ☆203Nov 25, 2023Updated 2 years ago
- R1CS constraints for non-native field arithmetic☆21Aug 7, 2021Updated 4 years ago
- Circom circuits used by the iden3 core protocol.☆92Feb 6, 2026Updated last month
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Nov 16, 2021Updated 4 years ago
- Implementing a Turing-complete computer (OISC) within a zk-SNARKS circuit.☆13Nov 24, 2021Updated 4 years ago
- fast zksnark prover☆118Nov 23, 2023Updated 2 years ago
- 🎁 Wrap a L2 ERC20 withdrawal event as an ERC1155 subtoken on L1 🎁☆16May 8, 2021Updated 4 years ago
- rollup implementation☆91Mar 15, 2024Updated 2 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- Library of basic circuits for circom☆734Feb 12, 2026Updated last month
- ☆21Sep 8, 2021Updated 4 years ago
- circom and snarkjs / websnark tutorial, using RollupNC as an example☆61Jan 7, 2021Updated 5 years ago
- ☆11Jan 28, 2023Updated 3 years ago
- zkSNARK full flow example in Go☆12Jun 3, 2020Updated 5 years ago
- ☆23Oct 6, 2020Updated 5 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆53Aug 6, 2022Updated 3 years ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆33Oct 10, 2022Updated 3 years ago
- Open-Source Libraries for Circom by ABDK Consulting☆19Dec 22, 2019Updated 6 years ago
- Solidity error logging☆23Sep 21, 2021Updated 4 years ago
- ☆17Jun 3, 2022Updated 3 years ago
- Circom Circuits Library for Machine Learning☆181Jun 19, 2024Updated last year
- A curated list of repos related to Circom☆106Feb 4, 2026Updated last month
- MerkleTree compatible with circomlib/smt☆13Jul 9, 2021Updated 4 years ago
- A toolkit to compile and debug circom circuit.☆27Sep 27, 2023Updated 2 years ago
- ☆133Apr 23, 2022Updated 3 years ago
- Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.☆280Aug 26, 2025Updated 6 months ago
- Big integer arithmetic and secp256k1 ECC operations in circom☆338Nov 3, 2023Updated 2 years ago
- A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.☆159Jan 24, 2023Updated 3 years ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆114Aug 2, 2022Updated 3 years ago
- Samples of Ethereum smart contracts, golang and circom for beginners.☆37Aug 18, 2023Updated 2 years ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆103Sep 12, 2023Updated 2 years ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆72Aug 19, 2023Updated 2 years ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- Notes for the R1CS programming workshop at ZK0x04☆31Oct 26, 2019Updated 6 years ago