Okm165 / stone-prover-cairo0-verifier
Integrating Stone Prover's generated proofs with the Cairo0 verifier
☆11Updated 6 months ago
Related projects: ⓘ
- Exploratory work on abigen in rust for Starknet 🦀☆15Updated 9 months ago
- Cairo bootloader port for the Rust Cairo VM.☆11Updated 2 months ago
- ☆18Updated this week
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 2 weeks ago
- Shared peer-to-peer network of zero-knowledge provers☆13Updated last month
- A community-developed re-implementation of the Starkware Stone Prover☆70Updated 7 months ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆34Updated 5 months ago
- Rust Library for running the Starknet OS via the Cairo VM☆53Updated this week
- ☆20Updated 3 months ago
- Benchmark for adding Lasso lookup argument to halo2 backend☆29Updated 6 months ago
- Cairo-VM STARK Verifier Rust implementation☆22Updated this week
- Blazing fast tool to benchmark Starknet sequencers 🦀☆21Updated 3 months ago
- Hanji generates docs for your Cairo library☆11Updated last year
- Caironet is a simple test runner to test starknet contracts with mocked addresses☆13Updated last year
- ☆61Updated this week
- building blocks for accelerating ZK proofs over binary fields☆36Updated last month
- Just a Chess game with some Cairo on top☆16Updated 11 months ago
- ☆31Updated 5 months ago
- ☆18Updated last month
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Updated last year
- ☆22Updated 2 weeks ago
- ☆58Updated 6 months ago
- A comprehensive library for Cairo 🐺☆37Updated last month
- ☆44Updated 6 months ago
- ☆35Updated last year
- Frobenius sumcheck for vectorized boolean ops☆30Updated 3 weeks ago
- The First Onchain Generative Music Library. Deployed on Starknet☆9Updated 4 months ago
- bn254 pairing library for Cairo Zero☆26Updated last year
- Anon, prove your everAI on starknet — everAI mirroring☆11Updated 10 months ago
- ☆13Updated this week