[Dev Tools] foundry-zksync non-broadcast (read-only) scripts fail to execute

[ezynda3]

Team or Project

No response

Environment

Mainnet

Select the Dev Tool you are using

Foundry

Provide the version of the tool (if applicable)

nightly-cf0a88d18218471dcf13d62afa4f8fe5335d9740

Provide a brief description of the functionality you're trying to implement and the issue you are running into.

I'm able to use forge scripts to successfully deploy contacts to zksync and other zkevms like Abstract but I can't get read-only scripts to work. For example I want to perform a bunch of actions that aggregate some onchain data and return the result from the script. These are all staticcalls and do not require broadcast to be enabled. However whenever I try this the script always fails with the zk evm being halted and complaining that there isn't enough gas to complete the operation. Any ideas?

Error:

2025-01-28T07:34:57.095586Z ERROR foundry_zksync_core::vm::inspect: balance is 0 for 0x00a3…ea73, transaction will fail
2025-01-28T07:35:47.682410Z ERROR foundry_zksync_core::vm::inspect: tx execution halted: Account validation error: Not enough balance for fee + value

Repo Link (Optional)

No response

Additional Details

No response

[cpb8010]

I'm looking at setting up some foundry scripts to reproduce this, but based on the error message my assumption going in is that the scripts are calling something other than view methods, hence the balance check and failure.

Will try to provide an example of a working read-only foundry script that works so you can compare what you have.

[cpb8010]

So here's a quick read-only script example

// SPDX-License-Identifier: UNLICENSED
pragma solidity ^0.8.13;

import {Script} from "forge-std/Script.sol";
import {console} from "forge-std/console.sol";

contract ReadOnlyScript is Script {
    function run() external view {
        address otherAccountAddress = 0xAf3fDfAb4CA3182Dc58B6E81a4a2D89FdE0214cD;
        console.log("Other account balance:", otherAccountAddress.balance);
    }
}

@ezynda3
Does your script run function have the view modifier?
You say broadcast is disabled, but if you don't configure it all, do you see failures?

I'd need more specific information to help here since it's not like all read-only scripts with zksync forge are broken.

[ezynda3]

So no its not written as view because the script does modify itself. We are calculating some dynamic arrays so can only hold them in storage. This is scoped to the script itself though and not anything on chain. This only fails for zkevm. No other evm chain has this issue...

[cpb8010]

So the working assumption is that the foundry-zksync might be too aggressive in the balance check and failing even when no transaction fee will be incurred? I would not have expected that modifying storage slots would be fee free or qualify as a read-only script.

Without a reproducer I'd suggest adding a balance to the contract address to pass the balance check. If the final execution isn't broadcasting any actual transactions then nothing should be deducted during execution.

[MexicanAce]

@ezynda3 I'm marking the original response from @cpb8010 as the answer for now.

If you are able to send us the script to reproduce this error, please unmark that as the answer so we can continue to investigate further 🙏