Video wird geladen...

Video konnte nicht geladen werden

Zur Startseite

Ethereum’s endgame is getting rebuilt, not upgraded. With Lean Consensus (née Beamchain), Ethereum is starting from the endgame: cleaning up technical debt, pushing toward fast finality and preparing for a post-quantum future. It’s one of the most ambitious protocol workstreams for Ethereum and for crypto infrastructure overall. I had...

23,332 Aufrufe • vor 5 Monaten •via X (Twitter)

0 Kommentare

Keine Kommentare verfügbar

Kommentare vom Original-Post werden hier angezeigt

Ähnliche Videos

Ethereum is starting from the endgame. Episode 4 of TheCoordinate is a deep dive into Lean Ethereum: a clean-slate rethink of consensus, execution, and data availability. I sat down with Justin Drake from Ethereum Foundation to unpack: > need for the rewrite, > rewrite items: post-quantum security + fast finality, > endgame finality (3-slot -> 2-slot -> maybe 1-slot), > slot anatomy, networking constraints, and the "SOL slots" meme, > real-time ZK proving changing the execution roadmap, > censorship resistance with FOSSIL, > role of L2s in the world of Lean Ethereum, > incentives across proposer, builder, prover, includer, attester. If you’re building on Ethereum or trying to understand where the base layer is headed, this one is for you. This is Episode 4 of TheCoordinate. Hope you enjoy it! ------------------------------- Timestamps: 0:00 Intro: digital intelligence needs digital institutions 0:30 The big questions: Lean Ethereum, consensus/execution, post-quantum 1:25 Why Ethereum needs an endgame mindset (and a clean-slate approach) 3:30 The two “rewrite-class” items: post-quantum security + fast finality 5:52 Beamchain → Lean Consensus → Lean Ethereum (expands beyond consensus) 6:34 ZK EVM + real-time proving within a slot → “10,000 TPS” target 10:10 “SOL slots”: pushing slot duration toward speed-of-light constraints 11:09 3-slot finality (3SF) → endgame finality (2-slot / 1-slot paths) 18:19 eFP2P: erasure-coded gossip, bandwidth efficiency, scaling blobs 26:21 FOSSIL today: inclusion lists + opening includers beyond validators 39:09 Lean VM: minimal ZKVM 51:04 XMSS explained: Merkle signatures, 2^32 leaves, statefulness tradeoff 1:00:36 Rollups: 99.9% throughput on L2s + “native rollups” 1:06:53 Economics: roles (builder/prover/includer/attester), proving costs, stake capping

Soubhik Deb

86,471 Aufrufe • vor 5 Monaten

Just finished an absolute monster of a podcast with Justin Drake, and it’s packed with brain-melting insights on the future of Ethereum. Here are the juiciest takeaways from Part I 👇 Ethereum’s future could turn the L1 into a rollup itself and making it the best type of rollup. Justin lays out how the L1, L2s, and new designs like Beamchain, native rollups, and based sequencing all come together into a unified vision for Ethereum as the credibly neutral internet of finance. What’s Broken Today • L2s are siloed — synchronous composability is dead. • Most rely on centralized sequencers, multisigs & slow exit bridges. • L2-native assets break Ethereum’s trustless bridge model. • Governance delays, security councils, & EVM reimplementation = attack surfaces. The Fix: Ethereum-native Infrastructure • Based Rollups: Use Ethereum L1 validators as the sequencer. Removes centralization risk, restores censorship resistance. • Native Rollups: No more reimplementing the EVM. No more Security Council multisigs. They inherit Ethereum’s execution layer by design. •Preconfirmations: Users get fast UX (e.g., instant trading feedback) via ETH-backed inclusion guarantees from L1 validators, with slashing if they lie. • Real-Time ZK Proofs: Slot-by-slot proving is here. ZK-enabled rollups with instant finality are becoming possible. To get there, Ethereum is moving toward real-time, slot-by-slot proving using ZK SNARKs. This enables constant-time verification and removes the need for validators to re-execute blocks. Native rollups use a new EXECUTE precompile to introspect and reuse Ethereum’s state transition function. There is no EVM emulation, no governance lag, and no reliance on Security Councils. Preconfirmations offer ETH-backed execution guarantees per slot, priced to offset MEV opportunity loss, while based rollups decentralize sequencing by aligning with Ethereum’s validator set. Beamchain pushes this vision further: a clean-slate Ethereum L1 design that is post-quantum secure, radically simplified (validators could run on a Raspberry Pi), and ossified through optimality. It proposes gigagas/s throughput via ZK proofs, validator statelessness, and Attester-Proposer-Separation (APS) to maximize decentralization and censorship resistance, allowing Ethereum L1 to scale as a high-performance rollup itself. If you're building on Ethereum or betting on its future, this convo is mandatory listening. To be continued in Part II....

Luis

17,653 Aufrufe • vor 1 Jahr

How do you actually formally verify the code underpinning Ethereum's future? In this episode (the finale of the lean Ethereum miniseries), Nico sits down with Alex Hicks (Alexander Hicks), lead of Protocol Snarkification at the Ethereum Foundation, to break down formal verification from first principles. They cover: – What formal verification actually is and the trust boundaries between proof assistants, SMT solvers, and kernels – The full verification stack for RISC-V ZKVMs: from SAIL specs to constraint extraction to soundness proofs – Why writing constraints directly in Lean makes proofs 10–100x more ergonomic – How AI is now proving hard theorems in hours for $200 — and what that unlocks for the whole pipeline They also explore the boundaries problem, why specs can have bugs too, and the end goal of a full Lean stack that bypasses Rust and LLVM entirely. Listen to the full episode ------------------------------------------------------------ TIMECODES: 09:16 – What is formal verification? Proof assistants vs SMT solvers 18:33 – Formal verification of code: specs, semantics, and trust boundaries 29:30 – Formally verifying the Lean Ethereum stack: RISC-V ZKVMs in focus 33:02 – Extracting ZKVM constraints into Lean and proving soundness 36:35 – Writing constraints directly in Lean: 10–100x better proof ergonomics 44:02 – Proving Polishchuk–Spielman in 8 hours for $200 with AI 51:01 – The end goal: a full Lean stack bypassing Rust and LLVM

Zero Knowledge Podcast

15,143 Aufrufe • vor 4 Monaten