0xPolygonHermez / zkasmcom
This repo compiles .zkasm to a json ready for the zkExecutor
☆31Updated 4 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 2 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 6 months ago
- ☆25Updated 2 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated last week
- Axiom smart contracts☆26Updated last year
- A collection of works discussing the security aspects of StarkNet☆40Updated 2 months ago
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- ☆31Updated 10 months ago
- ☆49Updated this week
- ☆30Updated last month
- ☆49Updated 11 months ago
- Keccak-f[1600] permutation in the EVM☆27Updated last month
- BigInt library for Aztec's noir language☆31Updated 11 months ago
- Circuit infrastructure for Aztec 3.0☆13Updated last year
- ☆33Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- ☆39Updated 2 years ago
- The Ultimate ZK Fault/Validity Proof Software Suite for Securing Rollups☆33Updated this week
- Solidity implementation of Nova proving system verifier☆61Updated 11 months ago
- Honk Verifier in Solidity☆50Updated 4 months ago
- RLN circuits in Circom☆29Updated 7 months ago
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- an introduction to noir, with simple examples☆43Updated last year
- ☆2Updated 11 months ago
- ☆37Updated last year
- Breathe air☆22Updated 9 months ago
- Polynomials Identity Language☆68Updated last year
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 10 months ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆17Updated last week
- High performance EraVM for zkSync.☆23Updated last month