List of all items
Structs
- ExecutionResult
- ExecutionState
- VmOutputState
- arithmetic::u128::add_u128::AddU128
- arithmetic::u128::shift_left_static_u128::ShiftLeftStaticU128
- arithmetic::u128::shift_left_u128::ShiftLeftU128
- arithmetic::u128::shift_right_static_u128::ShiftRightStaticU128
- arithmetic::u128::shift_right_u128::ShiftRightU128
- arithmetic::u128::sub_u128::SubU128
- arithmetic::u32::is_odd::U32IsOdd
- arithmetic::u32::is_u32::IsU32
- arithmetic::u32::leading_zeros_u32::LeadingZerosU32
- arithmetic::u32::or::OrU32
- arithmetic::u32::safe_add::SafeAdd
- arithmetic::u32::safe_mul::SafeMul
- arithmetic::u32::safe_sub::SafeSub
- arithmetic::u32::shift_left::ShiftLeftU32
- arithmetic::u32::shift_right::ShiftRightU32
- arithmetic::u64::add_u64::AddU64
- arithmetic::u64::and_u64::AndU64
- arithmetic::u64::decr_u64::DecrU64
- arithmetic::u64::div2_u64::Div2U64
- arithmetic::u64::div_mod_u64::DivModU64
- arithmetic::u64::double_pow2_u64::DoublePow2U64
- arithmetic::u64::eq_u64::EqU64
- arithmetic::u64::incr_u64::IncrU64
- arithmetic::u64::index_of_last_nonzero_bit::IndexOfLastNonZeroBitU64
- arithmetic::u64::leading_zeros_u64::LeadingZerosU64
- arithmetic::u64::log_2_floor_u64::Log2FloorU64
- arithmetic::u64::lt_u64::LtStandardU64
- arithmetic::u64::lt_u64::LtU64
- arithmetic::u64::or_u64::OrU64
- arithmetic::u64::popcount_u64::PopCountU64
- arithmetic::u64::pow2_u64::Pow2U64
- arithmetic::u64::safe_mul_u64::SafeMulU64
- arithmetic::u64::shift_left_u64::ShiftLeftU64
- arithmetic::u64::shift_right_u64::ShiftRightU64
- arithmetic::u64::sub_u64::SubU64
- arithmetic::u64::wrapping_mul_u64::WrappingMulU64
- arithmetic::u64::xor_u64::XorU64
- hashing::eq_digest::EqDigest
- hashing::hash_varlen::HashVarlen
- hashing::load_auth_path_from_secret_in_safe_list::LoadAuthPathFromSecretInSafeList
- hashing::load_auth_path_from_secret_in_unsafe_list::LoadAuthPathFromSecretInUnsafeList
- hashing::load_auth_path_from_std_in_safe_list::LoadAuthPathFromStdInSafeList
- hashing::load_auth_path_from_std_in_unsafe_list::LoadAuthPathFromStdInUnsafeList
- hashing::reverse_digest::ReverseDigest
- hashing::sample_indices::SampleIndices
- hashing::swap_digest::SwapDigest
- io::load_from_input::LoadFromInput
- io::load_struct_from_input::LoadStructFromInput
- io::read_secret::ReadSecret
- io::read_stdin::ReadStdIn
- list::contiguous_list::get_length::GetLength
- list::contiguous_list::get_pointer_list::GetPointerList
- list::higher_order::all::All
- list::higher_order::filter::Filter
- list::higher_order::inner_function::NoFunctionBody
- list::higher_order::inner_function::RawCode
- list::higher_order::map::Map
- list::higher_order::zip::Zip
- list::multiset_equality::MultisetEquality
- list::range::Range
- list::safe_u32::get::SafeGet
- list::safe_u32::length::SafeLength
- list::safe_u32::new::SafeNew
- list::safe_u32::pop::SafePop
- list::safe_u32::push::SafePush
- list::safe_u32::set::SafeSet
- list::safe_u32::set_length::SafeSetLength
- list::unsafe_u32::get::UnsafeGet
- list::unsafe_u32::length::UnsafeLength
- list::unsafe_u32::new::UnsafeNew
- list::unsafe_u32::pop::UnsafePop
- list::unsafe_u32::push::UnsafePush
- list::unsafe_u32::set::UnsafeSet
- list::unsafe_u32::set_length::UnsafeSetLength
- memory::dyn_malloc::DynMalloc
- memory::memcpy::MemCpy
- memory::push_ram_to_stack::PushRamToStack
- mmr::bag_peaks::BagPeaks
- mmr::calculate_new_peaks_from_append::CalculateNewPeaksFromAppend
- mmr::calculate_new_peaks_from_leaf_mutation::MmrCalculateNewPeaksFromLeafMutationMtIndices
- mmr::data_index_to_node_index::DataIndexToNodeIndex
- mmr::get_height_from_data_index::GetHeightFromDataIndex
- mmr::leaf_index_to_mt_index::MmrLeafIndexToMtIndexAndPeakIndex
- mmr::left_child::MmrLeftChild
- mmr::leftmost_ancestor::MmrLeftMostAncestor
- mmr::load_from_secret_in_then_verify::MmrLoadFromSecretInThenVerify
- mmr::non_leaf_nodes_left::MmrNonLeafNodesLeftUsingAnd
- mmr::right_child::MmrRightChild
- mmr::right_child_and_height::MmrRightChildAndHeight
- mmr::right_lineage_count_and_own_height::MmrRightLineageCountAndHeight
- mmr::right_lineage_length::MmrRightLineageLength
- mmr::verify_from_memory::MmrVerifyFromMemory
- mmr::verify_from_secret_in::MmrVerifyLeafMembershipFromSecretIn
- neptune::mutator_set::commit::Commit
- neptune::mutator_set::get_swbf_indices::GetSwbfIndices
- other_snippets::bfe_add::BfeAdd
- pseudo::lsb::Lsb
- pseudo::neg::Neg
- pseudo::sub::Sub
- recufier::merkle_tree_ap_verify_from_secret_input::MtApVerifyFromSecretInput
- snippet_bencher::BenchmarkResult
- snippet_state::DummyTestSnippetA
- snippet_state::DummyTestSnippetB
- snippet_state::DummyTestSnippetC
- snippet_state::SnippetState
- structure::get_field::GetField
- structure::get_field_with_size::GetFieldWithSize
Enums
- list::ListType
- list::higher_order::inner_function::InnerFunction
- snippet::DataType
- snippet::InputSource
- snippet_bencher::BenchmarkCase
Traits
Functions
- execute_bench
- execute_test
- execute_with_execution_state
- exported_snippets::name_to_snippet
- get_init_tvm_stack
- push_encodable
- rust_shadowing_helper_functions::dyn_malloc::dynamic_allocator
- rust_shadowing_helper_functions::dyn_malloc::rust_dyn_malloc_initialize
- rust_shadowing_helper_functions::input::read_digest_from_secret_in
- rust_shadowing_helper_functions::input::read_digest_from_std_in
- rust_shadowing_helper_functions::input::write_digest_to_secret_in
- rust_shadowing_helper_functions::input::write_digest_to_std_in
- rust_shadowing_helper_functions::input::write_dummy_ap_path
- rust_shadowing_helper_functions::input::write_value_to_secret_in
- rust_shadowing_helper_functions::non_leaf_nodes_left
- rust_shadowing_helper_functions::safe_list::safe_insert_random_list
- rust_shadowing_helper_functions::safe_list::safe_list_get
- rust_shadowing_helper_functions::safe_list::safe_list_get_length
- rust_shadowing_helper_functions::safe_list::safe_list_insert
- rust_shadowing_helper_functions::safe_list::safe_list_new
- rust_shadowing_helper_functions::safe_list::safe_list_pop
- rust_shadowing_helper_functions::safe_list::safe_list_push
- rust_shadowing_helper_functions::safe_list::safe_list_set
- rust_shadowing_helper_functions::safe_list::safe_list_set_length
- rust_shadowing_helper_functions::unsafe_list::unsafe_insert_random_list
- rust_shadowing_helper_functions::unsafe_list::unsafe_list_get
- rust_shadowing_helper_functions::unsafe_list::unsafe_list_get_length
- rust_shadowing_helper_functions::unsafe_list::unsafe_list_insert
- rust_shadowing_helper_functions::unsafe_list::unsafe_list_new
- rust_shadowing_helper_functions::unsafe_list::unsafe_list_pop
- rust_shadowing_helper_functions::unsafe_list::unsafe_list_push
- rust_shadowing_helper_functions::unsafe_list::unsafe_list_set
- rust_shadowing_helper_functions::unsafe_list::unsafe_list_set_length
- rust_shadowing_helper_functions::unsafe_list::untyped_unsafe_insert_random_list
- snippet_bencher::bench_and_write
- snippet_bencher::benchmark_snippet
- snippet_bencher::write_benchmarks
- structure::get_field::init_state_field_i_in_struct
- structure::get_field::pseudorandom_struct
- structure::get_field::random_struct
- test_helpers::test_rust_equivalence_given_execution_state
- test_helpers::test_rust_equivalence_given_input_values
- test_helpers::test_rust_equivalence_given_input_values_and_initial_stacks_and_memories
- test_helpers::test_rust_equivalence_multiple