succinctlabs / riscv-emulator-challenge
☆23Updated 3 weeks ago
Alternatives and similar repositories for riscv-emulator-challenge:
Users that are interested in riscv-emulator-challenge are comparing it to the libraries listed below
- Smart contracts for onchain verification of SP1.☆86Updated last month
- barretenburg in rust (here we go)☆98Updated last year
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated 2 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 5 months ago
- A monorepo of reusable Noir circuits.☆38Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆96Updated this week
- Honk Verifier in Solidity☆50Updated 5 months ago
- Cairo STARK proof verifier for Starknet☆70Updated 3 weeks ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆106Updated 2 weeks ago
- ☆12Updated last year
- Export Circom verifier to Cairo☆49Updated 2 years ago
- ☆35Updated last year
- an introduction to noir, with simple examples☆43Updated last year
- ☆39Updated 5 months ago
- Contains several examples and challenges to use Lambdaworks☆15Updated last year
- ☆61Updated last year
- Rust implementation of KZG point evaluation☆32Updated 2 months ago
- client side proving☆28Updated 3 weeks ago
- ☆38Updated last year
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆75Updated 5 months ago
- Resources for learning Noir from ZKCamp's Aztec Course☆54Updated last year
- The Ultimate ZK Fault/Validity Proof Software Suite for Securing Rollups☆37Updated last week
- A detailed tutorial to test Starknet messaging with Anvil and Katana☆29Updated 2 months ago
- Client side zero-knowledge proving.☆45Updated this week
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated 2 years ago
- BigInt library for Aztec's noir language☆32Updated last year
- Solidity contracts for a next-gen rollup system.☆64Updated 4 months ago
- Workbook for Introduction to Programmable Cryptography☆32Updated 2 weeks ago
- ream: an Ethereum Beam client written in Rust☆60Updated this week
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 11 months ago