Functions§
- link_
and_ run_ tasm_ for_ test - maybe_
write_ tvm_ output_ to_ disk - Store the output from Triton VM’s
prooffunction as files, such that a deterministic proof can be used for debugging purposes. - negative_
test - prepend_
program_ with_ sponge_ init - prepend_
program_ with_ stack_ setup - rust_
final_ state - tasm_
final_ state - test_
assertion_ failure - test_
rust_ equivalence_ given_ complete_ state - test_
rust_ equivalence_ given_ execution_ state - verify_
sponge_ equivalence - verify_
stack_ equivalence - assert stacks are equal, up to program hash
- verify_
stack_ growth