0xPolygon / zkevm-proverLinks
zkEVM prover in C++
☆240Updated 3 weeks ago
Alternatives and similar repositories for zkevm-prover
Users that are interested in zkevm-prover are comparing it to the libraries listed below
Sorting:
- ☆337Updated last year
- Papyrus is a StarkNet full node written in Rust.☆324Updated 7 months ago
- Secure, high-throughput, and decentralized Data Availability☆238Updated this week
- Agglayer Smart Contracts☆303Updated this week
- This repo contains the zkasm source code of the zkEVM☆135Updated 2 months ago
- Mirror of AztecProtocol/aztec-packages/aztec-nr☆121Updated 2 months ago
- Learn how to build StarkNet <-> Ethereum cross layer applications☆135Updated last year
- A local testnet for Starknet☆211Updated last year
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆171Updated 2 months ago
- OP Stack Specifications☆134Updated this week
- ☆289Updated last month
- ☆267Updated 10 months ago
- ☆190Updated 2 months ago
- ☆111Updated this week
- Learn how to deploy and customize an ERC721 token on StarkNet☆100Updated last year
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆164Updated 5 months ago
- Basic repo demoing a simple AVS middleware with full eigenlayer integration☆189Updated 2 weeks ago
- ☆142Updated this week
- Braavos Account Contract for Starknet☆116Updated 2 months ago
- Succinct's Production-Grade Proving Engine for the OP Stack☆182Updated this week
- Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀☆186Updated this week
- EVM ahead-of-time compiler based on the fast evmone interpreter☆117Updated 5 months ago
- StarkNet wallet <-> dApp bridge☆164Updated 3 weeks ago
- Boojum, the scariest SNARK implementation.☆302Updated 11 months ago
- A testnet open-source Layer 2 from the future, co-designed with the developer tools stack.☆304Updated 3 weeks ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆238Updated last month
- Argent accounts for Starknet☆175Updated 6 months ago
- Axelar: A Decentralized Blockchain Interoperability Network☆176Updated last week
- Sample cross-chain dapps & contracts using the Axelar protocol.☆193Updated 9 months ago
- Kakarot ZK EVM Ethereum RPC adapter☆136Updated 6 months ago