Vitalik:Diamond iO 探索程序“隐身”新范式,或推动隐私计算迈向新阶段
相关推荐
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 Buterin:以太坊状态证明方案仍面临数据存储难题
Odaily星球日报讯 以太坊联合创始人 Vitalik Buterin 在 X 平台回应状态存储问题时表示,当前状态证明方案的核心问题在于,需要存储并持续更新用于验证证明的数据,而这些数据规模最终几乎与整个链上状态一样庞大。虽然已有一些可行解决方案,但都包含大量复杂组件,并且相较当前以太坊架构需要作出不同程度的权衡与取舍。
Vitalik:更多人应该了解 Interfold,一个针对投票等场景优化的隐私协议
Foresight News 消息,Vitalik Buterin 发文表示,更多人应该了解 Interfold。这基本上就是他近十年来一直呼吁人们使用 MACI 想法构建的东西,现在它以通用形式存在。其核心理念是:一个针对投票等场景优化的隐私协议,该机制生成一个阈值加密密钥,用户通过链上提交投票,并使用零知识证明(ZKP)来证明其投票资格。投票结果会在全同态加密(FHE)框架内进行任意计算,然后使用阈值进行解密。
Vitalik:让公司更「理想主义」的最坏结果是发展放缓,最好结果是获得社区支持
Foresight News 消息,以太坊联合创始人 Vitalik Buterin 发推表示,若一家公司为了坚守原则而变得更「教条」(如让 Richard Stallman 对谷歌拥有否决权),最坏的结果是该公司发展放缓,但其他公司仍会继续推进技术进步。对于 AGI、军事技术等敏感领域,这种放缓在历史上可能是坏事,但在当前语境下或许是可接受甚至有利的。而最好的结果则是,一家真正与社区价值观深度契合的公司,能够获得社区自发的支持、人才和营销资源,这种支持是单纯通过金钱难以获得的。其认为,此前部分 AI 公司尝试通过有效利他主义(Effective Altruism)实现类似效果,但由于后果主义容易被腐蚀,最终效果有限。
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:MiniMax H3是首个超越混元Video 1.5的开源视频模型
PANews 8月7日消息,以太坊联合创始人Vitalik Buterin发文表示,MiniMax H3是他见过的首个性能超越腾讯混元HunyuanVideo 1.5的开源视频模型,并称腾讯混元能够长期保持领先本身是一项令人印象深刻的成就。 Vitalik表示,此前图像和视频生成领域的前沿模型相比文本大模型正变得更加封闭,H3则是推动该领域重新走向开放的重要一步。他同时展示了一段由H3生成的视频,称其在自己的AMD笔记本电脑上耗时约30分钟完成。