Vitalik:新版Solidity编译器已发布
相关推荐
Vitalik:递归STARK内存池可降低量子安全签名与隐私交易成本
Odaily星球日报讯 Vitalik 在 X 平台发文表示,希望将递归 STARK 内存池提案 EIP-8288 纳入以太坊 I-star 升级,并称其可被视为 Frames 之后的下一步。该方案可将量子安全签名数据置于链下,使签名成本降低;量子安全隐私交易的燃料成本也有望从约 1000 万降至数万。方案通过依赖帧和递归 STARK 聚合交易依赖,节点每个时间周期发送一个约 100 至 300KB 的 STARK;链上额外开销为一个 STARK 及每条待证明语句 96 字节。
Vitalik:通用型STARK性能已超早期预期,未来计算开销或降至两位数
Odaily星球日报讯 以太坊联合创始人 Vitalik Buterin 表示,Poseidon 哈希函数系列经过多年研发,已在以太坊及其他领域产生重要实际价值,并将在未来数年持续发挥作用。现代隐私协议能够快速在客户端生成 SNARK 证明,Poseidon 正是其中的重要原因之一。 Vitalik 指出,如今通用型 STARK 已实现极高性能,几乎任何批量计算的证明开销都已降至三位数水平,而未来有望进一步降至两位数甚至更低,这一进展甚至超出了 2020 年代初期的预期。
Vitalik:EIP-8141交易类型将为以太坊未来数年的去中心化超大规模扩展做准备
Odaily星球日报讯 Vitalik 在 X 平台发文表示,围绕交易格式的近期研究使以太坊对交易中的“动作”和“依赖”有了更明确的理解,二者可以分别进行优化;签名、UTXO 的 Merkle 证明和 ZK-SNARK 或 STARK 属于依赖,发送 ETH 的调用属于动作。依赖可以并行处理,涉及状态的依赖可由内存池处理,纯依赖则可在内存池层处理一次,并可能由 STARK 证明替代,从而减少执行和数据处理。Vitalik 指出,以太坊当前扩容策略需要明确区分动态灵活与可静态分析的部分,后者可获得更低的 Gas 成本;按交易量计算,超过 90%的以太坊活动不需要动态灵活性。EIP-8141 交易类型正朝通用、极简的调用列表方向发展,新状态类型、递归 STARK 内存池和键控 nonce 也属于这一方向。
Vitalik发布“局部混合”密码学研究:探索下一代混淆技术,或成为新型密码学基础原语
Odaily星球日报讯 以太坊联合创始人 Vitalik Buterin 发布最新文章《Obfuscation(第三部分):Local Mixing》,深入介绍一种正在探索中的密码学混淆技术路线——“局部混合”(Local Mixing),并称其可能成为继椭圆曲线、RSA 和格密码之后的新型密码学基础工具。 Vitalik 表示,当前主流混淆技术主要依赖复杂数学假设,但往往存在极高计算开销;而局部混合采用完全不同的思路,不依赖椭圆曲线、大整数分解或格密码,而是借鉴对称密码学和哈希函数设计经验,通过不断打乱、重构和隐藏电路结构,在保持功能不变的情况下消除信息泄露。局部混合技术主要包括可逆化(reversibility)、强化处理(hardening)、混合(mixing)、分割(splitting)、交叉移动(crossing walk)以及“组件化”(gadgetization)等步骤,通过向电路中加入随机结构、重新排列逻辑门以及非线性隐藏机制,使攻击者难以恢复原始计算逻辑。 Vitalik 指出,该技术仍处于早期阶段,安全性尚未经过长期验证,并面临随机攻击、线性分析等挑战。不过,他认为局部混合代表了一条全新的密码学探索路径,其目标是构建更高效的不可区分混淆(iO)方案。如果局部混合技术取得突破,将可能带来新的抗量子公钥加密方案,并推动通用混淆技术发展。目前该领域仍需要多年密码分析和优化验证,但 AI 辅助研究可能显著加快这一成熟过程。 Vitalik 称,混淆技术被视为密码学“最后前沿”,因为理论上其他密码学原语都可以基于混淆和单向函数构建,而局部混合不仅可能降低传统混淆方案的成本,也可能成为未来密码学基础设施的重要方向。
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 总结称,以太坊未来将继续朝向“