Vitalik Buterin 推动以太坊计划,大幅降低量子安全隐私成本

区块链文库报道:

以太坊联合创始人希望量子安全隐私交易成本降低99%以上

以太坊联合创始人维塔利克·布特林(Vitalik Buterin)周三表示,他希望看到一项提案被纳入未来的网络升级中,该提案旨在将量子安全的隐私交易成本降低99%以上。

通过EIP-8288优化验证成本

布特林于今年6月共同起草的EIP-8288提案,旨在将最繁重的密码学计算移出网络的执行路径。目前,后量子签名的大小约为2至3千字节,验证所需的Gas费用在150,000到200,000之间。而STARK证明的情况更为严峻,其大小超过128千字节,若快速生成则可达512千字节,导致验证Gas费用高达数百万。

布特林在推文中指出,目前一笔设计良好的隐私交易成本约为300,000 Gas,若要实现量子安全,成本则高达约1,000万Gas。而在EIP-8288提案下,这两项成本都将降至数万Gas的低水平。

链下依赖声明与递归证明机制

该方案的核心在于完全不在链上直接部署密码学运算。取而代之的是,交易仅声明一个“依赖关系”——即简短地声称某条消息由某个密钥签名,或某些数据满足某种证明,这一声明仅需96字节。内存池节点随后每秒收集这些声明,并生成一个单一的递归STARK证明,一次性涵盖所有声明,然后将其传递给区块。最终,每个区块仅携带一个覆盖其中所有内容的证明。

RISC-V作为递归证明的通用语言

递归证明需要一种通用的语言来表达语句,目前的领先候选者是RISC-V,这是一种用于芯片设计的开源指令集。采纳该提案将使RISC-V成为以太坊事实上的标准指令集。布特林称这是一个“重大决定”,需谨慎对待,但他认为这是必要的举措。

早在七月,布特林就在“精益以太坊”(Lean Ethereum)路线图草案中提出了类似的构想。该路线图计划在未来三到四年内重建几乎所有主要的协议组件,并将递归STARK置于核心地位。

其他应用场景:私有账户抽象

布特林还勾勒了另一个应用场景:私有账户抽象。即在链上隐藏账户的逻辑,然后在单笔交易中更改与该账户关联的所有头寸和持有的所有权,而无需揭示具体细节。

实施时间表与未来展望

EIP-8288由布特林与托马斯·科拉格(Thomas Coratger)共同撰写,其依赖于周日所推广的交易重构方案Frames(该方案本身尚未安排具体时间)。布特林希望将两者都纳入I-star升级中,这是Hegota之后的下一次升级,也是他在“精益时代”开始前的最后一次以太坊升级。目前,这两个方案均未分配到具体的硬分叉中。

© 版权声明
THE END
喜欢就支持一下吧
分享