--detailed-resources are incorrectly higher than reality.

[feltroidprime]

Select Tool

snforge

Foundry Version

0.44.0

What operating system are you using?

Linux

What system architecture are you using?

x86

Issue Description

VM resources and gas are much higher than reality. Also confirmed by xp on transactions.

https://github.com/feltroidprime/sp1-starknet-template

Checkout this repo, go into contracts.
Simply update snforge_std to latest 0.44, use latest cairo profiler as well.

snforge test --detailed resources 
[PASS] sp1_app_integrationtest::test_contract::test_verify_sp1_proof (l1_gas: ~0, l1_data_gas: ~96, l2_gas: ~266600000)
        steps: 518573
        memory holes: 23957
        builtins: (range_check96: 166615, range_check: 23091, mul_mod: 20868, add_mod: 14463, bitwise: 4460, poseidon: 1362, pedersen: 7)
        syscalls: (LibraryCall: 2, Sha256ProcessBlock: 2, Deploy: 1, CallContract: 1)

On the other hand, see the cairo profiler output for steps which is much smaller (all other builtins are similarly impacted and higher than the ones shown in the profiler, for example bitwise is actually 2 times less in the profiler, etc):

Command Line Output

No response