High-assurance CLI tool and Rust engine to trace, simulate, and verify Ethereum validator consolidations (EIP-7251 MaxEB) and exits (EIP-7002) across Execution and Consensus layers.
-
Updated
Sep 8, 2026 - Rust
High-assurance CLI tool and Rust engine to trace, simulate, and verify Ethereum validator consolidations (EIP-7251 MaxEB) and exits (EIP-7002) across Execution and Consensus layers.
Static analysis tool for EIP-7702 delegate contract security vulnerabilities.
To associate your repository with the pectra topic, visit your repo's landing page and select "manage topics."