Upgrade Pacaya Inbox protocol for bug fixing (v2)

🔬 DAO Proposals
1

Proposal description

This new proposal replaces https://dao.taiko.xyz/plugins/emergency-council/#/proposals/24. So please do not approve proposal 24.

The bug

In TaikoInbox.sol, within the _verifyBatches function, there is a for-loop that iterates to find the next batch to verify. If the next batch is not verifiable, the current implementation mutates some variables that live outside the loop scope. These side effects can corrupt the final verification result.

The fix ensures there are no such “dirty” side effects. When the next batch is not verifiable, the correct data is still written on-chain.

Before this proposal:

Inbox Proxy (0x06a9Ab27c7e2255df1815E6CC0168d7755Feb19a)

→ PacayaForkRouter (0xbB1f830636e1A017b81C3E38b7f6219344149Eb7)
→ TaikoInbox.sol (0xaF95C030c7b8994Ba9213B6A3964baa64E7dF9D8)

### After this proposal:

Inbox Proxy (0x06a9Ab27c7e2255df1815E6CC0168d7755Feb19a)

→ TaikoInbox.sol (0xB0600e011e02eD35A142B45B506B16A35493c3F5)

### Code Diff

**https://codediff.taiko.xyz/?addr=0xaF95C030c7b8994Ba9213B6A3964baa64E7dF9D8&newimpl=0xB0600e011e02eD35A142B45B506B16A35493c3F5&chainid=1

Latest Status:**

  • Status: Executed

  • Type: Emergency Proposal