An API compatible port of the Stone prover.
β19Nov 4, 2024Updated last year
Alternatives and similar repositories for pumice
Users that are interested in pumice are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Shared peer-to-peer network of zero-knowledge proversβ16Dec 5, 2024Updated last year
- Client-side proving, trace generation, and proof verification using STWO in a web-based interface. πβ29May 30, 2025Updated 9 months ago
- Cairo bootloader port for the Rust Cairo VM.β12Jul 3, 2024Updated last year
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statementsβ24Feb 18, 2026Updated last month
- Adapt your STARK stone proofs for verifications on Ethereumβ17Oct 2, 2024Updated last year
- High performance EraVM for zkSync.β23Mar 13, 2026Updated last week
- Verifying Cairo Programs in SP1β14Oct 16, 2024Updated last year
- Frobenius sumcheck for vectorized boolean opsβ56Apr 12, 2025Updated 11 months ago
- Cairo-VM STONE STARK Verifier Rust implementationβ44Feb 4, 2025Updated last year
- verify cairo execution in Halo2β15Sep 12, 2023Updated 2 years ago
- β67Updated this week
- β13Mar 6, 2023Updated 3 years ago
- An observatory fork of SP1β77Feb 11, 2025Updated last year
- Various forms of distribution for the Starkware Stone prover and verifierβ16Jan 15, 2025Updated last year
- β20Jun 20, 2025Updated 9 months ago
- Integrating Stone Prover's generated proofs with the Cairo0 verifierβ10Mar 8, 2024Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.β61Aug 5, 2024Updated last year
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable mannerβ28Feb 20, 2025Updated last year
- Groth16 over ICICLEβ44Jul 16, 2025Updated 8 months ago
- RISC-V ELF interpreter in cairoβ37Oct 18, 2024Updated last year
- β11Jan 28, 2023Updated 3 years ago
- POC of a decentralized application (dApp) to enhance trust in agency-client relationships using blockchain. It enables trustless paymentsβ¦β15Mar 4, 2026Updated 2 weeks ago
- Binius circuits web demosβ14Dec 15, 2024Updated last year
- A STARK provable modular framework executing user-defined logic on multi-chain data in Cairo general purpose ZKVM.β13Mar 12, 2026Updated last week
- The entry point for Rust projects to be run on Validaβ10Mar 14, 2025Updated last year
- Step by step implementation of FRIβ13Feb 9, 2025Updated last year
- β20Nov 3, 2025Updated 4 months ago
- β24Jun 12, 2025Updated 9 months ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)β13May 9, 2025Updated 10 months ago
- πΊ Starknet Rust types π¦β79Dec 2, 2025Updated 3 months ago
- Set of smart contracts on StarkNet for Akira Decentralised Exchangeβ12Nov 18, 2025Updated 4 months ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 ποΈβ35Apr 27, 2025Updated 10 months ago
- β11Aug 11, 2024Updated last year
- Cairo STARK proof verifier for Starknetβ77Jan 27, 2026Updated last month
- Herodotus Data Processor using SP1 as backendβ17Jan 27, 2026Updated last month
- revm/reth block proving on Validaβ15Feb 11, 2025Updated last year
- Prompt for GPT-4 to migrate Cairo 0 to Cairo 1β23May 4, 2023Updated 2 years ago
- A compiler to convert Cairo's intermediate representation "Sierra" code to MLIR.β136Updated this week
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdfβ12Jun 29, 2022Updated 3 years ago