0xPolygonHermez / zkasmcom
This repo compiles .zkasm to a json ready for the zkExecutor
☆31Updated 6 months ago
Alternatives and similar repositories for zkasmcom:
Users that are interested in zkasmcom are comparing it to the libraries listed below
- customizable halo2 circuits batcher☆30Updated last month
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆25Updated last week
- ☆31Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated last month
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 8 months ago
- Circom interpreter to arithmetic circuit description☆53Updated 7 months ago
- ☆34Updated last year
- Axiom smart contracts☆26Updated last year
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- ☆51Updated this week
- OS for next iteration of the world computer☆44Updated last year
- ☆39Updated last month
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated 6 months ago
- Circuit infrastructure for Aztec 3.0☆13Updated 2 years ago
- High performance EraVM for zkSync.☆24Updated last week
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆17Updated last month
- ☆50Updated last year
- ☆31Updated 3 months ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- ☆33Updated last year
- ☆21Updated 8 months ago
- A Noir's backend implementation using Gnark☆35Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- MPC Ceremony Tool for Groth16 setup of zkBNB circuits☆19Updated last year
- ☆40Updated 2 years ago
- an introduction to noir, with simple examples☆45Updated last year
- Circuits, written in circom, for Proof Of Solvency☆26Updated 2 years ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆37Updated 2 years ago