succinctlabs / sp1-contract-callLinks
Generates zero-knowledge proofs of Ethereum smart contract execution.
☆36Updated 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
Sorting:
- This is the monorepo for the Succinct Prover Network, a protocol on Ethereum that coordinates a distributed network of provers to generat…☆41Updated this week
- Ethereum stateless tools☆45Updated 3 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- Serverless function on Reth☆74Updated 11 months ago
- Smart contracts for on-chain anonymous settlement.☆115Updated last month
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆27Updated last month
- Zig EVM☆32Updated 7 months ago
- Solidity contracts for a next-gen rollup system.☆66Updated 3 weeks ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆34Updated 8 months ago
- Transports, Middleware, and Networks for the OP Stack built on Alloy☆73Updated last week
- An onchain tournament for bots, inspired by Pac-Man and Agar.io.☆45Updated 2 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 9 months ago
- rust types and services for Zenith 🎀☆29Updated 4 months ago
- A simple, modern, ergonomic JSON-RPC router, using tower and axum☆58Updated 2 months ago
- Composable OP Stack Orchestration☆41Updated last year
- EVM abstraction layer☆60Updated last week
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated last year
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆56Updated 2 years ago
- ☆52Updated 2 months ago
- A EVM block proving backend in Cairo☆81Updated this week
- ☆41Updated 9 months ago
- ☆39Updated last week
- Breathe air☆25Updated last year
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆63Updated last year
- ☆67Updated 9 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- Implementation of ethereum's `ssz`☆106Updated 10 months ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13Updated 2 months ago
- Rust Implementation of the Solidity ABI☆42Updated last year