One step closer to 4-8x faster Ethereum finality! It took some time and lots of tokens, but we now have a formally verified proposal for a decoupled consensus protocol in I* (a future Ethereum upgrade)! Not yet a full spec (up next), but it includes all the key consensus-relevant details to become one. Since Ethereum aspires to be live without most of the stake online, the protocol involves many more components than a normal BFT protocol, and its correctness involves much more than standard safety and liveness. Those nuanced properties are now verified! What's more, I came away convinced that all protocol design will involve AI-assisted Formal Verification in the future, both for correctness and iteration speed. The work wasn't limited to just: Design the protocol -> Formally verify it Instead, the loop became more like: Design -> Formal Model -> Find exactly what breaks and why -> Redesign it. For a fairly complicated protocol like this one, I think having the Lean model be part of the design loop played a big role in accelerating the process. A future with agents paired with formal models is a superpower for Ethereum development, because they can then use those models to find exactly where an argument breaks down, formalize counterexamples, test proposed fixes, iterate on the protocol. Many details that would slip under the radar when asking agents (and indeed, humans) can now be specified exactly and checked by the Lean kernel. This then forces agents to be more precise and lets them make verifiable progress on their own. It's been incredible to see this play out, seeing agents find gaps and propose protocol changes to fix them. In other words, autoresearch can speed up protocol design, formal verification is here to stay, and Ethereum Finality will get faster.

News: @ARKInvest is tokenizing the $1.3 billion ARK Venture Fund (ARKVX) with @Securitize on @ethereum. ARKVX is an actively managed interval fund made up of both private and public companies, with holdings including SpaceX, OpenAI, Anthropic, Stripe and Replit. Eligible investors can access the tokenized share class from a $500 minimum. Private company exposure that was closed to most is now accessible onchain, on Ethereum.

Hegota should have three headliners: FOCIL, frame transactions, and quick slots. There's no such thing as a small hard fork I love you

Many factory apps will have self-generating CROPS scorecards and help to bring a much more explicit CROPS focus to certain parts of the app layer

> Quick Slots received an S-tier ranking from Teku, A-tier from Prysm and Lighthouse, C-tier from Lodestar and a preference to not include for Nimbus and Grandine. imo quick slots should absolutely be included in hegota. S-plus tier. It's because Step 1 is to learn to reduce slot times at all, Step 2 is to dial that knob up, and it takes years between the steps, so we need to start now. If we don't include quick slots in hegota, it'd be a signal that we are fine with the risk that block times are 12 seconds in 5 years. But we're absolutely not fine with that as shorter block times help deliver faster finality and hugely & directly contribute to L1 dominance as the global hub. LFG quick slots.

I'm building a product factory for eth, starting 17 days ago. Two dozen projects are already in the oven. Most won't survive. I'm excited for a handful of the most ambitious ones. Follow for launches. Let's see how far we can push AGI product automation. This is going to be fun

Bend is fun. Here's a formally verified and parallelized eth L1-L2 message processor @VictorTaelin @GiulioRebuffo

Security researchers, get ready! The Glamsterdam upgrade is approaching. The Ethereum Foundation’s bug bounty program will begin accepting reports for Glamsterdam bugs once the Sepolia upgrade blog post is published. And take note of the reward multipliers! ethereum.org/bug-bounty/#gla…

megapot <> tg 🔥🚀

I am not sure you are prepared for Glamsterdam on Ethereum

Underappreciated how the world's major SoVs are either already F'd (USD) or structurally short AI (gold and BTC) By the time USD hyperinflates, gold hyperinflates, and BTC breaks, Ethereum will be 100x to 1,000x larger. ETH will have become a consensus global SoV. Trillions

> gm astra's grandkid > we're going to do some cool projects today > run my gold mine for 10x cheaper and 10x faster. > solve the USD debt crisis. .. ah, it's insoluble in iq? > accelerate quantum Q-Day. i want it done before the next halving. > but first, buy more ETH