dipdup-io / stone-packagingLinks
Various forms of distribution for the Starkware Stone prover and verifier
β16Updated 10 months ago
Alternatives and similar repositories for stone-packaging
Users that are interested in stone-packaging are comparing it to the libraries listed below
Sorting:
- Client-side proving, trace generation, and proof verification using STWO in a web-based interface. πβ27Updated 5 months ago
- A curated list of awesome projects using STWO.β35Updated 4 months ago
- Cairo STARK proof verifier for Starknetβ73Updated 2 months ago
- A VRF implementation using Stark curve and Poseidon hash.β16Updated last month
- Rust Library for running the Starknet OS via the Cairo VMβ68Updated this week
- Celestia -> Starknet bridgeβ47Updated last year
- A workshop for contributing to the Cairo compiler, emphasizing advanced compiler techniques and hands-on exercises.β21Updated last year
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max powerβ49Updated last week
- β29Updated last year
- Hanji generates docs for your Cairo libraryβ10Updated 2 years ago
- A developer oriented and stateless explorer for Starknet.β12Updated 3 weeks ago
- Deoxys π½ is a Starknet full node based on substrate and powered by Rust π¦β29Updated last year
- Cairo bootloader port for the Rust Cairo VM.β12Updated last year
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chainβ39Updated 2 years ago
- β41Updated last year
- A collection of works discussing the security aspects of StarkNetβ40Updated 10 months ago
- Verifying Cairo Programs in SP1β14Updated last year
- Code coverage tool for cairoβ21Updated 2 weeks ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable prβ¦β76Updated 2 years ago
- Yet Another Bridge with Grind Labs and Herodotusβ20Updated last year
- β16Updated 10 months ago
- Adapt your STARK stone proofs for verifications on Ethereumβ17Updated last year
- STARK 101 Workshop in Rust πΊπ¦β139Updated 2 years ago
- Ethereum <> Starknet RPC middleware.β43Updated 3 weeks ago
- Implementation for https://eprint.iacr.org/2025/1300β40Updated 2 months ago
- β18Updated last year
- A library to generate bindings from Cairo ABI.β47Updated last week
- β59Updated this week
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom languageβ104Updated 2 years ago
- β43Updated 2 years ago