0xPolygonHermez / zkevm-proverjs
zkEVM proof generator reference written in Javascript
☆81Updated last week
Alternatives and similar repositories for zkevm-proverjs:
Users that are interested in zkevm-proverjs are comparing it to the libraries listed below
- Smart contracts for the Telepathy protocol☆76Updated last year
- ☆21Updated 8 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 8 months ago
- Specular Monorepo☆37Updated last year
- The MetaMask Snap for Starknet☆84Updated last week
- ☆86Updated last year
- Polynomials Identity Language☆68Updated last year
- The Optimism monorepo☆44Updated last week
- ☆50Updated 2 weeks ago
- Reference implementation of the node for the Polygon Miden rollup☆61Updated this week
- Symbiotic Core smart contracts☆48Updated 2 weeks ago
- ☆63Updated last month
- EIP-4844 dev usage☆53Updated last week
- Secure and optimized communication layer for rollups using EigenDA.☆18Updated this week
- ☆42Updated last year
- ☆56Updated last year
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year
- Smart contracts for onchain verification of SP1.☆88Updated last month
- Email verification circuit in halo2☆68Updated 9 months ago
- This repo contains the zkasm source code of the zkEVM☆132Updated 2 months ago
- ☆25Updated last week
- ☆60Updated 8 months ago
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Updated 6 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- Specs for Ethereum's KZG Powers of Tau Ceremony☆110Updated 2 years ago
- Efficient, all-vs-all dispute protocol for Optimistic Rollups☆117Updated this week
- RISC-V interactive fault proof tech☆102Updated last month
- ☆21Updated last week
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 7 months ago
- Generates a stark from a pil☆95Updated 8 months ago