zkzoomer / sp1-storage-proof
Literally the SIMPLEST implementation of an EVM storage proof inside SP1
☆14Updated 4 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
- Ethereum stateless tools☆46Updated last month
- 📄 Contracts for ERC-5564 Stealth Addresses and ERC-6538 Stealth Meta-Address Registry☆32Updated 8 months ago
- Axiom smart contracts☆26Updated last year
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated last year
- The most gas optimized ERC-4337 account - written in Huff☆43Updated last year
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- On-chain Ethereum light client built with SP1☆40Updated 2 weeks ago
- Tiny CLI for submitting large calldata transactions to EVM networks to stress test the networking layer. Main motivation: EIP4844blobs.☆55Updated 2 years ago
- openzepplin smart contracts written in rust for arbritum stylus☆13Updated 11 months ago
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆35Updated this week
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆31Updated 10 months ago
- Like Safe... but secret 🥷🏽☆57Updated 2 months ago
- ☆26Updated last year
- ☆50Updated this week
- Composable OP Stack Orchestration☆41Updated last year
- A blazing-fast helper library for convenient Solidity dynamic arrays☆42Updated 7 months ago
- Optimized, in-memory, memory safe data structures written in Solidity.☆36Updated last year
- an introduction to noir, with simple examples☆43Updated last year
- A simple, modern, ergonomic JSON-RPC router, using tower and axum☆49Updated this week
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆31Updated 4 months ago
- Basic EOA Batch Executor (BEBE)☆20Updated 2 months ago
- ☆12Updated last year
- Collection of helpful smart contracts to build Suapps☆44Updated 3 months ago
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 8 months ago
- Minimal template for using the Arbiter framework for simulations.☆46Updated 2 months ago
- Breathe air☆23Updated 10 months ago
- 🔴 💬 A hack for the OP Stack enabling sequencer commitments.☆28Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Macros + Primitives for PADE format☆29Updated last week
- A dutch auction derivative with composite decay☆24Updated 2 months ago