succinctlabs / sp1-contract-callLinks
Generates zero-knowledge proofs of Ethereum smart contract execution.
☆41Updated 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:
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆27Updated last month
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated 2 years ago
- This is the monorepo for the Succinct Prover Network, a protocol on Ethereum that coordinates a distributed network of provers to generat…☆48Updated this week
- Solidity contracts for a next-gen rollup system.☆70Updated last month
- Zig EVM☆32Updated 2 weeks ago
- Smart contracts for on-chain anonymous settlement.☆123Updated 3 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated last year
- Serverless function on Reth☆74Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- Breathe air☆25Updated last year
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆64Updated last year
- Composable OP Stack Orchestration☆41Updated 2 years ago
- A simple RISC-V runtime.☆33Updated 2 months ago
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated last month
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 5 months ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆91Updated 2 years ago
- relays blocks from the shared sequencer to the DA layer☆27Updated 2 years ago
- Ethereum stateless tools☆45Updated 7 months ago
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆35Updated last year
- Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation☆30Updated 3 years ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆48Updated 10 months ago
- JSON-RPC, simplified, using tower and axum☆72Updated last month
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 9 months ago
- ☆26Updated 2 months ago
- Transports, Middleware, and Networks for the OP Stack built on Alloy☆80Updated last week
- an introduction to noir, with simple examples☆44Updated last year
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆27Updated 2 years ago
- EVM abstraction layer☆74Updated this week
- rust types and services for Zenith 🎀☆28Updated 8 months ago
- ☆54Updated 6 months ago