List of all items

Structs

• InitVmState
• RustShadowOutputState
• arithmetic::bfe::primitive_root_of_unity::PrimitiveRootOfUnity
• arithmetic::u128::safe_add::SafeAddU128
• arithmetic::u128::safe_mul_u128::SafeMulU128
• 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::isodd::Isodd
• arithmetic::u32::isu32::Isu32
• arithmetic::u32::leadingzeros::Leadingzeros
• arithmetic::u32::next_power_of_two::NextPowerOfTwo
• arithmetic::u32::or::Or
• arithmetic::u32::overflowingadd::Overflowingadd
• arithmetic::u32::safeadd::Safeadd
• arithmetic::u32::safemul::Safemul
• arithmetic::u32::safepow::Safepow
• arithmetic::u32::safesub::Safesub
• arithmetic::u32::shiftleft::Shiftleft
• arithmetic::u32::shiftright::Shiftright
• 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::LtU64ConsumeArgs
• arithmetic::u64::lt_u64::LtU64PreserveArgs
• arithmetic::u64::mul_two_u64s_to_u128_u64::MulTwoU64sToU128
• arithmetic::u64::or_u64::OrU64
• arithmetic::u64::overflowing_add_u64::OverflowingAdd
• arithmetic::u64::overflowing_sub_u64::OverflowingSub
• 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::wrapping_sub_u64::WrappingSub
• arithmetic::u64::xor_u64::XorU64
• arithmetic::xfe::cube::Cube
• arithmetic::xfe::mod_pow_u32_generic::XfeModPowU32Generic
• arithmetic::xfe::square::Square
• arithmetic::xfe::to_the_fourth::ToTheFourth
• arithmetic::xfe::to_the_power_of_power_of_2::ToThePowerOfPowerOf2
• array::horner_evaluation::HornerEvaluation
• array::inner_product_of_three_rows_with_weights::InnerProductOfThreeRowsWithWeights
• array::inner_product_of_xfes::InnerProductOfXfes
• array::sum_of_bfes::SumOfBfes
• array::sum_of_xfes::SumOfXfes
• data_type::ArrayType
• data_type::StructType
• hashing::absorb_multiple::AbsorbMultiple
• hashing::absorb_multiple_static_size::AbsorbMultipleStaticSize
• hashing::algebraic_hasher::hash_static_size::HashStaticSize
• hashing::algebraic_hasher::hash_varlen::HashVarlen
• hashing::algebraic_hasher::sample_indices::SampleIndices
• hashing::algebraic_hasher::sample_scalar_one::SampleScalarOne
• hashing::algebraic_hasher::sample_scalars::SampleScalars
• hashing::algebraic_hasher::sample_scalars_static_length_dyn_malloc::SampleScalarsStaticLengthDynMalloc
• hashing::algebraic_hasher::sample_scalars_static_length_kmalloc::SampleScalarsStaticLengthKMalloc
• hashing::algebraic_hasher::sample_scalars_static_length_static_pointer::SampleScalarsStaticLengthStaticPointer
• hashing::eq_digest::EqDigest
• hashing::lt_digest::LtDigest
• hashing::merkle_root::MerkleRoot
• hashing::merkle_root_from_xfes_generic::MerkleRootFromXfesGeneric
• hashing::merkle_root_from_xfes_static_size::MerkleRootFromXfesStaticSize
• hashing::merkle_root_from_xfes_wrapper::MerkleRootFromXfesWrapper
• hashing::merkle_step_u64_index::MerkleStepU64Index
• hashing::merkle_verify::MerkleVerify
• hashing::reverse_digest::ReverseDigest
• hashing::sponge_hasher::absorb::Absorb
• hashing::sponge_hasher::init::Init
• hashing::sponge_hasher::pad_and_absorb_all::PadAndAbsorbAll
• hashing::sponge_hasher::squeeze::Squeeze
• hashing::squeeze_repeatedly::SqueezeRepeatedly
• hashing::squeeze_repeatedly_static_number::SqueezeRepeatedlyStaticNumber
• hashing::swap_digest::SwapDigest
• io::read_input::ReadInput
• io::write_to_stdout::WriteToStdout
• library::Library
• library::StaticAllocation
• list::contains::Contains
• list::contiguous_list::get_length::GetLength
• list::contiguous_list::get_pointer_list::GetPointerList
• list::get::Get
• 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::ChainMap
• list::higher_order::zip::Zip
• list::horner_evaluation_dynamic_length::HornerEvaluationDynamicLength
• list::length::Length
• list::multiset_equality_digests::MultisetEqualityDigests
• list::multiset_equality_u64s::MultisetEqualityU64s
• list::new::New
• list::pop::Pop
• list::push::Push
• list::range::Range
• list::set::Set
• list::set_length::SetLength
• list::split_off::SplitOff
• list::swap_unchecked::SwapUnchecked
• 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::leaf_index_to_mt_index_and_peak_index::MmrLeafIndexToMtIndexAndPeakIndex
• mmr::verify_from_memory::MmrVerifyFromMemory
• mmr::verify_from_secret_in_leaf_index_on_stack::MmrVerifyFromSecretInLeafIndexOnStack
• mmr::verify_from_secret_in_secret_leaf_index::MmrVerifyFromSecretInSecretLeafIndex
• mmr::verify_mmr_successor::VerifyMmrSuccessor
• neptune::mutator_set::commit::Commit
• neptune::mutator_set::get_swbf_indices::GetSwbfIndices
• other_snippets::bfe_add::BfeAdd
• snippet_bencher::BenchmarkResult
• snippet_bencher::NamedBenchmarkResult
• structure::tasm_object::MemoryIter
• structure::verify_nd_si_integrity::VerifyNdSiIntegrity
• traits::accessor::AccessorInitialState
• traits::accessor::ShadowedAccessor
• traits::algorithm::AlgorithmInitialState
• traits::algorithm::ShadowedAlgorithm
• traits::closure::ShadowedClosure
• traits::function::FunctionInitialState
• traits::function::ShadowedFunction
• traits::mem_preserver::MemPreserverInitialState
• traits::mem_preserver::ShadowedMemPreserver
• traits::procedure::ProcedureInitialState
• traits::procedure::ShadowedProcedure
• traits::read_only_algorithm::ReadOnlyAlgorithmInitialState
• traits::read_only_algorithm::ShadowedReadOnlyAlgorithm
• verifier::challenges::new_empty_input_and_output::NewEmptyInputAndOutput
• verifier::challenges::new_generic_dyn_claim::NewGenericDynClaim
• verifier::claim::instantiate_fiat_shamir_with_claim::InstantiateFiatShamirWithClaim
• verifier::claim::new_recursive::NewRecursive
• verifier::eval_arg::compute_terminal_const_sized_dynamic_symbols_reversed::ComputeTerminalConstSizedDynamicSymbolsReversed
• verifier::eval_arg::compute_terminal_const_sized_static_symbols::ComputeTerminalConstSizedStaticSymbols
• verifier::eval_arg::compute_terminal_dyn_sized_dynamic_symbols::ComputeTerminalDynSizedDynamicSymbols
• verifier::eval_arg::compute_terminal_from_digest::ComputeTerminalFromDigestInitialIsOne
• verifier::fri::barycentric_evaluation::BarycentricEvaluation
• verifier::fri::collinear_y::CollinearYXfe
• verifier::fri::collinearity_check_x::GetCollinearityCheckX
• verifier::fri::derive_from_stark::DeriveFriFromStark
• verifier::fri::number_of_rounds::NumberOfRounds
• verifier::fri::test_helpers::StarkProofExtraction
• verifier::fri::verify::FriSnippet
• verifier::fri::verify::FriVerify
• verifier::fri::verify_fri_authentication_paths::VerifyFriAuthenticationPaths
• verifier::master_table::air_constraint_evaluation::AirConstraintEvaluation
• verifier::master_table::air_constraint_evaluation::AirConstraintSnippetInputs
• verifier::master_table::divide_out_zerofiers::DivideOutZerofiers
• verifier::master_table::verify_table_rows::ColumnTypeIter
• verifier::master_table::verify_table_rows::VerifyTableRows
• verifier::master_table::zerofiers_inverse::ZerofiersInverse
• verifier::out_of_domain_points::OutOfDomainPoints
• verifier::own_program_digest::OwnProgramDigest
• verifier::read_and_verify_own_program_digest_from_std_in::ReadAndVerifyOwnProgramDigestFromStdIn
• verifier::stark_verify::StarkVerify
• verifier::vm_proof_iter::dequeue_next_as::DequeueNextAs
• verifier::vm_proof_iter::drop::Drop
• verifier::vm_proof_iter::new::New
• verifier::xfe_ntt::XfeNtt

Enums

• array::inner_product_of_three_rows_with_weights::MainElementType
• data_type::DataType
• data_type::Literal
• io::InputSource
• list::contiguous_list::get_length::DummyInnerDataStructureBFieldDecodingError
• list::contiguous_list::get_length::DummyOuterDataStructureBFieldDecodingError
• list::higher_order::inner_function::InnerFunction
• snippet_bencher::BenchmarkCase
• verifier::fri::verify::FriVerifyBFieldDecodingError
• verifier::master_table::air_constraint_evaluation::MemoryLayout
• verifier::master_table::verify_table_rows::ColumnType
• verifier::out_of_domain_points::OodPoint

Traits

• structure::tasm_object::TasmObject
• structure::tasm_object::TasmObjectFieldName
• traits::accessor::Accessor
• traits::algorithm::Algorithm
• traits::basic_snippet::BasicSnippet
• traits::closure::Closure
• traits::compiled_program::CompiledProgram
• traits::deprecated_snippet::DeprecatedSnippet
• traits::function::Function
• traits::mem_preserver::MemPreserver
• traits::procedure::Procedure
• traits::read_only_algorithm::ReadOnlyAlgorithm
• traits::rust_shadow::RustShadow

Macros

• field
• field_with_size

Derive Macros

• prelude::TasmObject
• structure::tasm_object::TasmObject

Functions

• empty_stack
• execute_bench_deprecated
• execute_test
• execute_with_terminal_state
• exported_snippets::name_to_snippet
• generate_full_profile
• io::write_words
• linker::execute_bench
• linker::link_for_isolated_run
• maybe_write_debuggable_program_to_disk
• maybe_write_debuggable_vm_state_to_disk
• memory::encode_to_memory
• memory::first_free_nd_address
• memory::last_populated_nd_memory_address
• memory::load_words_from_memory_leave_pointer
• memory::load_words_from_memory_pop_pointer
• memory::nd_memory_region
• memory::write_words_to_memory_leave_pointer
• memory::write_words_to_memory_pop_pointer
• prove_and_verify
• push_encodable
• rust_shadowing_helper_functions::array::array_from_memory
• rust_shadowing_helper_functions::array::array_get
• rust_shadowing_helper_functions::array::insert_as_array
• rust_shadowing_helper_functions::array::insert_random_array
• rust_shadowing_helper_functions::claim::load_claim_from_memory
• rust_shadowing_helper_functions::dyn_malloc::dynamic_allocator
• 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::list::insert_random_list
• rust_shadowing_helper_functions::list::list_get
• rust_shadowing_helper_functions::list::list_get_length
• rust_shadowing_helper_functions::list::list_insert
• rust_shadowing_helper_functions::list::list_new
• rust_shadowing_helper_functions::list::list_pointer_to_elem_pointer
• rust_shadowing_helper_functions::list::list_pop
• rust_shadowing_helper_functions::list::list_push
• rust_shadowing_helper_functions::list::list_set
• rust_shadowing_helper_functions::list::list_set_length
• rust_shadowing_helper_functions::list::load_list_unstructured
• rust_shadowing_helper_functions::list::load_list_with_copy_elements
• rust_shadowing_helper_functions::list::untyped_insert_random_list
• rust_shadowing_helper_functions::non_leaf_nodes_left
• snippet_bencher::bench_and_write
• snippet_bencher::benchmark_snippet_deprecated
• snippet_bencher::write_benchmarks
• structure::tasm_object::decode_from_memory_with_size
• test_helpers::link_and_run_tasm_for_test
• test_helpers::link_and_run_tasm_for_test_deprecated
• test_helpers::maybe_write_tvm_output_to_disk
• test_helpers::negative_test
• test_helpers::prepend_program_with_sponge_init
• test_helpers::prepend_program_with_stack_setup
• test_helpers::rust_final_state
• test_helpers::tasm_final_state
• test_helpers::test_assertion_failure
• test_helpers::test_rust_equivalence_given_complete_state
• test_helpers::test_rust_equivalence_given_execution_state
• test_helpers::test_rust_equivalence_given_execution_state_deprecated
• test_helpers::test_rust_equivalence_given_input_values_deprecated
• test_helpers::test_rust_equivalence_multiple_deprecated
• test_helpers::verify_sponge_equivalence
• test_helpers::verify_stack_equivalence
• test_helpers::verify_stack_growth
• traits::compiled_program::bench_and_profile_program
• traits::compiled_program::test_rust_shadow
• verifier::fri::test_helpers::extract_fri_proof
• verifier::vm_proof_iter::shared::vm_proof_iter_type

Type Aliases

• Digest
• VmHasher
• list::higher_order::map::Map

Constants

• hashing::merkle_verify::MERKLE_AUTHENTICATION_ROOT_MISMATCH_ERROR
• library::STATIC_MEMORY_FIRST_ADDRESS
• library::STATIC_MEMORY_LAST_ADDRESS
• list::LIST_METADATA_SIZE
• memory::FIRST_NON_DETERMINISTICALLY_INITIALIZED_MEMORY_ADDRESS
• memory::LAST_ADDRESS_AVAILABLE_FOR_NON_DETERMINISTICALLY_ALLOCATED_MEMORY
• memory::dyn_malloc::DYN_MALLOC_ADDRESS
• memory::dyn_malloc::DYN_MALLOC_FIRST_ADDRESS
• memory::dyn_malloc::DYN_MALLOC_FIRST_PAGE
• memory::dyn_malloc::DYN_MALLOC_PAGE_SIZE
• memory::dyn_malloc::NUM_ALLOCATABLE_PAGES
• mmr::MAX_MMR_HEIGHT
• structure::tasm_object::DEFAULT_MAX_DYN_FIELD_SIZE
• verifier::out_of_domain_points::NUM_OF_OUT_OF_DOMAIN_POINTS