V神呼吁移除减缓以太坊ZK扩容的Modexp预编译

Buterin表示,modexp使得ZK-EVM计算比平均以太坊区块重达50倍。

他提议一个新的EIP,用等效的EVM代码替换modexp,尽管这会导致更高的燃料费用。

Modexp的低效减缓了ZK-rollup的进展,目前仍有少数应用需要传统函数。

以太坊联合创始人Vitalik Buterin呼吁开发者移除网络的模块化指数运算预编译,称其为高效零知识(ZK)扩展的最大障碍之一。

在最近的一篇X帖子中,布特林表示,预编译是“迄今为止最糟糕的罪犯”,对于ZK-EVM证明器效率来说,他指出它可以使计算比平均区块重达50倍。他建议起草一个新的以太坊改进提案(EIP),以用等效的EVM代码替代该功能,即使这需要更高的燃气费用。

遗留功能造成重大瓶颈

modexp 预编译,这是以太坊的早期组件,处理模幂运算——这是 RSA 加密和数字签名中的核心操作。虽然在早期的加密系统中至关重要,但这一特性现在阻碍了以太坊向零知识技术的演进。

Buterin承认,他最初设计的代码已经成为现代扩展工具的“负担”。根据他的帖子,modexp的低效增加了ZK证明生成成本,并减缓了ZK-rollups和ZK-EVMs等技术的发展。

这些工具依赖快速验证来处理链外交易,并在以太坊上安全确认。然而,布特林还强调,modexp复杂的代码路径产生了潜在的共识风险,增加了以太坊长期维护的复杂性。

低使用率引发对必要性的质疑

尽管其复杂性,仍然只有少数应用依赖于modexp。Buterin指出,使用它的大多数功能,例如RSA验证或桥接安全检查,可以过渡到基于SNARKs的更高级系统——这些是有效处理零知识计算的密码学证明。他补充说,维护modexp的优化需要“英雄般的努力”,考虑到其最低的采用率,这并不足以证明其继续使用的合理性。

相反,用标准的以太坊虚拟机(EVM)字节码替换modexp可以简化生态系统。虽然这一变化会增加仍然依赖于它的少数用户的燃料费用,但它将大大减少计算负载,并为其他所有人简化ZK证明生成。

更广泛推动高效密码学

布特林的批评符合他对以太坊的密码学基础进行现代化的更广泛运动。上个月,他详细介绍了GKR协议,这是一种能够在标准硬件上处理每秒两百万次计算的验证方法。

这项技术可以使用比传统方法更少的资源来验证复杂的以太坊计算。他最近的提议还强调了创建明确的基准,以衡量零知识和全同态加密的性能。

与单纯追求速度不同,布特林主张评估在转向先进的加密系统时损失了多少效率。这种方法与他持续努力确保以太坊的核心在网络深入 ZK 基础计算时仍然高效、可扩展和安全的目标是一致的。

Vitalik Buterin 呼吁移除减缓以太坊 ZK 扩展的 Modexp 预编译,出现在 Crypto Front News 上。访问我们的网站,阅读更多关于加密货币、区块链技术和数字资产的有趣文章。

ETH-10.5%
查看原文
此页面可能包含第三方内容,仅供参考(非陈述/保证),不应被视为 Gate 认可其观点表述,也不得被视为财务或专业建议。详见声明
  • 赞赏
  • 评论
  • 转发
  • 分享
评论
0/400
暂无评论
交易,随时随地
qrCode
扫码下载 Gate App
社群列表
简体中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)