0xPolygon / zkevm-proverLinks
zkEVM prover in C++
☆241Updated last month
Alternatives and similar repositories for zkevm-prover
Users that are interested in zkevm-prover are comparing it to the libraries listed below
Sorting:
- ☆338Updated last year
- This repo contains the zkasm source code of the zkEVM☆138Updated 4 months ago
- Secure, high-throughput, and decentralized Data Availability☆242Updated this week
- Agglayer Smart Contracts☆306Updated this week
- Papyrus is a StarkNet full node written in Rust.☆320Updated 9 months ago
- Learn how to build StarkNet <-> Ethereum cross layer applications☆136Updated last year
- ☆266Updated last year
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆163Updated 7 months ago
- Learn how to deploy and customize an ERC721 token on StarkNet☆98Updated 2 years ago
- ☆158Updated 7 months ago
- ☆110Updated last week
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆170Updated 4 months ago
- Basic repo demoing a simple AVS middleware with full eigenlayer integration☆189Updated 2 months ago
- Mirror of AztecProtocol/aztec-packages/aztec-nr☆125Updated this week
- ☆286Updated 3 months ago
- A local testnet for Starknet☆210Updated last year
- ☆157Updated this week
- Braavos Account Contract for Starknet☆116Updated 4 months ago
- Argent accounts for Starknet☆176Updated last month
- Succinct's Production-Grade Proving Engine for the OP Stack☆190Updated this week
- ☆180Updated 4 months ago
- StarkNet wallet <-> dApp bridge☆164Updated last month
- Starknet Improvement Proposal repository☆187Updated 3 weeks ago
- EVM ahead-of-time compiler based on the fast evmone interpreter☆121Updated 7 months ago
- Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀☆186Updated last month
- Linea smart-contracts☆81Updated last year
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆194Updated last week
- Kakarot ZK EVM Ethereum RPC adapter☆135Updated 8 months ago
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆429Updated last week
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆241Updated last week