Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible. I have a much more optimistic take, and AI-assisted formal verification is a major part of the reason why: vitalik.eth.limo/general/202…

Today, the Foundation’s Board released the EF Mandate. This document, which was first intended for EF members, reaffirms the promise of Ethereum, and the role of EF within this ecosystem.

EL TRUQUITO

A mortgage on Ethereum. No banks, all Defipunk

Protocol study group starts today. See you at the kickoff.

Ethereum Protocol Study Group for 2026 is finally announced! Starting in less than a week, it took us a while to push out the announcement because we were preparing the biggest curriculum so far blog.ethereum.org/2026/02/17…

ZKP2P is now Peer: Finance for Humans

Good research is being done on lookup and permutation arguments. The connection to shuffle proofs seems under appreciated, so I wrote up a comparison. @__zkhack__

@ProtonPrivacy big props for supporting @etheriumfndn ht @brechy

1/2 As of Q3 2025, the fastest client-side-feasible ZK-SNARK (@aztecnetwork's Barretenberg) is ~4x faster than the fastest *ZK* VM (@ligero_inc's Ligetron). The fastest non-ZK SNARK (@IrreducibleHW's Binius64) is ~36x faster than the fastest non-ZK VM (@KakarotZkEvm's Cairo-M).

Hello Fusaka🥳 Great job to everyone who pushed hard to make the fork happen in 2025, and for making it a successful one. Proud of the work we've achieved together. The road to Fusaka was long and bumpy, but we got here!🦓

"Ironically, the more Ethereum optimizes for efficiency, the stronger its pull toward centralization." "Rather than paying for global storage or subsidizing full nodes indefinitely, Ethereum could instead reward state-serving events" Great second part on "The Future of State" by @CPerezz19 ethresear.ch/t/the-future-of…

Plinko PIR tutorial: vitalik.eth.limo/general/202…

Target acquired: Happy to share our new Client-Side Proving dashboard — a collaboration with the amazing CSP team at @PrivacyEthereum ethproofs.org/csp-benchmarks

The @EFDevcon team cooked

Introducing: Decentralized crowdloaning and an experiment to bootstrap our new community space Theory: paragraph.com/@bordel/decent… Implementation: loan.bordel.wtf/ We are bringing a real, community based, cooperative way to bootstrap projects on Ethereum without any token or speculation. Our goal is to demonstrate a simple way to coordinate and utilize liquidity from the global community to empower local. Our hackerspace in Prague has been looking for a new home for almost 2 years and it's not easy to find it. Now, you can help us to reach our goal, get us started and eventually visit us in person! We do not ask for donations but direct loans that we pay back continuously as mortgage. If you have any stables lying around, you can lock them to this loan instead of another protocol and support real world project. This is a nonprofit effort to showcase defipunk and utilize the open nature of our ecosystem. Crowdloaning is a trustless alternative to more traditional crowdfunding alternatives for us, crypto natives. We don't have any credit in traditional banks, we only use FLOSS and we source loans from community of individuals, not pools. Help us get started and hopefully, we will see each other at the opening party during @EthPrague!

It’s the Defipunk era, it’s the FLOSS era @hwwonx

Super excited for tomorrow 🤩 Main venue. Included in your @EFDevcon ticket 🦄 See you privacy nerds tomorrow!