succinctlabs / op-succinct
Succinct's Production-Grade Proving Engine for the OP Stack
☆154Updated this week
Alternatives and similar repositories for op-succinct:
Users that are interested in op-succinct are comparing it to the libraries listed below
- Monorepo for OP Stack Types, Components, and Services built in Rust.☆187Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆99Updated this week
- Template for integrating RISC Zero and Ethereum using Foundry☆123Updated 3 weeks ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆154Updated last week
- EigenLayer Rust Developer Tooling☆84Updated this week
- Smart contracts for onchain verification of SP1.☆88Updated last month
- Walkthroughs to leverage Odyssey's features from the future.☆99Updated 4 months ago
- Sidecar to Enable Rollup Extensions☆113Updated this week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆98Updated this week
- DSL for Halo2 circuits☆186Updated 5 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆107Updated last month
- Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …☆174Updated 8 months ago
- All you need account for authentication and payments on the web.☆179Updated this week
- A repo of example Noir projects.☆51Updated last month
- ☆260Updated last week
- ☆186Updated this week
- Bolt: permissionless proposer commitments on Ethereum☆93Updated this week
- The simplest way to spin your own dev / prod rollup, fully configurable.☆97Updated 5 months ago
- A virtual machine for Cairo written in Go☆85Updated 3 weeks ago
- ☆150Updated last year
- ☆142Updated last month
- ☆94Updated 8 months ago
- The Ethereum Rollup Improvement Proposal repository☆133Updated 3 weeks ago
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆228Updated this week
- The schelling point for ZK applications.☆137Updated 11 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆140Updated this week
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆158Updated 3 months ago
- Technical documentation of the zkEVM☆89Updated 10 months ago
- ☆77Updated this week
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆92Updated this week