登录 后可观看高清视频

Justin 介绍精简以太坊第一部分

17次播放
1天前

视频 AI 总结：

本次播客节目是“精益以太坊”（Lean Ethereum）六集迷你系列的首期，由以太坊基金会研究员 Justin Drake 介绍。该愿景旨在通过跨共识层、数据层和执行层（C-D-E）的全面升级，为以太坊核心提供面向未来的保障。核心内容包括引入后量子密码学、实现更快的最终确定性以及将零知识证明（ZK）技术深度嵌入系统。通过采用精简的 ZKVM（LeanVM）和对 SNARK 友好的哈希函数（Poseidon2），以太坊旨在解决签名聚合、提高吞吐量和确保端到端的形式化验证，从而打造一个更安全、可扩展且高效的区块链平台。

视频中提出了哪些关键信息：

  1. 精益以太坊（Lean Ethereum）愿景：这是一个旨在未来化以太坊核心的全面升级计划，涵盖共识层（Consensus Layer）、数据层（Data Layer）和执行层（Execution Layer），简称 C-D-E。
  2. 核心目标：
    • 后量子密码学（Post-Quantum Cryptography）：将以太坊从当前的 BLS 签名和 KZG 方案迁移到后量子安全的密码学，以抵御未来的量子计算攻击。
    • 更快的最终确定性（Faster Finality）：提高共识层交易的包含速度和最终确定性。
    • 提高吞吐量（Increased Throughput）：通过 ZK-EVMs 提高 L1 的吞吐量和 Gas Limit，目标是实现 L2 的“每秒万亿 Gas”（Tera Gas per second），即每秒 1000 万笔交易。
  3. 关键技术与解决方案：
    • SNARKs（零知识证明）：在共识层用于高效聚合大量后量子签名，并在执行层用于 ZK-EVMs。
    • LeanVM：一个极简的定制化 ZKVM，仅包含 5 条指令，专门为基于哈希的密码学设计，旨在在所有 C-D-E 层部署以实现协同效应。
    • Poseidon2 哈希函数：被选为精益以太坊的首选哈希函数，因其对 SNARK 友好，能将性能提升 10 倍以上。以太坊基金会正通过研讨会和“Poseidon 奖金”计划来验证其安全性。
    • 签名聚合：通过 SNARKs 和 LeanVM 实现高效、递归和灵活的签名聚合，以支持百万级别的验证者。
    • 形式化验证（Formal Verification）：采用端到端的形式化验证方法，确保 LeanVM 及其数学基础和运行程序的正确性和安全性，甚至利用 AI 进行定理证明。
    • 数据层升级：将数据层迁移到后量子 Blob，利用纠删码（如 Reed-Solomon）和 Merkle 树，并在 LeanVM 中进行验证。
  4. 潜在影响与行业标准：精益以太坊旨在清理技术债务，使信标链对 SNARK 友好，并实现无需信任的钱包和跨链桥。该项目有望为整个区块链行业树立后量子解决方案的新标准，甚至可能被比特币和 Solana 等其他区块链采用。
  5. 团队与协作：项目由一个“精益团队”推动，利用 AI（如 Opus 4.5）加速研发，并通过每周的“后量子中断电话会议”进行协作。