0xPolygon / zkevm-proverLinks
zkEVM prover in C++
☆241Updated 3 months ago
Alternatives and similar repositories for zkevm-prover
Users that are interested in zkevm-prover are comparing it to the libraries listed below
Sorting:
- ☆336Updated last year
- Agglayer Smart Contracts☆310Updated this week
- Secure, high-throughput, and decentralized Data Availability☆258Updated this week
- Papyrus is a StarkNet full node written in Rust.☆320Updated 11 months ago
- This repo contains the zkasm source code of the zkEVM☆138Updated 7 months ago
- ☆289Updated 5 months ago
- Mirror of AztecProtocol/aztec-packages/aztec-nr☆144Updated last week
- Learn how to build StarkNet <-> Ethereum cross layer applications☆136Updated last year
- ☆266Updated last year
- ☆160Updated 9 months ago
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆163Updated 10 months ago
- OP Stack Specifications☆166Updated this week
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆169Updated 7 months ago
- ☆114Updated last week
- Succinct's Production-Grade Proving Engine for the OP Stack.☆202Updated this week
- Braavos Account Contract for Starknet☆118Updated 7 months ago
- Basic repo demoing a simple AVS middleware with full eigenlayer integration☆186Updated 5 months ago
- The core Arbitrum Nitro contracts deployed to the parent chain to host the rollup☆144Updated last week
- ☆167Updated this week
- ☆98Updated 5 months ago
- Argent accounts for Starknet☆178Updated last month
- ☆189Updated 3 weeks ago
- Charon (pronounced 'kharon') is a Proof of Stake Ethereum Distributed Validator Middleware Client☆215Updated last week
- Boojum, the scariest SNARK implementation.☆302Updated last year
- Linea smart-contracts☆83Updated last year
- Learn how to deploy and customize an ERC721 token on StarkNet☆99Updated 2 years ago
- A local testnet for Starknet☆210Updated 2 years ago
- Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀☆184Updated 4 months ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆205Updated this week
- Go implementation of a node that operates the Polygon zkEVM Network☆140Updated 9 months ago