Vitalik提出“极致精简链”方案：验证者每日提交STARK证明，状态存储压缩至6字节
相关推荐
Vitalik Buterin 发布新提案，提议将共识层状态大幅缩减至仅保留 6 字节
Foresight News 消息，Vitalik Buterin 发布「The Extremely Lean Chain」新提案。其中提案核心是将当前 Beacon 链中每个验证者存储的状态（公钥、提款凭证、激活 / 退出 epoch 等）大幅精简，仅保留 6 字节（1 字节有效余额 + 5 字节存款树索引）。验证者需自行跟踪存款默克尔证明，并通过每日生成的 STARK 证明来异步更新有效余额和参与记录，而非由链上每 epoch 实时处理。 提案计划分为多阶段推进：移除公钥存储，改用存款树索引，并通过每日 STARK 证明完成余额更新；随后引入每日公钥刷新机制，实现验证者身份的强匿名化，同时自然支持 Single Secret Leader Election（SSLE）。该设计在单槽最终性（SSF）和递归 STARK 等 Lean 升级背景下被认为可行，目标是显著降低共识层状态开销和计算负担，支持验证者数量扩展至数百万级别，同时在高级版本中提供较强的隐私保护。
Vitalik 发文概述以太坊长期路线图，Lean Ethereum 将成第三次重大迭代
ChainCatcher 消息，据 Vitalik Buterin 发文，以太坊研究人员近期在柏林召开会议，更新了协议长期发展路线图（strawmap.org）。Vitalik 指出，“Lean Ethereum”并非单次升级，而是将在未来三至四年内分阶段落地的系列改进，其重要程度堪比“合并”，几乎涵盖协议每个核心模块的重构。主要内容包括：验证机制：引入递归 STARKs，取代现有直接重执行方式，成为协议一级核心组件；量子安全：优先级大幅提升，所有量子脆弱组件将被替换，量子安全 Blob 设计已在推进中；共识层：解耦可用链与最终性，实现一至两轮最终性，安全性更优、延迟更低；状态层：现有动态状态保持不变，但将新增可扩展性更强的新型状态（如 UTXO 存储、环形缓冲区等），预计 2030 年以太坊将拥有 2 TB 动态状态 + 100 TB 新型状态，ERC20、NFT 等应用迁移后可实现超 10 倍 Gas 费用降低；隐私：从附加功能升级为一级目标，贯穿 Mempool、状态树等设计；VM：EVM 之外将引入 leanISA 或 RISC-V，长期目标是协议层仅直接。
Vitalik：Ethereum 当前路线图新增强隐私、后量子扩容与原生 Rollup 等方向
ChainCatcher 消息，Vitalik 在 X 平台发文表示，其已更新 2023 年路线图示意图，将当时列出的项目叠加到当前 Strawmap 中的对应位置。总体而言，两者有很多重叠，但部分事项的顺序已重新调整，例如量子安全优先级上调；部分事项优先级下调，例如 VDF 和许多 EVM 改进；部分事项被更优的构造替代，例如 Verkle 演进为 unified BT 再到 PBT，状态过期被新状态类型替代。不过，最明显的是，Strawmap 中出现了一些完全新增、且不在该示意图中的内容，因为这些内容不在 2023 年路线图中，反映了优先级变化。主要包括：对强隐私给予一等重视，包括密钥化 Nonce 和近期根、FOCIL 的部分内容、lean privacy pool 与 Wormholes；围绕后量子场景推进扩容，包括 leanSPHINCS 签名及聚合、zkzk frames；推进规范 Lean 化，以协助形式化验证。对所有内容进行完整形式化验证之所以可行，得益于现代 AI；Blob 和 Gas 期货，这一概念在 2023 年还不存在；原生 Rollup，2023 年时 SNARK 远未成熟到可以考虑这一方向；为“EVM 的未来”提供更加开放的设计空间。zkzk frames 已经意味着，协议将向用户提供某种非 EVM 的 ISA，目前的主要候选包括 leanISA 和 RISC-V。这些 ISA 比 EVM 更简单、更现代且更高效。在引入这些 ISA 后，可以将其向所有开发者开放，并将 EVM 转变为构建在该 ISA 之上的中间表示（IR），而不是作为会大幅增加基础协议复杂度的内置特性。不过，其中更深入的探索即使对 Strawmap 而言也还为时过早；新状态类型不仅是状态过期的替代方案，也是 Ethereum 扩容方式的根本性不同范式。他表示，扩容领域的一个共同主题体现在状态类型和 zkzk frames 这两项新想法中：与其尝试最大化扩展所有 Ethereum 活动，不如创建具有限制性属性、因而更适合扩容的专用机制，同时承载当前及未来用户和应用产生的最大负载，例如代币转账、兑换以及隐私协议。另一个共同主题是将 STARK 和 AI 加速的形式化验证视为一等对象，并将 Ethereum 的技术未来建立在其上。协议的多个层级中都存在递归 STARK，其中一个特定原语“aggregate to union
Vitalik更新以太坊路线图：量子安全、隐私保护和AI辅助形式化验证成为新重点
Odaily星球日报讯 以太坊联合创始人 Vitalik Buterin 在 X 平台发文表示，他已更新 2023 年以太坊路线图，并将此前路线图中的技术方向与当前“Strawmap”计划进行对比。Vitalik 称，两者整体存在较大重叠，但部分技术优先级和实现路径已发生变化。 Vitalik 表示，一些方向被重新排序，例如量子安全技术的重要性被进一步提升；部分项目优先级下降，包括 VDF（可验证延迟函数）以及部分 EVM 改进方案；另一些技术路线则被更先进的方案替代，例如 Verkle Tree 演进为统一 BT（Binary Tree），状态过期（state expiry）则转向新的状态类型设计。 Vitalik 指出，当前路线图中最明显的变化，是加入了一些 2023 年路线图中尚不存在的新方向，反映出以太坊未来发展的重点转移，包括： 强化隐私保护：以太坊将更加重视原生隐私能力，相关方向包括键控随机数（keyed nonces）、近期状态根（recent roots）、FOCIL 部分设计、轻量隐私池（lean privacy pool）以及 wormholes 等； 面向后量子时代的扩容方案：包括 LeanSPHINCS 签名、签名聚合以及 zkzk frames 等技术； 精简协议规范，推动形式化验证：Vitalik 认为，借助现代 AI 工具，对整个以太坊协议进行形式化验证正在成为可能； Blob 和 Gas 期货机制：这一方向在 2023 年路线图制定时尚未出现； 原生 Rollup 支持：随着零知识证明技术成熟，以太坊开始探索更深层次的 Rollup 集成； 重新设计未来 EVM 架构：未来以太坊可能引入更简单、高效的新型指令集（ISA），例如 LeanISA 和 RISC-V，并探索让 EVM 成为其上的中间表示（IR）。 Vitalik 表示，未来以太坊扩容思路正在发生变化：相比于让整个网络无限扩展所有类型活动，以太坊将更多采用专用化机制，通过针对特定场景设计更高效的结构，满足当前及未来高负载需求，例如代币转账、交易以及隐私协议。 此外，Vitalik 强调，STARK 证明技术和 AI 辅助形式化验证将成为以太坊技术发展的核心基础。他表示，递归 STARK 将在协议多个层面发挥作用，而大规模应用这些复杂密码学结构，需要依赖形式化验证保障安全性。 Vitalik 总结称，以太坊未来将继续朝向“
前 StarkWare 总法律顾问加入 Chainlink Labs 担任法律主管
Foresight News 消息，前 StarkWare 总法律顾问 Katherine Kirkpatrick Bos 宣布已加入 Chainlink Labs 担任法律主管。
以太坊创始人 Vitalik 使用 RAILGUN 转移 79 ETH
PANews 7月3日消息，据Onchain Lens报道，以太坊联合创始人 Vitalik Buterin 通过隐私协议 RAILGUN 转出 79 枚 ETH，按当前价格约合13.7万美元。