formal security analysis of the Enshrined Proposer-Builder Separation (ePBS) design introduced in EIP-7732
☆16Oct 21, 2026Updated last week
Alternatives and similar repositories for epbs-security-analysis
Users that are interested in epbs-security-analysis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ConsenSys Internal Fork of the public repo https://github.com/ethereum/distributed-validator-specs☆18May 11, 2026Updated 5 months ago
- ☆10Sep 12, 2023Updated 3 years ago
- Researching RANDAO manipulation in Ethereum mainnet.☆11Jul 7, 2025Updated last year
- A tool for referencing the Ethereum specifications in clients☆11Updated this week
- Formally verified Ethereum primitives, written in Lean.☆23Oct 22, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆12Mar 22, 2025Updated last year
- Specific implementation (based on the public rbuilder) of a block builder to be used on a TDX context.☆18Sep 30, 2025Updated last year
- ☆14Jan 7, 2025Updated last year
- ☆29Jul 18, 2026Updated 3 months ago
- High Performance SSZ Implementation☆14Jan 1, 2025Updated last year
- ☆138Updated this week
- ☆26Sep 25, 2024Updated 2 years ago
- A curated list of resources for learning about Trusted Execution Environments (TEEs) in the context of blockchains.☆43Oct 2, 2025Updated last year
- Rust Implementation of Ethereum Binary Tree EIP-7864☆18Jul 13, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆15Aug 6, 2026Updated 2 months ago
- A Lean 4 implementation of the Ethereum consensus specification for the Fulu, Gloas, Heze forks.☆31Oct 19, 2026Updated last week
- ☆17Oct 7, 2026Updated 3 weeks ago
- Foundry toolchain manager☆13Updated this week
- Informative spec for beacon node metrics☆32Jun 26, 2026Updated 4 months ago
- qemu, cuda, virtio and kernel driver etc, none of which I understand, I just in awe.☆13May 2, 2023Updated 3 years ago
- ☆25Oct 21, 2026Updated last week
- A "Type 0" zkEVM☆12Jul 16, 2025Updated last year
- ☆16Jun 25, 2026Updated 4 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Fast Ethereum2.0 SSZ encoder/decoder☆92Dec 3, 2025Updated 10 months ago
- Experiments in visualizing Ethereum network upgrades☆65Updated this week
- Ethereum Testnet Testing Tool☆75Oct 21, 2026Updated last week
- A zero-knowledge protocol for anonymous interactions.☆13Aug 27, 2025Updated last year
- Ethereum network monitoring with collection clients and a centralized server for data pipelining.☆99Updated this week
- React toolkit for Streamr.☆13Jan 22, 2026Updated 9 months ago
- Verifiable FHE with GKR☆27Oct 5, 2024Updated 2 years ago
- Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)☆33Aug 30, 2023Updated 3 years ago
- Opinionated 0-alloc SSZ codec for Go☆57Sep 18, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Formal Verification of Top Single Layer Encoding☆11Dec 6, 2025Updated 10 months ago
- Extreme low latency, embedded-friendly table storage for Rust with an ORM-like interface: macros that smell like SQL, typed rows, real in…☆11Aug 3, 2026Updated 2 months ago
- ☆10Jan 30, 2017Updated 9 years ago
- CL <-> EL multiplexing relay☆18Mar 14, 2024Updated 2 years ago
- A ziglang implementation of the SSZ serialization protocol☆34Oct 5, 2026Updated 3 weeks ago
- A curated list of educational materials, guides, and research papers for beginners interested in learning about Fully Homomorphic Encrypt…☆13Aug 8, 2024Updated 2 years ago
- ☆27Jun 20, 2025Updated last year