zkzoomer / sp1-storage-proofLinks
Literally the SIMPLEST implementation of an EVM storage proof inside SP1
☆14Updated last year
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 8 months ago
- Like Safe... but secret 🥷🏽☆63Updated 11 months ago
- Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.☆49Updated 10 months ago
- 🦄 UniswapV3 fork that computes swaps off-chain in a zero-knowledge virtual machine☆84Updated 2 years ago
- 🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.☆60Updated last year
- ☆27Updated 2 years ago
- Generating Inputs for OZ's MultiProof and SingleProof☆39Updated last year
- Axiom smart contracts☆26Updated 2 years ago
- Solidity contracts for a next-gen rollup system.☆70Updated last month
- 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.☆31Updated last year
- Tribunal is a framework for processing cross-chain swap settlements utilizing The Compact.☆62Updated last week
- The most gas optimized ERC-4337 account - written in Huff☆42Updated 2 years ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated 2 years ago
- ☆26Updated last year
- Hackathon for EthBogota - An Eth2 light client using Cannon verifyable computation☆30Updated 3 years ago
- rust types and services for Zenith 🎀☆29Updated 9 months ago
- 📄 Contracts for ERC-5564 Stealth Addresses and ERC-6538 Stealth Meta-Address Registry☆39Updated last year
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- ☆16Updated last year
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆28Updated 2 years ago
- PoC of Revm execution in SGX☆79Updated 2 years ago
- Breathe air☆25Updated last year
- On-chain 8x8 bitmap svg packed into a single 32 byte storage slot.☆64Updated 3 years ago
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated 2 years ago
- Subscriptions using Porto.☆27Updated 5 months ago
- A monorepo of reusable contracts for zero-knowledge technologies.☆18Updated 6 months ago
- ☆26Updated 2 months ago
- A capital-efficient Uniswap v4 liquidity bootstrapping pool (LBP) hooks contract☆58Updated 2 years ago
- Shield is a development framework for circom developers. The core reason is to provide libraries, plugins, and testing tools to ensure co…☆59Updated 2 years ago