John Smith
Raising machine-checked security benchmarks to advance hash-based SNARKs through agentic collaboration
better.codes, an open autoresearch challenge built by the Ethereum Foundation Formal Verification team in collaboration with Yukon and zkSecurity, is now live.
better.codes takes...
Allocation Update – Q2 2026
DAOs/GovernanceResearchFaculty Research Fellowship: Ethereum Studies (AY 2025–2026)Enables Prof. Strnad to dedicate substantial research time to Ethereum-focused problems, including DAO governance, decentralized system administration,...
Announcing the Platåberget Testnet | Ethereum Foundation Blog
tl;dr: Meet Platåberget: Glamsterdam's (Gloas + Amsterdam) early testing ground open to public participation. This upgrade comes with breaking changes for application developers....
Bootstrapping A Decentralized Autonomous Corporation: Part I
Corporations, US presidential candidate Mitt Romney reminds us, are people. Whether or not you agree with the conclusions that his partisans draw from...
Bootstrapping An Autonomous Decentralized Corporation, Part 2: Interacting With the World
In the first part of this series, we talked about how the internet allows us to create decentralized corporations, automatons that exist entirely...
Bootstrapping a Decentralized Autonomous Corporation, Part 3: Identity Corp
In the first two parts of this series, we talked about what the basic workings of a decentralized autonomous corporation might look like,...
Slasher: A Punitive Proof-of-Stake Algorithm
The purpose of this post is not to say that Ethereum will be using Slasher in place of Dagger as its main mining...
Ethereum: Now Going Public | Ethereum Foundation Blog
I first wrote the initial draft of the Ethereum whitepaper on a cold day in San Francisco in November, as a culmination of...
Conference, Alpha Testnet and Ether Pre-sale Updates
Important notice: any information from this post regarding the ether sale is highly outdated and probably inaccurate. Please only consult the latest blog...
On Transaction Fees, And The Fallacy of Market-Based Solutions
Of all the parts of the Ethereum protocol, aside from the mining function the fee structure is perhaps the least set in stone....
