0xPolygonHermez / zkevm-prover
zkEVM prover in C++
☆217Updated this week
Related projects: ⓘ
- ☆333Updated 2 months ago
- Polygon zkEVM Smart Contracts☆270Updated this week
- ☆244Updated this week
- Monorepo of halo2 crates☆236Updated last month
- This repo contains the zkasm source code of the zkEVM☆124Updated this week
- ☆173Updated this week
- Secure, high-throughput, and decentralized Data Availability☆213Updated this week
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆356Updated 2 weeks ago
- Papyrus is a StarkNet full node written in Rust.☆310Updated last month
- Go implementation of a node that operates the Polygon zkEVM Network☆528Updated this week
- A local testnet for Starknet☆211Updated 9 months ago
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆170Updated 3 weeks ago
- A curated list of awesome things related to learning and programming in Noir.☆330Updated 2 weeks ago
- Learn how to build StarkNet <-> Ethereum cross layer applications☆132Updated 6 months ago
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.☆228Updated 2 weeks ago
- ☆221Updated last year
- ☆275Updated 6 months ago
- ☆133Updated this week
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆163Updated last month
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆183Updated this week
- A collection of examples of Cairo smart contracts for Starknet.☆110Updated this week
- A toolkit for polynomial IOPs (PIOPs)☆438Updated this week
- Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀☆163Updated 3 weeks ago
- The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.☆226Updated this week
- ☆202Updated this week
- ☆228Updated 3 months ago
- Kakarot zkEVM - rewrite in the latest version of Cairo☆132Updated this week
- Efficient, all-vs-all dispute protocol for Optimistic Rollups☆110Updated this week
- A plugin for integrating Starknet tools into Hardhat projects☆198Updated 2 weeks ago
- A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain☆361Updated last week