Crate tasm_lib

Re-exports

• pub use triton_vm;
• pub use triton_vm::twenty_first;

Modules

• arithmetic
• array
• data_type
• exported_snippets
• hashing
• io
• library
• linker
• list
• memory
  Memory convention used in this crate:
• mmr
• neptune
• other_snippets
• prelude
  Re-exports the most commonly-needed APIs of TASM Lib.
• rust_shadowing_helper_functions
• snippet_bencher
• structure
• test_helpers
• traits
• verifier

Macros

• field
  Convenience macro, so that we don’t have to write
• field_with_size
  Convenience macro, so that we don’t have to write

Structs

• InitVmState
• RustShadowOutputState

Functions

• empty_stack
• execute_bench_deprecated
  Execute a Triton-VM program and return its output and execution trace length
• execute_test
  Execute a Triton-VM program and test correct behavior indicators. Modify stack and memory. Panic if anything goes wrong.
• execute_with_terminal_state
  Prepare state and run Triton VM
• generate_full_profile
  A thin wrapper around VM::profile.
• maybe_write_debuggable_program_to_diskDeprecated
• maybe_write_debuggable_vm_state_to_disk
  If the environment variable “TRITON_TUI” is set, write the initial VM state to file vm_state.json.
• prove_and_verify
  Run prover on the program, with stack-initialization converted to code.
• push_encodable

Type Aliases

• Digest
• VmHasher