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
Sorting:
- Hermez network protocol smart contracts☆38Apr 7, 2022Updated 3 years ago
- R1CS constraints for non-native field arithmetic☆21Aug 7, 2021Updated 4 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
- 🎁 Wrap a L2 ERC20 withdrawal event as an ERC1155 subtoken on L1 🎁☆16May 8, 2021Updated 4 years ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Nov 16, 2021Updated 4 years ago
- zkSNARK full flow example in Go☆12Jun 3, 2020Updated 5 years ago
- ☆28Dec 8, 2021Updated 4 years ago
- Solidity error logging☆23Sep 21, 2021Updated 4 years ago
- ☆21Sep 8, 2021Updated 4 years ago
- ☆17Jun 3, 2022Updated 3 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated 11 months ago
- a sketch of what a zkvm could look like☆26Apr 19, 2021Updated 4 years ago
- ☆204Nov 25, 2023Updated 2 years ago
- Open-Source Libraries for Circom by ABDK Consulting☆19Dec 22, 2019Updated 6 years ago
- rollup implementation☆91Mar 15, 2024Updated last year
- Notes for the R1CS programming workshop at ZK0x04☆31Oct 26, 2019Updated 6 years ago
- circom and snarkjs / websnark tutorial, using RollupNC as an example☆61Jan 7, 2021Updated 5 years ago
- ☆42Jul 25, 2024Updated last year
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆33Oct 10, 2022Updated 3 years ago
- ☆23Oct 6, 2020Updated 5 years ago
- Verkle trees with inner product argument (IPA) based polynomial commitment [Prototype]☆15Mar 26, 2022Updated 3 years ago
- fast zksnark prover☆118Nov 23, 2023Updated 2 years ago
- A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.☆159Jan 24, 2023Updated 3 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated last year
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- Solidity implementation of the baby jubjub curve☆21Apr 30, 2024Updated last year
- Library of basic circuits for circom☆727Feb 12, 2026Updated 2 weeks ago
- ☆133Apr 23, 2022Updated 3 years ago
- Circom circuits used by the iden3 core protocol.☆91Feb 6, 2026Updated 3 weeks ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆72Aug 19, 2023Updated 2 years ago
- A toolkit to compile and debug circom circuit.☆27Sep 27, 2023Updated 2 years ago
- Circuits☆22Jan 30, 2026Updated last month
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Dec 5, 2023Updated 2 years ago
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Oct 18, 2024Updated last year
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 2 years ago
- GPU-acceselerated cryptography libraries for ZKsync☆22Feb 24, 2026Updated last week
- Ecne: An engine for verifying the soundness of R1CS constraints☆115Aug 2, 2022Updated 3 years ago
- Implementation of Plonk by Hand in rust☆62Feb 28, 2024Updated 2 years ago