This repository has been deprecated in favor of the `cargo risczero` tool. (Previously: A template for starting projects with the RISC Zero zkVM.)
☆86Mar 31, 2023Updated 3 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- These RISC Zero examples have been moved to the main risc0/risc0 repository☆56Mar 31, 2023Updated 3 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated last year
- Starknet sequencer built with Tendermint Core☆52Apr 3, 2023Updated 3 years ago
- RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.☆2,188Aug 28, 2026Updated last week
- Foundry test utils.☆29Jul 26, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆18Feb 25, 2023Updated 3 years ago
- a simple implementation of the KZG polynomial commitment scheme☆25Nov 22, 2021Updated 4 years ago
- ☆31Oct 9, 2022Updated 3 years ago
- Write documentation for your code in pull requests using Slither and OpenAI.☆35Nov 20, 2023Updated 2 years ago
- My utils for long-lived, fault-tolerant rust tasks☆44Dec 7, 2023Updated 2 years ago
- ☆39Feb 2, 2022Updated 4 years ago
- MEV example from @bertcmiller implement in Foundry☆74Jul 1, 2022Updated 4 years ago
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Jan 3, 2024Updated 2 years ago
- Rust library for caching and retrieving EVM state with a simple interface and efficient implementation.☆19Aug 21, 2026Updated 2 weeks ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆41Aug 31, 2023Updated 3 years ago
- An online playground for zero knowledge circuits☆156Jun 30, 2026Updated 2 months ago
- (WIP) Foundry scripting template for deploying contracts to deterministic addresses on any network☆31Jul 9, 2022Updated 4 years ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆161Jan 11, 2025Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆58Nov 27, 2023Updated 2 years ago
- A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover☆83Feb 14, 2023Updated 3 years ago
- A toy Cairo VM implementation in Rust™☆72Jun 7, 2022Updated 4 years ago
- An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable C…☆118May 6, 2024Updated 2 years ago
- ☆14Feb 7, 2023Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM☆451Jul 17, 2026Updated last month
- Evaluating & benchmarking ZKP compilation strategies.☆120Dec 19, 2023Updated 2 years ago
- ☆18Feb 15, 2024Updated 2 years ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Jan 1, 2023Updated 3 years ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆102Nov 16, 2021Updated 4 years ago
- ☆23Mar 6, 2023Updated 3 years ago
- Data aggregator for Cosmwasm☆18Nov 8, 2022Updated 3 years ago
- ☆46Aug 28, 2021Updated 5 years ago
- ☆13Sep 17, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- CosmWasm + zkVM RISC-V EFI template☆23Oct 20, 2022Updated 3 years ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Dec 5, 2023Updated 2 years ago
- Poseidon Rust library☆40Mar 13, 2023Updated 3 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21May 9, 2023Updated 3 years ago
- Cairo Language Server☆60Mar 20, 2023Updated 3 years ago
- Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.☆174May 4, 2023Updated 3 years ago
- Rust FFI bindings for StarkWare's crypto-cpp library☆15Apr 27, 2022Updated 4 years ago