Intermittent Finalization Failure

[bxpana]

As shown in zkSync-Community-Hub/zksync-developers#719, zkSync-Community-Hub/zksync-developers#711, and zkSync-Community-Hub/zksync-developers#636 there are intermittent issues where finalizing and claiming withdrawals from https://portal.zksync.io/ does not work as expected and results in the error message:

Error Message:
Fee estimation error: The contract function "finalizeWithdrawal" reverted with the following reason:
xx

[popzxc]

Error originates from _proveL2LogInclusion function:

    /// @dev Prove that a specific L2 log was sent in a specific L2 batch number
    function _proveL2LogInclusion(
        uint256 _batchNumber,
        uint256 _index,
        L2Log memory _log,
        bytes32[] calldata _proof
    ) internal view returns (bool) {
        require(_batchNumber <= s.totalBatchesExecuted, "xx");
      // ...

I guess the contract is invoked with invalid parameters (at the very least -- batch number) under some circumstances.

[popzxc]

I also see that we have something like this to report that withdrawal is already finalized, but:

1. According to the reports, I guess it's not true?
2. Looking at reported error messages, looks like now there is a newline in the error, so this handler probably doesn't work.

[popzxc]

Hopefully, this has been fixed by #197. If not, let's reopen.