[Dev Tools] cast run/trace does not seem to work with EVM contracts

[coffeexcoin]

Team or Project

Abstract

ZK chain

Abstract

Environment

Mainnet

Select the Dev Tool you are using

Foundry

Provide the version of the tool (if applicable)

cast Version: 1.0.0-foundry-zksync-v0.0.16 Commit SHA: d94da1c47b312741a505fcba82c401c5e43896c2

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

cast run/trace does not generate traces when transactions interact with EVM bytecode contracts:

cast run --zksync --rpc-url https://api.mainnet.abs.xyz 0x1ed3214dc1bfff33dd9815aca57857566336a8175ae37c1750648b8eed240cc9
Executing previous transactions from the block.
⠙ [00:00:55] [########################>-----------------------------------------------------------------------------------------------------------------------------------] 2/13 tx (160.5s)2025-06-03T16:53:50.807238Z ERROR foundry_zksync_core::vm::tracers::error: vm error: Not enough gas
2025-06-03T16:53:50.807748Z ERROR foundry_zksync_core::vm::tracers::error: vm error: Not enough gas
2025-06-03T16:53:50.807756Z ERROR foundry_zksync_core::vm::tracers::error: vm error: Not enough gas
2025-06-03T16:53:50.807769Z ERROR foundry_zksync_core::vm::tracers::error: vm error: Not enough gas
2025-06-03T16:53:50.808150Z ERROR foundry_zksync_core::vm::inspect: tx execution halted: Account validation error: Not enough gas for transaction validation
Traces:
  [270] Seaport::e7acab24{value: 320000000000000}(000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000006e061159fefdfada89302ed55f8b9e89e2d67d8258712b3a3f89aa88525877f1d5e00000000000000000000000049d60a8912a53b907a640dfac3e3461989aa761100000000000000000000000000000000000000000000000000000000000000a00000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000005200000000000000000000000000000000000000000000000000000000000000580000000000000000000000000c19ff01f1fb60c8a20aa86cd9a96a92f362bd7fc000000000000000000000000000056f7000000ece9003ca63978907a00ffd10000000000000000000000000000000000000000000000000000000000000001600000000000000000000000000000000000000000000000000000000000000220000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000683f2615000000000000000000000000000000000000000000000000000000006866b31500000000000000000000000000000000000000000000000000000000000000003d958fe200000000000000000000000000000000000000005654f2f97d4c293861159fefdfada89302ed55f8b9e89e2d67d8258712b3a3f89aa88525877f1d5e000000000000000000000000000000000000000000000000000000000000000300000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000003000000000000000000000000458422e93bf89a109afc4fac00aacf2f18fcf541000000000000000000000000000000000000000000000000000000000000020100000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011307fc94800000000000000000000000000000000000000000000000000000011307fc948000000000000000000000000000c19ff01f1fb60c8a20aa86cd9a96a92f362bd7fc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000174876e800000000000000000000000000000000000000000000000000000000174876e80000000000000000000000000000000a26b00c1f0df003000390027140000faa71900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e8d4a51000000000000000000000000000000000000000000000000000000000e8d4a510000000000000000000000000000fb1302f5d6c5f107a0715b8ce7303d1e3c647807000000000000000000000000000000000000000000000000000000000000004056ea18e052785f636b30a77c489489297b1bdb73c05db8762cb5a4a265fed6d81a6e0dd16bc05cc792a71574715f93278f65a0ea1d9c789b60d864608e69d44700000000000000000000000000000000000000000000000000000000000000a60049d60a8912a53b907a640dfac3e3461989aa761100000000683f275e104d1399e99d5e0440a6724c83aea1cfc6bf9166056b350a52448d5ee932f143daf5670c64339cb1e3d1d80cbe01ebe684567ad3f3053643d807c2dc514ffc47070000000000000000000000000000000000000000000000000000000000000000721c008fdff27bf06e7e123956e2fe03b63342e3963f00d3ff000064ffcba824b800c0000000c300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003d958fe2)
    └─ ← [Return]


Transaction successfully executed.
Gas used: 141147

Repo Link (Optional)

No response

Additional Details

No response

[QuitCrypto]

Some other examples here:
0x2a1e791883da001ba26c76ef77bb4d8d036ae669fc73ebef3bdddc1d32880e06 should purchase an NFT from Seaport and then subsequently transfer it to an EOA. cast run --zksync, cast call --zksync, and anvil-zksync replay_tx all treat Seaport (0x0000000000000068f116a894984e2db1123eb395, which is compiled using EVM equivalence) as empty code - the extcall succeeds but does not execute any logic, causing subsequent dependent logic to fail.

Example calls:

anvil-zksync -vv replay_tx --fork-url $ABSTRACT 0x2a1e791883da001ba26c76ef77bb4d8d036ae669fc73ebef3bdddc1d32880e06

cast run 0x2a1e791883da001ba26c76ef77bb4d8d036ae669fc73ebef3bdddc1d32880e06 -r $ABSTRACT --zksync

cast call 0xAA230C2A3DA79035171ce8e9c0a0778D904534Ec 0xb00b1e5000000000000000000000000000000000000000000000000000000000000000c0000000000000000000000000000000000000000000000000000000000000012000000000000000000000000000000000000000000000000000000000000009400000000000000000000000000bceda01e142ba9f61592c2c770d02173ae220350000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000df8dc877e2c4000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000068f116a894984e2db1123eb3950000000000000000000000005fedb9a131f798e986109dd89942c17c25c81de300000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000040000000000000000000000000000000000000000000000000000000000000076000000000000000000000000000000000000000000000000000000000000006e4e7acab24000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000006c061159fefdfada89302ed55f8b9e89e2d67d8258712b3a3f89aa88525877f1d5e000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000a000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000052000000000000000000000000000000000000000000000000000000000000005800000000000000000000000000fe2d60c63dbcc370db161efca18d0707821ffa7000000000000000000000000000056f7000000ece9003ca63978907a00ffd10000000000000000000000000000000000000000000000000000000000000001600000000000000000000000000000000000000000000000000000000000000220000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000683ee82700000000000000000000000000000000000000000000000000000000684039a700000000000000000000000000000000000000000000000000000000000000003d958fe200000000000000000000000000000000000000009752c20caa553d3461159fefdfada89302ed55f8b9e89e2d67d8258712b3a3f89aa88525877f1d5e0000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000020000000000000000000000005fedb9a131f798e986109dd89942c17c25c81de300000000000000000000000000000000000000000000000000000000000017eb000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000026307fe66eb6000000000000000000000000000000000000000000000000000026307fe66eb60000000000000000000000000000fe2d60c63dbcc370db161efca18d0707821ffa700000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000033ba3e2bee00000000000000000000000000000000000000000000000000000033ba3e2bee0000000000000000000000000000000a26b00c1f0df003000390027140000faa71900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000205466db74c00000000000000000000000000000000000000000000000000000205466db74c0000000000000000000000000009995d38fe4f87c806ebf1c45046af3a6c612fc090000000000000000000000000000000000000000000000000000000000000040ae0b6f9d7806feb3bf01d7a3afdcfc127d92b523b60ca85325257c2673454fd25efb65e1bf027fcd2d9a824ee7a2d401d289e74766680c0a1c4fd326c12e9531000000000000000000000000000000000000000000000000000000000000009200aa230c2a3da79035171ce8e9c0a0778d904534ec00000000683ee95c366dded4dd7c91d3c327d063e0bfe70ece0a5d560ab28a683c977cb591982c4de26f9e106808c651d26da9c0d9168ec84ba697810a8b33df8586b5e3d1c00fa30800000000000000000000000000000000000000000000000000000000000000003203c3f64312af9344e42ef8aa45b97c9dfe45940000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006423b872dd000000000000000000000000aa230c2a3da79035171ce8e9c0a0778d904534ec0000000000000000000000000bceda01e142ba9f61592c2c770d02173ae2203500000000000000000000000000000000000000000000000000000000000017eb00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000002869809251f00000000000000000000000000000000000000000000000000000000000000000000 -f 0x7D79Bd0E4B3dC90665A3ed30Aa6C6c06c89D224E -r $ABSTRACT --trace

For what it's worth, the transaction in question ran OOG in reality, but foundry is unable to reproduce that and fails regardless of gas limit.

[cpb8010]

So here's what I have so far, still working on a larger resolution:

This makes sense. cast run replays tx from the block, if that block has both EraVM contract interactions, and EVM interactions it will fail. This will need to be fixed in both foundry-zksync and maybe anvil-zksync

[dutterbutter]

I will investigate to see how we can support this action. It's obviously necessary to me so will look into supporting.

[dutterbutter]

@coffeexcoin fix inbound: matter-labs/foundry-zksync#1071

Tracing from provided tx hash

cast run --zksync --rpc-url https://api.mainnet.abs.xyz 0x1ed3214dc1bfff33dd9815aca57857566336a8175ae37c1750648b8eed240cc9 -vvvvv --decode-internal
Executing previous transactions from the block.
Traces:
  [1905763] 0x0000000000000068F116a894984e2DB1123eB395::e7acab24{value: 320000000000000}(000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000006e061159fefdfada89302ed55f8b9e89e2d67d8258712b3a3f89aa88525877f1d5e00000000000000000000000049d60a8912a53b907a640dfac3e3461989aa761100000000000000000000000000000000000000000000000000000000000000a00000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000005200000000000000000000000000000000000000000000000000000000000000580000000000000000000000000c19ff01f1fb60c8a20aa86cd9a96a92f362bd7fc000000000000000000000000000056f7000000ece9003ca63978907a00ffd10000000000000000000000000000000000000000000000000000000000000001600000000000000000000000000000000000000000000000000000000000000220000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000683f2615000000000000000000000000000000000000000000000000000000006866b31500000000000000000000000000000000000000000000000000000000000000003d958fe200000000000000000000000000000000000000005654f2f97d4c293861159fefdfada89302ed55f8b9e89e2d67d8258712b3a3f89aa88525877f1d5e000000000000000000000000000000000000000000000000000000000000000300000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000003000000000000000000000000458422e93bf89a109afc4fac00aacf2f18fcf541000000000000000000000000000000000000000000000000000000000000020100000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000011307fc94800000000000000000000000000000000000000000000000000000011307fc948000000000000000000000000000c19ff01f1fb60c8a20aa86cd9a96a92f362bd7fc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000174876e800000000000000000000000000000000000000000000000000000000174876e80000000000000000000000000000000a26b00c1f0df003000390027140000faa71900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e8d4a51000000000000000000000000000000000000000000000000000000000e8d4a510000000000000000000000000000fb1302f5d6c5f107a0715b8ce7303d1e3c647807000000000000000000000000000000000000000000000000000000000000004056ea18e052785f636b30a77c489489297b1bdb73c05db8762cb5a4a265fed6d81a6e0dd16bc05cc792a71574715f93278f65a0ea1d9c789b60d864608e69d44700000000000000000000000000000000000000000000000000000000000000a60049d60a8912a53b907a640dfac3e3461989aa761100000000683f275e104d1399e99d5e0440a6724c83aea1cfc6bf9166056b350a52448d5ee932f143daf5670c64339cb1e3d1d80cbe01ebe684567ad3f3053643d807c2dc514ffc47070000000000000000000000000000000000000000000000000000000000000000721c008fdff27bf06e7e123956e2fe03b63342e3963f00d3ff000064ffcba824b800c0000000c300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003d958fe2)
    ├─ [381822] 0x000056F7000000EcE9003ca63978907a00FFD100::authorizeOrder((0xa000d3750e1e7ff0180680e55ee9ef95e24c939da27bfd98d4d3ae2b345e1efa, 0x49D60A8912a53B907A640Dfac3E3461989AA7611, 0xC19ff01f1fB60c8A20Aa86CD9A96A92f362bD7fC, [(3, 0x458422e93BF89A109afc4fac00aAcF2F18FcF541, 513, 1)], [(0, 0x0000000000000000000000000000000000000000, 0, 302400000000000 [3.024e14], 0xC19ff01f1fB60c8A20Aa86CD9A96A92f362bD7fC), (0, 0x0000000000000000000000000000000000000000, 0, 1600000000000 [1.6e12], 0x0000a26b00c1F0DF003000390027140000fAa719), (0, 0x0000000000000000000000000000000000000000, 0, 16000000000000 [1.6e13], 0xfB1302F5D6c5F107a0715b8Ce7303D1e3C647807)], 0x0049d60a8912a53b907a640dfac3e3461989aa761100000000683f275e104d1399e99d5e0440a6724c83aea1cfc6bf9166056b350a52448d5ee932f143daf5670c64339cb1e3d1d80cbe01ebe684567ad3f3053643d807c2dc514ffc47070000000000000000000000000000000000000000000000000000000000000000721c008fdff27bf06e7e123956e2fe03b63342e3963f00d3ff000064ffcba824b800c0000000c300, [], 1748968981 [1.748e9], 1751560981 [1.751e9], 0x0000000000000000000000000000000000000000000000000000000000000000))
    │   ├─ [144586] 0x721C008fdff27BF06E7E123956E2Fe03B63342e3::beforeAuthorizedTransfer(0x963F00d3ff000064fFCbA824b800c0000000C300, 0x458422e93BF89A109afc4fac00aAcF2F18FcF541)
    │   │   └─ ← [Return] 0x000000000000000000000000000000000000000000000000000000000005cd80
    │   └─ ← [Return] 0x000000000000000000000000000000000000000000000000000000000005e4c001e4d72a00000000000000000000000000000000000000000000000000000000
    ├─ [204] 0xC19ff01f1fB60c8A20Aa86CD9A96A92f362bD7fC::fallback{value: 302400000000000}()
    │   └─ ← [Return]
    ├─ [204] 0x0000a26b00c1F0DF003000390027140000fAa719::fallback{value: 1600000000000}()
    │   └─ ← [Return]
    ├─ [204] 0xfB1302F5D6c5F107a0715b8Ce7303D1e3C647807::fallback{value: 16000000000000}()
    │   └─ ← [Return]
    ├─ [424267] 0x963F00d3ff000064fFCbA824b800c0000000C300::execute([(3, 0x458422e93BF89A109afc4fac00aAcF2F18FcF541, 0xC19ff01f1fB60c8A20Aa86CD9A96A92f362bD7fC, 0x49D60A8912a53B907A640Dfac3E3461989AA7611, 513, 1)])
    │   ├─ [330026] 0x458422e93BF89A109afc4fac00aAcF2F18FcF541::safeTransferFrom(0xC19ff01f1fB60c8A20Aa86CD9A96A92f362bD7fC, 0x49D60A8912a53B907A640Dfac3E3461989AA7611, 513, 1, 0x)
    │   │   ├─ [303137] 0x721C008fdff27BF06E7E123956E2Fe03B63342e3::applyCollectionTransferPolicy(0x963F00d3ff000064fFCbA824b800c0000000C300, 0xC19ff01f1fB60c8A20Aa86CD9A96A92f362bD7fC, 0x49D60A8912a53B907A640Dfac3E3461989AA7611)
    │   │   │   ├─ [177584] 0x721C008fdff27BF06E7E123956E2Fe03B63342e3::27d21f50(0000000000000000000000000000000000000000000000000000000000000002000000000000000000000000458422e93bf89a109afc4fac00aacf2f18fcf541000000000000000000000000963f00d3ff000064ffcba824b800c0000000c300000000000000000000000000c19ff01f1fb60c8a20aa86cd9a96a92f362bd7fc00000000000000000000000049d60a8912a53b907a640dfac3e3461989aa761100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
    │   │   │   │   ├─ [33579] 0x721C008fdff27BF06E7E123956E2Fe03B63342e3::0be200ea(0000000000000000000000000000000000000000000000000000000000000002000000000000000000000000458422e93bf89a109afc4fac00aacf2f18fcf541000000000000000000000000963f00d3ff000064ffcba824b800c0000000c300000000000000000000000000c19ff01f1fb60c8a20aa86cd9a96a92f362bd7fc00000000000000000000000049d60a8912a53b907a640dfac3e3461989aa761100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)
    │   │   │   │   │   └─ ← [Return] 0x000000000000000000000000000000000000000000000000000000000003181f0000000000000000000000000000000000000000000000000000000000000000
    │   │   │   │   └─ ← [Return] 0x00000000000000000000000000000000000000000000000000000000000323fb00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002
    │   │   │   └─ ← [Return]
    │   │   └─ ← [Return]
    │   └─ ← [Return] 0x00000000000000000000000000000000000000000000000000000000000425fa4ce34aa200000000000000000000000000000000000000000000000000000000
    ├─ [246333] 0x000056F7000000EcE9003ca63978907a00FFD100::validateOrder((0xa000d3750e1e7ff0180680e55ee9ef95e24c939da27bfd98d4d3ae2b345e1efa, 0x49D60A8912a53B907A640Dfac3E3461989AA7611, 0xC19ff01f1fB60c8A20Aa86CD9A96A92f362bD7fC, [(3, 0x458422e93BF89A109afc4fac00aAcF2F18FcF541, 513, 1)], [(0, 0x0000000000000000000000000000000000000000, 0, 302400000000000 [3.024e14], 0xC19ff01f1fB60c8A20Aa86CD9A96A92f362bD7fC), (0, 0x0000000000000000000000000000000000000000, 0, 1600000000000 [1.6e12], 0x0000a26b00c1F0DF003000390027140000fAa719), (0, 0x0000000000000000000000000000000000000000, 0, 16000000000000 [1.6e13], 0xfB1302F5D6c5F107a0715b8Ce7303D1e3C647807)], 0x0049d60a8912a53b907a640dfac3e3461989aa761100000000683f275e104d1399e99d5e0440a6724c83aea1cfc6bf9166056b350a52448d5ee932f143daf5670c64339cb1e3d1d80cbe01ebe684567ad3f3053643d807c2dc514ffc47070000000000000000000000000000000000000000000000000000000000000000721c008fdff27bf06e7e123956e2fe03b63342e3963f00d3ff000064ffcba824b800c0000000c300, [0xa000d3750e1e7ff0180680e55ee9ef95e24c939da27bfd98d4d3ae2b345e1efa], 1748968981 [1.748e9], 1751560981 [1.751e9], 0x0000000000000000000000000000000000000000000000000000000000000000))
    │   ├─ [120324] 0x721C008fdff27BF06E7E123956E2Fe03B63342e3::afterAuthorizedTransfer(0x458422e93BF89A109afc4fac00aAcF2F18FcF541)
    │   │   └─ ← [Return] 0x00000000000000000000000000000000000000000000000000000000000402ad
    │   └─ ← [Return] 0x000000000000000000000000000000000000000000000000000000000004128917b1f94200000000000000000000000000000000000000000000000000000000
    └─ ← [Return] 0x0000000000000000000000000000000000000000000000000000000000000001


Transaction successfully executed.
Gas used: 1787658

[dutterbutter]

Released in: https://github.com/matter-labs/foundry-zksync/releases/tag/foundry-zksync-v0.0.19