snarkVM
snarkVM copied to clipboard
[Test] Execution cost.
This PR follows on #2369 with two tests checking that the finalize cost is calculated correctly.
The finalize cost of an execution is the finalize cost of its root transition.
This should be equal to the sum of the cost of all commands in each finalize block in each transition in the execution.
As a by product, this PR also refactors the cost utilities to support command_cost which returns the cost of a command.
Why does this PR touch non-test code?