Vitalik:不会放弃隐私,反而将进一步加码
相关推荐
Vitalik Buterin:SNARKs 有望在本世纪末实现低开销运行
火星财经消息,据 Cointelegraph 报道,以太坊联合创始人 Vitalik Buterin 表示,SNARKs、FHE 和 iO 三项技术有 60% 的可能性最终能够以不到 10 倍的开销运行,其中 SNARKs 最有可能率先实现,预计将于本世纪末落地。
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 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 总结称,以太坊未来将继续朝向“
Paradigm年度会议Frontiers将于10月在旧金山举行,涵盖稳定币、AI等多个议题
PANews 7月14日消息,Paradigm普通合伙人兼首席技术官Georgios Konstantopoulos在X平台发文称,Paradigm年度会议兼黑客马拉松Frontiers将于2026年10月12日至14日在旧金山举行。会议采用定向邀请制,无展位和赞助商,议题涵盖稳定币、人工智能、机器人学、后量子密码学等前沿领域,面向走在最前沿的极客和开发者。申请通道现已开放。
Vitalik:墨子接近原始有效利他主义者
火星财经消息,以太坊创始人 Vitalik Buterin 发文表示:由于许多人正在了解有效利他主义,值得了解古代中国哲学家墨子,他出人意料地接近原始有效利他主义者(特别是关注全球健康的那种,而不是关注 AI 风险的那种)。Vitalik 称,墨子重视两个目标:兼爱,即爱所有人而不仅仅是自己和与自己相似或亲近的人;以及高效使用有限资源,以最有效地帮助人们。