succinctlabs / sp1-contract-call
Generates zero-knowledge proofs of Ethereum smart contract execution.
☆31Updated 3 weeks ago
Alternatives and similar repositories for sp1-contract-call:
Users that are interested in sp1-contract-call are comparing it to the libraries listed below
- Composable OP Stack Orchestration☆41Updated last year
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆32Updated 6 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated 11 months ago
- Minimal Merkle Tree implementations☆28Updated 3 months ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆21Updated last week
- Composable rust types and interfaces specific to the OP Stack. Built on Alloy.☆16Updated last month
- KZG commitments over BLS12-381☆34Updated 2 years ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated 11 months ago
- Rust implementation of KZG point evaluation☆32Updated 3 months ago
- ☆23Updated 3 months ago
- Zig EVM☆32Updated 3 months ago
- Axiom smart contracts☆26Updated last year
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- ☆53Updated last week
- A collection of ZK light client libraries for various blockchains☆49Updated 4 months ago
- ☆14Updated 7 months ago
- ☆29Updated this week
- ☆26Updated last year
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated last year
- A stateless Ethereum execution client☆27Updated 2 months ago
- Breathe air☆23Updated 10 months ago
- Signet ecosystem crates☆13Updated this week
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- Blocktime estimator in Rust☆34Updated last year
- Transports, Middleware, and Networks for the OP Stack built on Alloy☆62Updated this week
- an introduction to noir, with simple examples☆45Updated last year
- Andromeda revm execution service☆31Updated 8 months ago
- Macros + Primitives for PADE format☆29Updated last week
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 6 months ago