EIP-7823: Set upper bounds for MODEXP

EIPs EIPs core
1

Discussion topic for EIP-7823

Update Log

External Reviews

None as of 2024-11-11.

Outstanding Issues

  • Need to run a full sync to extract edge cases / uses outside the limits.
  • Verify that no reasonable use case exists outside of the limits.
2

We set the exactly same limit on the zkEVM: zkevm-rom/main/precompiled/pre-modexp.zkasm at v9.0.0-rc.2-fork.13 · 0xPolygonHermez/zkevm-rom · GitHub
More context on why we decided to set up that limit is explained in this issue: Computing the maximum ModExp input length · Issue #419 · 0xPolygonHermez/zkevm-rom · GitHub

This EIP will also make life easier to Rollups in order to be fully compliant with Ethereum.

2 Likes
3

Thank you @krlosmata, that is very useful feedback. Will incorporate some of this into the EIP.

1 Like