Struct RegimeReport 

pub struct RegimeReport {
    pub regime: Regime,
    /* private fields */
}

Full soundness breakdown within a single proximity regime.

The terms hold every contribution, plus the commitment-collision cap.

The attained security is the minimum over all of them.

A collision, or any single binding error, forges the proof.

It is also the top-level output of crate::stark::conjectured_security_report.

The same holds for crate::stark::legacy_security_report.

Each has one regime, so neither needs a SecurityReport envelope to maximize over.

Fields

regime: Regime

Implementations

impl RegimeReport

pub fn terms(&self) -> &[SecurityTerm]

Every soundness contribution in this regime, cap included.

pub fn binding(&self) -> SecurityTerm

The binding term, which is the one with the fewest bits.

A regime always carries at least four terms, so there is always one.

pub fn security_bits(&self) -> f64

Attained security in this regime, in bits.

Trait Implementations

impl Clone for RegimeReport

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RegimeReport

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

Formats the value using the given formatter.

impl Serialize for RegimeReport

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.