List of all items

Structs

• OpenedValues
• common::CommonData
• common::GlobalPreprocessed
• common::PreprocessedInstanceMeta
• common::ProverData
• common::ProverOnlyData
• proof::BatchCommitments
• proof::BatchOpenedValues
• proof::BatchProof
• proof::OpenedValuesWithLookups
• prover::StarkInstance
• verifier::VerifierData

Enums

• VerificationError

Traits

• StarkGenericConfig
• config::SGC
• config::StarkGenericConfig

Functions

• common::get_perm_challenges
• config::observe_instance_binding
• prover::prove_batch
• prover::quotient_values
• symbolic::get_constraint_layout
• symbolic::get_log_num_quotient_chunks
• symbolic::get_max_constraint_degree
• symbolic::get_symbolic_constraints
• verifier::verify_batch
• verifier::verify_constraints_with_lookups

Type Aliases

• Domain
• PackedChallenge
• PackedVal
• PcsError
• Val
• config::Challenge
• config::Commitment
• config::Domain
• config::PackedChallenge
• config::PackedVal
• config::PcsError
• config::PcsProof
• config::Val