Research, applied to what’s next in Ethereum.

We are a community of researchers and engineers exploring new directions in Ethereum. Here, you’ll find our technical deep-dives, research findings, and insights.

Analysis of Block Access List (BAL) Using Geth

⚠️ Work in progress This analysis is a work in progress. The information presented may be incorrect or subject to change. Hardware OS: Debian GNU/Linux 12 (bookworm) Kernel: Linux 6.1.0-32-cloud-amd64 Virtualization: kvm (QEMU) CPU: 16 core vCPU @ 2.0GHz Memory: 32G Go: go1.24.2 linux/amd64

New Year's Eve-Proofing Your Specifications

This post explores the benefits of explicitly listing invariants as part of a specification. On an unsuspecting New Year’s Eve, the few lines of C code shown below nearly crippled the Internet, raking up half a billion dollars in damages. The heartbleed bug The code in question implements a new “Heartbeat” specification for the TLS encryption protocol, aiming to solve an important bottleneck: establishing a new TLS connection is expensive. The specification proposes that the sender post an arbitrary “heartbeat” message to the recipient. The recipient interprets this as a signal to keep the connection alive and confirms by echoing the message back to the sender. ...