List of all items

Structs

• InitVmState
• RustShadowOutputState
• arithmetic::bfe::primitive_root_of_unity::PrimitiveRootOfUnity
• arithmetic::i128::lt::Lt
• arithmetic::i128::shift_right::ShiftRight
• arithmetic::u128::lt::Lt
• arithmetic::u128::overflowing_add::OverflowingAdd
• arithmetic::u128::safe_add::SafeAdd
• arithmetic::u128::safe_mul::SafeMul
• arithmetic::u128::shift_left::ShiftLeft
• arithmetic::u128::shift_left_static::ShiftLeftStatic
• arithmetic::u128::shift_right::ShiftRight
• arithmetic::u128::shift_right_static::ShiftRightStatic
• arithmetic::u128::sub::Sub
• arithmetic::u32::is_odd::IsOdd
• arithmetic::u32::is_u32::IsU32
• arithmetic::u32::leading_zeros::LeadingZeros
• arithmetic::u32::next_power_of_two::NextPowerOfTwo
• arithmetic::u32::or::Or
• arithmetic::u32::overflowing_add::OverflowingAdd
• arithmetic::u32::safe_add::SafeAdd
• arithmetic::u32::safe_mul::SafeMul
• arithmetic::u32::safe_pow::SafePow
• arithmetic::u32::safe_sub::SafeSub
• arithmetic::u32::shift_left::ShiftLeft
• arithmetic::u32::shift_right::ShiftRight
• arithmetic::u32::trailing_zeros::TrailingZeros
• arithmetic::u64::add::Add
• arithmetic::u64::and::And
• arithmetic::u64::decr::Decr
• arithmetic::u64::div2::Div2
• arithmetic::u64::div_mod::DivMod
• arithmetic::u64::incr::Incr
• arithmetic::u64::leading_zeros::LeadingZeros
• arithmetic::u64::log_2_floor::Log2Floor
• arithmetic::u64::lt::Lt
• arithmetic::u64::lt_preserve_args::LtPreserveArgs
• arithmetic::u64::mul_two_u64s_to_u128::MulTwoU64sToU128
• arithmetic::u64::or::Or
• arithmetic::u64::overflowing_add::OverflowingAdd
• arithmetic::u64::overflowing_sub::OverflowingSub
• arithmetic::u64::popcount::PopCount
• arithmetic::u64::pow2::Pow2
• arithmetic::u64::safe_mul::SafeMul
• arithmetic::u64::shift_left::ShiftLeft
• arithmetic::u64::shift_right::ShiftRight
• arithmetic::u64::sub::Sub
• arithmetic::u64::trailing_zeros::TrailingZeros
• arithmetic::u64::wrapping_mul::WrappingMul
• arithmetic::u64::wrapping_sub::WrappingSub
• arithmetic::u64::xor::Xor
• arithmetic::xfe::mod_pow_u32::XfeModPowU32
• 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::hash_from_stack::HashFromStack
• hashing::lt_digest::LtDigest
• hashing::merkle_root::MerkleRoot
• hashing::merkle_root_from_xfes::MerkleRootFromXfes
• hashing::merkle_step_mem_u64_index::MerkleStepMemU64Index
• hashing::merkle_step_u64_index::MerkleStepU64Index
• hashing::merkle_verify::MerkleVerify
• 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
• io::read_input::ReadInput
• io::write_to_stdout::WriteToStdout
• library::Library
• library::StaticAllocation
• list::contains::Contains
• 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
• 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
• prelude::Digest
• prelude::Tip5
• snippet_bencher::BenchmarkResult
• snippet_bencher::NamedBenchmarkResult
• structure::verify_nd_si_integrity::VerifyNdSiIntegrity
• traits::accessor::AccessorInitialState
• traits::accessor::ShadowedAccessor
• traits::algorithm::AlgorithmInitialState
• traits::algorithm::ShadowedAlgorithm
• traits::basic_snippet::Reviewer
• traits::basic_snippet::SignOffFingerprint
• 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::higher_order::inner_function::InnerFunction
• snippet_bencher::BenchmarkCase
• structure::auto_generated_tasm_object_implementations::FakeClaimBFieldDecodingError
• structure::auto_generated_tasm_object_implementations::FakeFriResponseBFieldDecodingError
• structure::auto_generated_tasm_object_implementations::FakeMmrAccumulatorBFieldDecodingError
• structure::auto_generated_tasm_object_implementations::FakeMmrMembershipProofBFieldDecodingError
• structure::auto_generated_tasm_object_implementations::FakeMmrSuccessorProofBFieldDecodingError
• 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::TasmStruct
• structure::tasm_object::TasmStructFieldName
• traits::accessor::Accessor
• traits::algorithm::Algorithm
• traits::basic_snippet::BasicSnippet
• traits::basic_snippet::SignedOffSnippet
• traits::closure::Closure
• traits::compiled_program::CompiledProgram
• 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
• exported_snippets::name_to_snippet
• generate_full_profile
• io::write_words
• linker::execute_bench
• 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::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
• snippet_bencher::write_benchmarks
• structure::tasm_object::decode_from_memory_with_size
• test_helpers::link_and_run_tasm_for_test
• 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::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

• list::higher_order::map::Map

Constants

• 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