Vitalik Buterin：以太坊状态证明方案仍面临数据存储难题
相关推荐
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更新以太坊路线图：量子安全、隐私保护和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 总结称，以太坊未来将继续朝向“
Vitalik：以太坊正准备自The Merge以来最大规模升级
Odaily星球日报讯 Vitalik Buterin 表示，Ethereum 正准备自 The Merge 以来最大规模升级。（Solid Intel）
Vitalik：MiniMax H3是首个超越混元Video 1.5的开源视频模型
PANews 8月7日消息，以太坊联合创始人Vitalik Buterin发文表示，MiniMax H3是他见过的首个性能超越腾讯混元HunyuanVideo 1.5的开源视频模型，并称腾讯混元能够长期保持领先本身是一项令人印象深刻的成就。 Vitalik表示，此前图像和视频生成领域的前沿模型相比文本大模型正变得更加封闭，H3则是推动该领域重新走向开放的重要一步。他同时展示了一段由H3生成的视频，称其在自己的AMD笔记本电脑上耗时约30分钟完成。
Vitalik：Signal 正探索无需手机号注册，真正隐私仍需「逐条消息不可关联」
Foresight News 消息，以太坊联合创始人 Vitalik Buterin 发文称，Signal 近期宣布正在探索让用户无需手机号码即可注册账户，他对此表示欢迎，并认为此举有助于减少对电话号码这一高度寡头垄断系统的依赖、降低因 SIM 卡互换带来的身份安全风险，同时也能使各国政府更难以国籍为由向 Signal 施压以封禁本国用户。 Vitalik 同时指出，该举措在隐私保护上虽优于现状，但仅实现了「保密性」，尚未达到真正的匿名，因为消息发送时间、频率、对象等元数据仍可能被用于身份关联拼凑。他认为，随着人工智能技术发展，长期持久化的匿名账户已趋于过时，唯一具备可辩护性的隐私形式是「逐条消息不可关联」，即除收发双方外无人知晓通信双方身份，该方向目前正由 Session、SimpleX 等新型通讯工具及混币网络项目探索推进，此外垃圾信息与拒绝服务攻击的防护也将成为下一步需要解决的重点问题。
Vitalik：Diamond iO 探索程序“隐身”新范式，或推动隐私计算迈向新阶段
火星财经消息，以太坊联合创始人 Vitalik Buterin 发布最新文章，介绍新型密码学混淆技术 Diamond iO。该技术旨在解决传统不可区分混淆方案效率极低的问题，使程序能够在隐藏内部逻辑和关键数据的情况下运行。传统 iO 技术虽然具备强大的隐私保护能力，但运行成本高到几乎无法实践，而 Diamond iO 通过采用更激进的新型密码学假设，将计算效率从“宇宙级耗时”提升至“行星级耗时”，距离实际应用进一步靠近。Diamond iO 基于属性加密（ABE）和全同态加密（FHE）等技术构建，通过对程序进行加密，使用户可以执行加密后的程序并获得正确输出，却无法查看其内部代码或隐藏密钥。该方案引入新的输入编码机制和条件解密方式，在保证程序逻辑隐藏的同时降低计算复杂度。其核心应用场景包括保护包含私钥的程序、实现安全的软件授权、构建无需信任的密码学服务，以及支持更强隐私保护的区块链和人工智能系统。不过，Diamond iO 目前仍处于早期研究阶段，其安全性依赖于包括 All-Product LWE 和 Evasive LWE 在内的新型密码学假设，尚需更多研究验证。同时，该技术仍面临计算开销大、电路深度限制等效率挑战。研究人员认为，通过优化底层哈希函数、改进同态加密方案以及降低安全参数要求，未来 Diamond iO 有望成为推动实用化程序混淆技术发展的重要方向。