Vitalik发布“局部混合”密码学研究:探索下一代混淆技术,或成为新型密码学基础原语
相关推荐
Vitalik发文详解本地混淆方案 local mixing 推动可行 iO 研究
PANews 8月21日消息,以太坊联合创始人Vitalik发布新文,系统介绍第三类程序混淆思路“local mixing”(本地混合),尝试在不依赖椭圆曲线、因数分解或格假设的前提下,用类似对称加密与哈希设计传统的办法构建可行的混淆电路。
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:比特币社区在UTXO创新上值得肯定,以太坊扩容将融合多种状态模型优势
Odaily星球日报讯 以太坊联合创始人 Vitalik Buterin 在 X 平台发文表示,比特币社区在推动相关技术理念发展方面值得认可,包括 Utreexo 等 UTXO(未花费交易输出)状态优化方案。目前以太坊正在探索的扩容路线,正是在实践中融合不同区块链状态模型的优势。 Vitalik Buterin 指出,以太坊希望同时拥有 UTXO 模式状态、动态状态以及两者之间方案的优势,使绝大多数网络活动能够实现“超级扩容”(hyperscale),同时不牺牲去中心化、节点运行便利性以及抗审查能力。 Vitalik Buterin 称,未来以太坊扩容并非简单复制某一种架构,而是希望通过结合不同设计理念,在提升吞吐能力的同时,保持网络开放性和安全性。 其中,Utreexo 是比特币生态提出的一种状态压缩方案,通过引入累加器技术减少节点存储负担,使全节点运行更加轻量化,被认为有助于提升比特币长期可扩展性。
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发文详解混淆协议(iO)主线背后的整个技术树
PANews 6月29日消息,Vitalik Buterin发文《Obfuscation: building the final boss of cryptography (Part I)》,系统梳理混淆协议(iO)主线背后的整个技术树。文章指出,混淆技术可将程序转换为“加密程序”,在隐藏内部逻辑的同时允许对明文输入进行计算,理论上可实现“无需信任的受信第三方”,与区块链结合可构建近乎无需信任的投票系统、拍卖协议等多种应用。然而,当前iO方案的运行时间虽然技术上为多项式时间,但实际开销巨大,预计运行时间超过宇宙寿命。