Paranoid 开发者提出 EIP-8288 异构递归与认证类库方案
相关推荐
ZeroDev 创始人:EIP-8288 拟利用内存池并行聚合证明,提升以太坊扩展能力
Foresight News 消息,ZeroDev 创始人 Derek Chiang 分享以太坊改进提案 EIP-8288(又名「递归内存池聚合」)的可视化解读。其表示,该方案将以太坊的去中心化交易内存池用作并行零知识证明集群:客户端提交签名和证明后,由内存池节点经过多轮递归聚合,逐步减少证明数量,最终由区块构建者聚合为单个区块级证明。 Chiang 称,这一设计可通过增加节点提升签名及证明处理能力,同时保持单个节点的证明传输带宽需求稳定,且无需随处理量增长而提高区块构建者的硬件要求。验证者仅需检查一个聚合证明,即可验证数千个签名和证明。此外,该方案可将不同签名方案封装为 STARK 证明,以支持包括后量子签名在内的多种密码学方案。Chiang 认为,该设计有望支持每秒数万笔后量子及隐私交易,并降低单笔交易的验证 Gas 开销。EIP-8288 目前仍处于草案阶段,上述性能为其对方案潜力的描述。 此前,Vitalik Buterin 于 10 月 19 日表示,其认为支持各类密码学方案的理想路径是 EIP-8288。
Vitalik:以太坊可通过 EIP-8288 支持各类签名算法,无需再新增预编译
火星财经消息,Vitalik Buterin (@VitalikButerin) 发文称,支持各类密码学算法的理想路径是通过 EIP-8288:用户在本地生成任意签名,再通过 STARK 证明,并经由 STARK 聚合器上链,链上无需占用 calldata,以太坊也因此无需再添加新的预编译。他同时表示,若格密码(Lattice)被证明具备抗 AI 攻击的安全性,未来仍可通过预编译将其用于账户、钱包等场景。此前,Starknet 联合创始人 Eli Ben-Sasson 对 a16z 相关观点表示反对,认为格密码具有丰富的数学结构,易被 AI 攻击,且基于模块 SIS 的简洁版本自 2012 年才出现、成熟度不足,建议再等待 3-5 年,待 AI 充分检验后再用于托管大额资产。
Vitalik:区块链已从单纯的账本进化成了基于密码学的安全计算网络
Foresight News 现场报道,以太坊联创 Vitalik Buterin 在第十二届区块链全球峰会上发表主旨演讲,其表示,区块链在诞生之初,其本身是主要的工具,虽然有开放、中立、安全等特点,但不可扩展且完全透明,并没有隐私保护机制。 之后,零知识证明带来的隐私交易与可扩展验证改变这一局面,且已经从未来的规划成为了实际的 EIP,被列入了以太坊的路线图中。此外,全同态加密等技术也开始被应用,不可区分混淆(指将任意计算机程序转换成功能相同但内部逻辑完全被隐藏的「加密程序」)未来也可能被应用在链上。 隐私之外,区块的并行构建与证明,能让极致的可扩展性成为可能,也让行业对「我们的目标是什么」的思考有了一些改变:现在 Web3 行业的思考已经从数字资产转变为数字资产 + 信息;从单纯的链上到用户端、交易内存池、链上一整套流水线;以及从谁能发送什么到谁能看到什么等。 当下,区块链已经从单纯的账本逐渐成为基于密码学的安全计算网络。并且随着 AI 的发展,通过将密码学规则提供给 AI,让 AI 进行自动的形式化验证可以大幅提升验证效率,让链可以承载更多的可能性。
Vitalik:希望EIP-8288纳入I-star升级,大幅降低量子安全交易成本
BlockBeats 消息,9 月 9 日,以太坊联合创始人 Vitalik Buterin 发文介绍递归 STARK 内存池提案 EIP-8288,希望将其纳入 Hegota 之后的 I-star 升级。该提案通过将签名和证明移至以太坊核心执行路径之外,并在内存池中递归聚合 STARK,以降低链上计算及数据成本。 Vitalik 表示,该方案可支持低成本量子安全签名与隐私协议。其中,量子安全隐私交易的成本有望从约 1000 万 Gas 降至数万 Gas,并可在无需修改 EVM 的情况下兼容 Falcon、ML-DSA 等新签名或证明方案,同时支持私密账户抽象。 按照设计,节点将定期聚合交易依赖并生成递归 STARK,区块构建者再为拟纳入区块的交易生成证明。每个区块的链上额外开销约为一个 100 至 300 KB 的 STARK,以及每项待证明声明 96 字节的数据。该方案还可能推动以太坊将 RISC-V 确立为递归 STARK 的标准指令集。
Vitalik:网络安全将偏向防御有利局面,但过渡期艰难需更深层次转变
Foresight News 消息,Vitalik Buterin 发推表示,其并未预测、也不会预测防御会「自动领先」于进攻。其预计网络安全最终将偏向防御有利局面,但过渡过程会很艰难。「好人在已发布软件中比坏人更早发现漏洞」本身并非防御有利的博弈。要实现防御优势,需要在方法论上进行更深层次转变,包括形式化验证、积极最小化可信计算基(TCB)等,而目前这些转变才刚刚起步。其表示,这一区分也是其继续支持放缓 / 暂停的重要原因,并认为需要超过 GDP 的 1% 投入网络安全、生物安全及物理世界加固。
Vitalik:以太坊应将繁重密码学计算移至客户端,链上只验证证明与结果
PANews 10月19日消息,以太坊联合创始人Vitalik Buterin在X平台进一步阐述EIP-8288路线,认为预编译合约和EVM都不是承载以太坊大多数密码学支持的理想位置,因为两者依赖需纳入链上的数据,通常意味着占用区块中的calldata空间。他表示,即使采用PeerDAS和blocks-in-blobs,数据吞吐量在约8MB/s以上也会开始面临实际压力。 Vitalik主张,以太坊应被视为“密码学世界计算机”,不必放入数据与执行“主线程”的内容就不应占用主线程。