Bug Report

Kakarot RPC version:
0.6.16

Current behavior:

Transactions for functions that use block.timestamp in require() statements incorrectly fails during gas estimate. When passed a gasLimit (gas estimation step is skipped), the transactions go through.

Expected behavior:

The transactions should go through even when no gasLimit is sent along with the tx.

Steps to reproduce:

1. Copy paste the following code in Remix

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;

contract BlockTimestampDemo {
    uint256 public timestamp;
    mapping(address => uint256) public lastClaimTimes;
    uint256 cooldownDuration = 20;

    function claim() public {
        timestamp = block.timestamp;

        require(block.timestamp >= (lastClaimTimes[msg.sender] + cooldownDuration), "Claim too soon!");

        lastClaimTimes[msg.sender] = block.timestamp;
    }

    function getBlockNumber() public view  returns (uint256)  {
        return block.number;
    }
}

2. Deploy the contract and call the claim() function. The transaction will be successful first time
3. Call claim function again after 20 seconds (cooldown period), this time it should popup the following Gas estimation error message:

4. Go ahead and click on Send Transaction, the transaction will go through
5. Call claim() function again but this time pass gas manually. The transaction should go through this time as well.

Note: Make sure no new blocks are created or transaction executed in between steps 2 and 3 and in between step 4 and 5