starkware-libs / stone-prover
β268Updated 7 months ago
Alternatives and similar repositories for stone-prover:
Users that are interested in stone-prover are comparing it to the libraries listed below
- β324Updated this week
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet πΊ.β228Updated last week
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs β¦β173Updated 8 months ago
- Monorepo of halo2 cratesβ267Updated 3 weeks ago
- Community maintained Cairo libraries and set of well maintained, optimised and secure components.β249Updated last week
- β252Updated this week
- A stateless trustless Starknet light client in Rust π¦β261Updated 3 weeks ago
- Madara is a powerful hybrid Starknet client written in Rust.β102Updated this week
- Kakarot zkEVM - rewrite in the latest version of Cairoβ135Updated 3 months ago
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVMβ421Updated 3 weeks ago
- Succinct's Production-Grade Proving Engine for the OP Stackβ155Updated this week
- A STARK-based VM focused on code reuse, performance, and modularityβ317Updated 4 months ago
- Starkli (/ΛstΙΛrklaΙͺ/), a β‘ blazing β‘ fast β‘ CLI tool for Starknet powered by π¦ starknet-rs π¦β179Updated 3 weeks ago
- Papyrus is a StarkNet full node written in Rust.β321Updated 3 months ago
- Kakarot ZK EVM Ethereum RPC adapterβ136Updated 3 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.β140Updated this week
- The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.β256Updated this week
- β163Updated this week
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)β158Updated 3 months ago
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacyβ165Updated 2 months ago
- A Cairo VM prover implemented using Winterfellβ158Updated 2 years ago
- β335Updated 9 months ago
- DSL for Halo2 circuitsβ186Updated 5 months ago
- Complete Starknet library in Rustβ’β300Updated this week
- Synthetics platform for Starknet, inspired by GMX v2 design.β112Updated 8 months ago
- β125Updated this week
- A virtual machine for Cairo written in Goβ85Updated 3 weeks ago
- β100Updated last week
- β142Updated last month
- Experimental folding schemes libraryβ234Updated last week