succinctlabs / rspLinks
A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
☆124Updated this week
Alternatives and similar repositories for rsp
Users that are interested in rsp are comparing it to the libraries listed below
Sorting:
- Succinct's Production-Grade Proving Engine for the OP Stack☆167Updated this week
- Smart contracts for onchain verification of SP1.☆98Updated last week
- Monorepo for OP Stack Types, Components, and Services built in Rust.☆207Updated this week
- EigenLayer Rust Developer Tooling☆92Updated this week
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆102Updated last week
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆109Updated 3 months ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆181Updated this week
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆53Updated 2 months ago
- ☆66Updated 7 months ago
- The schelling point for ZK applications.☆138Updated last year
- ☆99Updated 10 months ago
- ☆94Updated 10 months ago
- ☆140Updated 3 months ago
- Crypto Gadgets for Plonky2☆71Updated last year
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆154Updated this week
- A EVM block proving backend in Cairo☆77Updated last week
- Walkthroughs to leverage Odyssey's features from the future.☆105Updated last week
- A repo of example Noir projects.☆55Updated last week
- barretenburg in rust (here we go)☆98Updated last year
- Template for integrating RISC Zero and Ethereum using Foundry☆135Updated last week
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆81Updated 6 months ago
- ☆93Updated this week
- ZK Email in Noir☆71Updated 2 weeks ago
- Rust Library for running the Starknet OS via the Cairo VM☆65Updated 3 weeks ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆103Updated last year
- A PoC repo for a HyperNova impl☆83Updated last year
- A curated list of repos related to Circom☆99Updated 2 years ago
- Technical documentation of the zkEVM☆88Updated last year
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆114Updated 3 weeks ago