zkzoomer / sp1-storage-proofLinks
Literally the SIMPLEST implementation of an EVM storage proof inside SP1
☆14Updated 10 months ago
Alternatives and similar repositories for sp1-storage-proof
Users that are interested in sp1-storage-proof are comparing it to the libraries listed below
Sorting:
- Ethereum stateless tools☆45Updated 6 months ago
- Axiom smart contracts☆26Updated 2 years ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated 2 years ago
- Like Safe... but secret 🥷🏽☆63Updated 9 months ago
- Solidity contracts for a next-gen rollup system.☆69Updated last week
- Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation☆30Updated 2 years ago
- 🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.☆60Updated last year
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆84Updated last year
- Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner☆28Updated 7 months ago
- MNIST image classification neural network implemented entirely on the EVM☆29Updated 7 months ago
- The most gas optimized ERC-4337 account - written in Huff☆42Updated 2 years ago
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆28Updated last year
- ☆30Updated last year
- Subscriptions using Porto.☆26Updated 3 months ago
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Updated last year
- A ticking-blockchain built on top of the Optimism Bedrock rollup architecture☆24Updated 2 years ago
- ☆26Updated last week
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆28Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆36Updated this week
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆49Updated 8 months ago
- Generating Inputs for OZ's MultiProof and SingleProof☆39Updated 11 months ago
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆64Updated last year
- Tribunal is a framework for processing cross-chain swap settlements utilizing The Compact.☆62Updated 3 weeks ago
- Breathe air☆25Updated last year
- Trustless oracle of historical Uniswap v3 TWAP using ZK☆38Updated 2 years ago
- an introduction to noir, with simple examples☆44Updated last year
- Spire Labs' litepaper (it's pretty based bro)☆16Updated 11 months ago
- PoC of Revm execution in SGX☆80Updated last year
- storage proof made by sp1☆25Updated last year
- Collection of helpful smart contracts to build Suapps☆43Updated 10 months ago