List of all items

Structs

• aet::AlgebraicExecutionTrace
• aet::TableHeight
• arithmetic_domain::ArithmeticDomain
• challenges::Challenges
• error::ParseError
• error::VMError
• example_programs::CALCULATE_NEW_MMR_PEAKS_FROM_APPEND_WITH_SAFE_LISTS
• example_programs::FIBONACCI_SEQUENCE
• example_programs::GREATEST_COMMON_DIVISOR
• example_programs::MERKLE_TREE_AUTHENTICATION_PATH_VERIFY
• example_programs::MERKLE_TREE_UPDATE
• example_programs::PROGRAM_WITH_MANY_U32_INSTRUCTIONS
• example_programs::VERIFY_SUDOKU
• execution_trace_profiler::ExecutionTraceProfile
• execution_trace_profiler::ProfileLine
• execution_trace_profiler::VMTableHeights
• fri::Fri
• memory_layout::DynamicTasmConstraintEvaluationMemoryLayout
• memory_layout::MemoryRegion
• memory_layout::StaticTasmConstraintEvaluationMemoryLayout
• prelude::BFieldElement
• prelude::Digest
• prelude::ParseError
• prelude::Program
• prelude::Tip5
• prelude::XFieldElement
• prelude::tip5::Digest
• prelude::tip5::Tip5
• profiler::VMPerformanceProfile
• proof::Claim
• proof::Proof
• proof_item::FriResponse
• proof_item::ProofItemVariantIter
• proof_stream::ProofStream
• stark::Prover
• stark::Stark
• stark::Verifier
• table::ConstraintTypeIter
• table::degree_lowering::DegreeLoweringAuxColumnIter
• table::degree_lowering::DegreeLoweringMainColumnIter
• table::degree_lowering::DegreeLoweringTable
• table::master_table::MasterAuxTable
• table::master_table::MasterMainTable
• table::op_stack::OpStackTableEntry
• table::ram::RamTableCall
• table::u32::U32TableEntry
• vm::NonDeterminism
• vm::PublicInput
• vm::VM
• vm::VMState

Enums

• config::CacheDecision
• error::ArithmeticDomainError
• error::FriProvingError
• error::FriSetupError
• error::FriValidationError
• error::InstructionError
• error::NumberOfWordsError
• error::OpStackElementError
• error::OpStackError
• error::ProgramDecodingError
• error::ProofStreamError
• error::ProvingError
• error::VerificationError
• prelude::InstructionError
• prelude::LabelledInstruction
• prelude::NumberOfWordsError
• prelude::OpStackElementError
• prelude::OpStackError
• prelude::ProgramDecodingError
• prelude::TableId
• prelude::tip5::Tip5BFieldDecodingError
• proof::ClaimBFieldDecodingError
• proof::ProofBFieldDecodingError
• proof_item::FriResponseBFieldDecodingError
• proof_item::ProofItem
• proof_item::ProofItemBFieldDecodingError
• proof_item::ProofItemVariant
• proof_item::ProofItemVariantBFieldDecodingError
• proof_stream::ProofStreamBFieldDecodingError
• table::ConstraintType
• table::degree_lowering::DegreeLoweringAuxColumn
• table::degree_lowering::DegreeLoweringMainColumn
• vm::CoProcessorCall
• vm::PublicInputBFieldDecodingError

Traits

• memory_layout::IntegralMemoryLayout
• prelude::AIR
• prelude::BFieldCodec
• prelude::FiniteField
• table::auxiliary_table::Evaluable
• table::master_table::MasterTable

Macros

• prelude::bfe
• prelude::bfe_array
• prelude::bfe_vec
• prelude::triton_asm
• prelude::triton_instr
• prelude::triton_program
• prelude::xfe
• prelude::xfe_array
• prelude::xfe_vec

Derive Macros

• prelude::BFieldCodec

Functions

• config::overwrite_lde_trace_caching_to
• constraints::dynamic_air_constraint_evaluation_tasm
• constraints::static_air_constraint_evaluation_tasm
• fri::barycentric_evaluate
• profiler::finish
• profiler::start
• prove
• prove_program
• table::master_table::all_quotients_combined
• table::master_table::consistency_quotient_zerofier_inverse
• table::master_table::initial_quotient_zerofier_inverse
• table::master_table::interpolant_degree
• table::master_table::randomized_trace_len
• table::master_table::terminal_quotient_zerofier_inverse
• table::master_table::transition_quotient_zerofier_inverse
• verify

Type Aliases

• fri::AuthenticationStructure
• table::AuxiliaryRow
• table::MainRow
• table::QuotientSegments

Constants

• memory_layout::MEM_PAGE_SIZE
• prelude::tip5::CAPACITY
• prelude::tip5::LOG2_STATE_SIZE
• prelude::tip5::LOOKUP_TABLE
• prelude::tip5::MDS_MATRIX_FIRST_COLUMN
• prelude::tip5::NUM_ROUNDS
• prelude::tip5::NUM_SPLIT_AND_LOOKUP
• prelude::tip5::RATE
• prelude::tip5::ROUND_CONSTANTS
• prelude::tip5::STATE_SIZE
• proof::CURRENT_VERSION
• stark::NUM_QUOTIENT_SEGMENTS
• stark::NUM_RANDOMIZER_POLYNOMIALS