ModExp

本文对以太坊 zkEVM 上的预编译操作进行了审核，涵盖了 ModExp、ECAdd、ECMul 和 ECPairing 操作及其对应的零知识电路构造。审查重点在于算法实现的正确性、输入验证、边界条件处理以及计算逻辑向电路约束的正确转换。虽然发现了一些优化和最佳实践方面的问题，但总体而言，代码库展现了对安全问题的良好关注。

Forkcast 介绍了以太坊未来升级 Fusaka 的相关信息，Fusaka 升级主要包括 PeerDAS、eth/69、MODEXP 限制、交易 Gas 上限、ModExp Gas 成本增加等多个 EIP，旨在提高以太坊的可扩展性、用户体验和网络稳定性，并为 Layer 2 解决方案提供更好的支持。

Fusaka 是以太坊扩展路线图中的一个重要步骤，引入了PeerDAS和关键改进，增强了blob吞吐量、L1性能和用户体验。本次升级包括PeerDAS、ModExp优化、交易Gas限制上限、网络协议优化、Gas限制增加、secp256r1预编译、Count Leading Zeros操作码等。

Fusaka 是以太坊主网的一次重大升级，它通过 PeerDAS 实现了 blob 吞吐量的扩展，优化了执行层和共识层，提高了 L1 的性能和用户体验。此次升级包括 PeerDAS、ModExp 优化、交易 Gas 限制、网络协议优化等关键特性，旨在提升以太坊的可扩展性和效率。

本文分析了以太坊Fusaka升级的关键变化及其对智能合约安全性的潜在影响。Fusaka引入了blob扩展、DoS抵抗措施和新功能，包括交易Gas上限、MODEXP输入大小限制与Gas成本增加、CLZ操作码、secp256r1曲线预编译等，开发者应关注这些变化并进行充分测试，确保应用在升级后正常运行。