risc0 / risc0-rust-starterView external linksLinks
This repository has been deprecated in favor of the `cargo risczero` tool. (Previously: A template for starting projects with the RISC Zero zkVM.)
☆85Mar 31, 2023Updated 2 years ago
Alternatives and similar repositories for risc0-rust-starter
Users that are interested in risc0-rust-starter are comparing it to the libraries listed below
Sorting:
- These RISC Zero examples have been moved to the main risc0/risc0 repository☆56Mar 31, 2023Updated 2 years ago
- A battleship game using ZKPs☆43Nov 30, 2023Updated 2 years ago
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 2 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated 11 months ago
- a simple implementation of the KZG polynomial commitment scheme☆25Nov 22, 2021Updated 4 years ago
- ☆18Feb 25, 2023Updated 2 years ago
- Foundry test utils.☆29Jul 26, 2022Updated 3 years ago
- ☆31Oct 9, 2022Updated 3 years ago
- MEV example from @bertcmiller implement in Foundry☆73Jul 1, 2022Updated 3 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Nov 27, 2023Updated 2 years ago
- RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.☆2,081Updated this week
- ☆40Feb 2, 2022Updated 4 years ago
- Write documentation for your code in pull requests using Slither and OpenAI.☆35Nov 20, 2023Updated 2 years ago
- ☆46Aug 28, 2021Updated 4 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Dec 19, 2023Updated 2 years ago
- Poseidon Rust library☆38Mar 13, 2023Updated 2 years ago
- A Solidity implementation of Halo2's Pasta curves☆50Mar 30, 2023Updated 2 years ago
- (WIP) Foundry scripting template for deploying contracts to deterministic addresses on any network☆29Jul 9, 2022Updated 3 years ago
- CosmWasm + zkVM RISC-V EFI template☆23Oct 20, 2022Updated 3 years ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆161Jan 11, 2025Updated last year
- ☆14Feb 7, 2023Updated 3 years ago
- 🦀 celestia-node REST client in Rust.☆18Jul 4, 2022Updated 3 years ago
- evm playground - optimizations, patterns and bytecode decoding☆15Dec 29, 2022Updated 3 years ago
- 🏗️ The Signet Block Builder 🧱☆23Updated this week
- ☆18Aug 31, 2022Updated 3 years ago
- Benchmarking Polynomial Commitments☆51Jul 3, 2023Updated 2 years ago
- ☆41Aug 31, 2023Updated 2 years ago
- An online playground for zero knowledge circuits☆153Jun 9, 2025Updated 8 months ago
- ☆18Feb 15, 2024Updated last year
- Cairo Language Server☆60Mar 20, 2023Updated 2 years ago
- A toy Cairo VM implementation in Rust™☆72Jun 7, 2022Updated 3 years ago
- Solidity error logging☆23Sep 21, 2021Updated 4 years ago
- Structured, dependable legos for Starknet development.☆133Sep 15, 2022Updated 3 years ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆218Dec 5, 2023Updated 2 years ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Jan 1, 2023Updated 3 years ago
- An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…☆117May 6, 2024Updated last year
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 2 years ago
- Governor of Athens: A protocol to enable private governance on existing governor bravo contracts by leveraging Aztec's Defi Batching☆86Oct 13, 2022Updated 3 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆39Dec 5, 2023Updated 2 years ago