0xPolygonHermez / zkasmcom
This repo compiles .zkasm to a json ready for the zkExecutor
☆30Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for zkasmcom
- ☆24Updated last week
- customizable halo2 circuits batcher☆30Updated last week
- ☆36Updated last week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 3 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- High performance EraVM for zkSync.☆23Updated last week
- ☆28Updated this week
- Circuit infrastructure for Aztec 3.0☆12Updated last year
- zkEVM proof generator reference written in Javascript☆77Updated 3 weeks ago
- Axiom smart contracts☆27Updated last year
- Contracts for onchain verification of SP1.☆59Updated last week
- ☆46Updated 8 months ago
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆29Updated this week
- Circom interpreter to arithmetic circuit description☆44Updated last month
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 6 months ago
- ☆42Updated this week
- ETHPrague☆31Updated last year
- Solidity implementation of Nova proving system verifier☆59Updated 7 months ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆35Updated 7 months ago
- RLN circuits in Circom☆29Updated 3 months ago
- Polynomials Identity Language☆67Updated 8 months ago
- bn254 pairing library for Cairo Zero☆26Updated last year
- Email verification circuit in halo2☆62Updated 4 months ago
- an introduction to noir, with simple examples☆42Updated 10 months ago
- ☆14Updated 4 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 2 months ago
- ☆28Updated last year
- Benchmark for adding Lasso lookup argument to halo2 backend☆30Updated 8 months ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- ☆29Updated 2 weeks ago