0xPolygonHermez / zkevm-proverLinks
zkEVM prover in C++
☆240Updated 4 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:
- ☆335Updated 11 months ago
- Agglayer Smart Contracts☆301Updated this week
- This repo contains the zkasm source code of the zkEVM☆135Updated last month
- Papyrus is a StarkNet full node written in Rust.☆322Updated 5 months ago
- ☆267Updated 9 months ago
- Learn how to build StarkNet <-> Ethereum cross layer applications☆135Updated last year
- Go implementation of a node that operates the Polygon zkEVM Network☆553Updated 4 months ago
- Secure, high-throughput, and decentralized Data Availability☆237Updated this week
- Monorepo of halo2 crates☆280Updated last week
- Boojum, the scariest SNARK implementation.☆301Updated 10 months ago
- A local testnet for Starknet☆211Updated last year
- Starknet Improvement Proposal repository☆181Updated last week
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆171Updated last month
- Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀☆184Updated 2 months ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆235Updated 2 weeks ago
- ☆287Updated 4 months ago
- Mirror of AztecProtocol/aztec-packages/aztec-nr☆120Updated last month
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆164Updated 4 months ago
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.☆253Updated 2 weeks ago
- ☆173Updated last month
- A collection of examples of Cairo smart contracts for Starknet.☆146Updated this week
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆421Updated 3 weeks ago
- Learn how to deploy and customize an ERC721 token on StarkNet☆99Updated last year
- ☆410Updated this week
- Kakarot zkEVM - rewrite in the latest version of Cairo☆135Updated 5 months ago
- ☆132Updated this week
- ☆190Updated 3 weeks ago
- Linea smart-contracts☆80Updated 9 months ago
- Kakarot ZK EVM Ethereum RPC adapter☆136Updated 5 months ago
- ☆109Updated last week