The Sepolia network had a few hiccups during the upgrade to Pectra. This post tells the story of how we managed to coordinate an upgrade and how we defended against an unknown adversary.

Thanks to Ignacio Hagopian (EIP-7864 author) for a quick review of this article and the cover image...

Coding a Solidity rebase token A “rebase token” (sometimes “rebasing token”) is an ERC-20 token where the total supply, and the balances of token holders, can change without transfers, minting, or...

Ress is a Stateless Ethereum node implementation in <4K LoC using the Reth SDK.

a thread of pushback on EOF, tl;dr it is
- complex
- addressing a problem being solved elsewhere (compilers)
- not even solving the problems people expect it to??

starring your favorite core devs and some surprise guests

We're thrilled to share the stable release of Slang v1, after years of development and community feedback. Slang’s code analysis APIs are now production-ready and fully featured.


What’s Slang?

Slang is a modular set of compiler APIs to empower the next…

When the RISC Zero zkVM executes, it generates a receipt that allows third-parties to authenticate the validity of the execution.

Posted by Solidity Team on March 12, 2025

Install dependencies and configure clients for Signet development.

Introduction - The Evolution of Automated Market MakersIf you’ve ever traded on Uniswap, you might think of it as a decentralized vending machine for tokens—...

Stress Testing ZK Systems Through Maximum Pain. Contribute to yourbuddyconner/zkarnage development by creating an account on GitHub.

Data Availability Sampling (DAS) is a key primitive to scaling blob space for L2s on Ethereum. The first step is PeerDAS – scheduled to ship in the Fusaka hard fork. The focus of this site for now is on PeerDAS, but will expand over time.

Explore Ethereum-like blockchain privately with your RPC URL - paulmillr/esplr

Become a student

Introduction


An interactive proof is a protocol between two parties, a prover $\mathcal{P}$ and a verifier $\mathcal{V}$, where the prover attempts to convince the verifier of the validity of a statement. By leveraging randomness and interaction, the verifier…