Constraints API
☆18Oct 15, 2025Updated 4 months ago
Alternatives and similar repositories for constraints-specs
Users that are interested in constraints-specs are comparing it to the libraries listed below
Sorting:
- AI Framework for Socials and onchain actions☆20Dec 30, 2024Updated last year
- Universal Registry Contract☆14Oct 15, 2025Updated 4 months ago
- The Spire Based Stack☆23Nov 21, 2025Updated 3 months ago
- Lightweight throttle layer for alloy providers☆16Mar 10, 2025Updated last year
- Caching sparse Merkle Patricia Trie for reth.☆12Nov 18, 2024Updated last year
- Official Foundry landing page☆17Jun 28, 2023Updated 2 years ago
- The Ultimate Parallel EVM Engine: Transaction Execution, State Root Calculation, Shred Broadcasting. All in One and at Once!☆346Nov 11, 2025Updated 3 months ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Jan 24, 2024Updated 2 years ago
- A literary magazine in the form of a dynamic universe.☆13Dec 8, 2024Updated last year
- ☆17Sep 9, 2024Updated last year
- A simple, ENS-powered browser for Ethereum dApps☆20Sep 27, 2021Updated 4 years ago
- Proof of slashed validator inside the EVM☆20Apr 30, 2024Updated last year
- zen minimal foundry template☆29Apr 1, 2025Updated 11 months ago
- Code generation tool for adding Ethereum SimpleSerialiZe support methods to existing go types☆20Aug 15, 2024Updated last year
- My utils for long-lived, fault-tolerant rust tasks☆44Dec 7, 2023Updated 2 years ago
- ☆21Dec 6, 2021Updated 4 years ago
- ☆23Sep 13, 2024Updated last year
- Public domain Ethereum MEV-Boost winning bid data☆31Feb 16, 2026Updated 3 weeks ago
- Parallel EVM inspired by BlockSTM☆38Updated this week
- Solidity contracts for a next-gen rollup system.☆70Mar 1, 2026Updated last week
- rust types and services for Zenith 🎀☆29Mar 26, 2025Updated 11 months ago
- MEV-Boost Relay API Specs☆29Dec 23, 2025Updated 2 months ago
- ☆29Jan 26, 2022Updated 4 years ago
- JSON-RPC, simplified, using tower and axum☆79Feb 15, 2026Updated 3 weeks ago
- Simulate txs to human readable format☆28Feb 20, 2026Updated 2 weeks ago
- ☆81Mar 2, 2026Updated last week
- ☆33Mar 8, 2023Updated 3 years ago
- This guide is crafted to assist both newcomers and seasoned developers in navigating the Optimism codebase with ease.☆81Aug 31, 2025Updated 6 months ago
- Sidecar to Enable Rollup Extensions☆165Feb 17, 2026Updated 3 weeks ago
- ☆142Mar 1, 2026Updated last week
- Option based liquidity mining for projects☆29Mar 5, 2023Updated 3 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆158Updated this week
- Circom Implementation of Conway's Game of Life☆10Jan 24, 2023Updated 3 years ago
- the EVM, simplified☆99Updated this week
- ☆38Feb 11, 2022Updated 4 years ago
- Reth rpc api extension to enable block validation☆41Dec 13, 2024Updated last year
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- A drop-in replacement for `dapp` and `seth` in Rust☆10Updated this week