succinctlabs / riscv-emulator-challenge
☆24Updated last month
Alternatives and similar repositories for riscv-emulator-challenge:
Users that are interested in riscv-emulator-challenge are comparing it to the libraries listed below
- barretenburg in rust (here we go)☆98Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 5 months ago
- Smart contracts for onchain verification of SP1.☆88Updated last month
- 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 weeks ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆75Updated 6 months ago
- A monorepo of reusable Noir circuits.☆40Updated last week
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆107Updated last month
- ☆40Updated 6 months ago
- OS for next iteration of the world computer☆44Updated last year
- ☆35Updated last year
- Email verification circuit in halo2☆68Updated 9 months ago
- PoC of Revm execution in SGX☆80Updated last year
- Export Circom verifier to Cairo☆49Updated 3 years ago
- Honk Verifier in Solidity☆50Updated 6 months ago
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 8 months ago
- ☆61Updated last year
- The Ultimate ZK Fault/Validity Proof Software Suite for Securing Rollups☆41Updated this week
- My personal notebook for various zk-related topics☆48Updated 3 months ago
- ☆12Updated this week
- Rust implementation of KZG point evaluation☆33Updated last week
- Rust Library for running the Starknet OS via the Cairo VM☆62Updated this week
- Client side zero-knowledge proving.☆52Updated this week
- ☆38Updated last year
- Resources for learning Noir from ZKCamp's Aztec Course☆54Updated last year
- A detailed tutorial to test Starknet messaging with Anvil and Katana☆29Updated 3 months ago
- Cairo STARK proof verifier for Starknet☆71Updated last week
- A curated list of awesome projects using STWO.☆23Updated last month
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆28Updated 6 months ago
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆78Updated 4 months ago
- A minimal based rollup implementation that is easy to understand and extend☆33Updated this week