Literally the SIMPLEST implementation of an EVM storage proof inside SP1
☆14Nov 26, 2024Updated 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:
- This repository was moved to https://github.com/rheo-xyz/rheo-solidity☆20Nov 12, 2025Updated 3 months ago
- ☆16Feb 19, 2026Updated 2 weeks ago
- Gas-optimized sorting networks in Solidity.☆17May 24, 2024Updated last year
- openzepplin smart contracts written in rust for arbritum stylus☆13Apr 20, 2024Updated last year
- UI Builder is an open-source blockchain development tool that helps developers and non-developers create user-friendly interfaces for sma…☆38Updated this week
- Educational repo for fuzzing smart-contracts with Echidna☆17Mar 6, 2024Updated 2 years ago
- ☆20Apr 10, 2025Updated 10 months ago
- An efficient constant gas function dispatch pattern for solidity external libraries.☆15Sep 1, 2023Updated 2 years ago
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Jul 20, 2022Updated 3 years ago
- ☆42Sep 21, 2023Updated 2 years ago
- An effort to self-host Gnosis Safe ourselves on a doomsday-like scenario☆21Sep 13, 2021Updated 4 years ago
- Library for creating corrupted calldata.☆27Mar 8, 2023Updated 3 years ago
- Bitcoin SPV in Sui Move☆24Oct 13, 2025Updated 4 months ago
- ☆20Apr 29, 2023Updated 2 years ago
- Tribunal is a framework for processing cross-chain swap settlements utilizing The Compact.☆62Dec 22, 2025Updated 2 months ago
- Cheaper (up to 35k gas) Create3 deployments for small sized contracts (<= ~3.6KB).☆30Jan 28, 2025Updated last year
- ☆26Feb 7, 2024Updated 2 years ago
- Macros + Primitives for PADE format☆29Jul 26, 2025Updated 7 months ago
- Like Safe... but secret 🥷🏽☆63Jan 8, 2025Updated last year
- ☆11Nov 2, 2024Updated last year
- Circom merkle tree primitives☆25Jul 16, 2023Updated 2 years ago
- ULPatch is open source user space live patch tool.☆13Jan 11, 2026Updated last month
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆27Feb 2, 2023Updated 3 years ago
- ☆33Oct 25, 2022Updated 3 years ago
- ☆28Jul 29, 2024Updated last year
- Write a recipe in minutes to convert your dApp to a zkApp.☆33Feb 12, 2026Updated 3 weeks ago
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆35Apr 27, 2025Updated 10 months ago
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆33Oct 31, 2023Updated 2 years ago
- Foundry network provider for the Ape Framework☆36Feb 16, 2026Updated 2 weeks ago
- ☆33Sep 21, 2024Updated last year
- ☆69Sep 11, 2023Updated 2 years ago
- GitHub Action for radar - a static analysis tool for rust, anchor, stylus, and solidity smart contracts.☆10Feb 18, 2026Updated 2 weeks ago
- CAPTCHAs for NFTs.☆69Nov 7, 2022Updated 3 years ago
- optimized queue datastructure☆32Jul 26, 2022Updated 3 years ago
- Chatbot for Ethereum codebase and docs.☆70Oct 15, 2024Updated last year
- A ZK-VM for the Brainfuck language, based on Stwo☆34Apr 3, 2025Updated 11 months ago
- PostHog plugin for Analytics - https://github.com/DavidWells/analytics☆12Mar 31, 2025Updated 11 months ago
- Core contracts for the trading/liquidity in PaintSwap☆11Jan 7, 2025Updated last year
- Java decompilation & deobfuscation lab - dockerized toolset☆15Mar 1, 2026Updated last week