Suggesting an ILookaheadManager interface

[dantaik]

The current PreconfTaskManager implementation contains both lookahead management code and general Taiko interaction logic. It might be a good idea to split off a Lookahead.sol file and move all lookahead-related code there, including the proveIncorrectLookahead function.

Additionally, I recommend moving proveIncorrectPreconfirmation to ReceiptProver.sol, as its logic is largely decoupled from the rest of the code in PreconfTaskManager. You may also consider renaming PreconfirmationHeader to PreconfReceipt to better reflect its purpose.

Smaller files make it easy for third-parties to review the code.

[dantaik]

Please see my partial untested re-implementation in:

• ReceiptProver
• Lookahead

[AnshuJalan]

Looks neat. We will consider this interfacing for the future changes