Struct FriRegime 

pub struct FriRegime {
    pub log_blowup: usize,
    pub num_queries: usize,
    pub log_final_poly_len: usize,
    pub max_log_arity: usize,
    pub commit_pow_bits: usize,
    pub query_pow_bits: usize,
}

Security-relevant mirror of p3_fri::FriParameters.

Keep in sync with FriParameters whenever a security-affecting field is added there. There is intentionally no From<FriParameters> impl: the protocol crate assembles this from its own params + instance shape, baking in protocol-specific assumptions at the call site.

Fields

log_blowup: usize

num_queries: usize

log_final_poly_len: usize

max_log_arity: usize

commit_pow_bits: usize

query_pow_bits: usize

Trait Implementations

impl Clone for FriRegime

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for FriRegime

impl Debug for FriRegime

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl LowDegreeTest for FriRegime

fn log_blowup(&self) -> usize

log2 of the LDT blowup factor (rate ρ = 2^{−log_blowup}). The composite uses it to reconstruct the list-decoding list size for the regime returned by Self::best_ldr.

fn proven_error_udr( &self, air: &StarkAirParams, shape: &InstanceShape, ) -> ErrorBits

LDT-only error in the unique-decoding regime.

fn best_ldr( &self, air: &StarkAirParams, shape: &InstanceShape, ) -> Option<(usize, ErrorBits)>

Best list-decoding regime for this instance: the proximity parameter m maximising LDT-only security together with the error attained. None when no valid m exists (e.g. the trace is too small).

fn ldr_candidates( &self, air: &StarkAirParams, shape: &InstanceShape, ) -> Vec<(usize, ErrorBits)>

Every admissible list-decoding regime: the proximity parameter m paired with the LDT-only error attained there.

fn conjectured_error(&self, shape: &InstanceShape) -> ErrorBits

Conjectured LDT error (random-words / heuristic regime).

fn legacy_conjectured_error(&self, _shape: &InstanceShape) -> Option<ErrorBits>

Legacy conjectured LDT error, before the random-words correction.

fn conjectured_terms(&self, shape: &InstanceShape) -> Vec<SecurityTerm>

The conjectured regime’s LDT terms, labeled per phase.