Re-exports§
pub use triton_vm;pub use triton_vm::twenty_first;
Modules§
- arithmetic
- array
- data_
type - exported_
snippets - hashing
- io
- library
- linker
- list
- List operations, mimicking
Vecin some ways (but not in others). - memory
- Memory convention used in this crate:
- mmr
- neptune
- 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§
Functions§
- empty_
stack - generate_
full_ profile - A thin wrapper around
VM::profile. - maybe_
write_ debuggable_ vm_ state_ to_ disk - If the environment variable TASMLIB_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