0xPolygonHermez / zkasmcom
This repo compiles .zkasm to a json ready for the zkExecutor
☆31Updated 3 months ago
Alternatives and similar repositories for zkasmcom:
Users that are interested in zkasmcom are comparing it to the libraries listed below
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 5 months ago
- customizable halo2 circuits batcher☆30Updated last month
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆17Updated this week
- ☆24Updated last month
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆34Updated 2 months ago
- ☆48Updated 10 months ago
- Solidity implementation of Nova proving system verifier☆61Updated 10 months ago
- BigInt library for Aztec's noir language☆31Updated 10 months ago
- High performance EraVM for zkSync.☆23Updated this week
- ☆48Updated this week
- ☆33Updated last year
- ☆31Updated 9 months ago
- zkEVM proof generator reference written in Javascript☆80Updated this week
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 4 months ago
- Honk Verifier in Solidity☆49Updated 3 months ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 9 months ago
- Axiom smart contracts☆26Updated last year
- Breathe air☆22Updated 8 months ago
- ☆39Updated 2 years ago
- ☆34Updated last year
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆31Updated 2 months ago
- ☆35Updated last year
- ☆36Updated last year
- ☆14Updated 7 months ago
- Keccak-f[1600] permutation in the EVM☆25Updated 2 months ago
- ☆39Updated last month
- Noir implementation of BattleZips circuits☆27Updated last year
- Email verification circuit in halo2☆66Updated 6 months ago
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago