Enum ProximityRegime 

pub enum ProximityRegime {
    UniqueDecoding,
    ListDecoding {
        m: usize,
    },
}

Defines the proximity regime for the proof system.

Variants

UniqueDecoding

Unique decoding guarantees a single valid witness.

ListDecoding

List decoding bounded by multiplicity m.

Fields

m: usize

Implementations

impl ProximityRegime

pub fn max_agreement(&self, log_inv_rate: usize) -> f64

Maximum fraction of the RS domain on which a far word can agree with a codeword (the per-query evasion probability under ideal uniform query sampling).

• UniqueDecoding: (1 + ρ) / 2.
• ListDecoding { m }: finite-multiplicity Guruswami-Sudan threshold, sqrt(ρ) (1 + 1/(2m)).

pub fn whir_query_security_bits( &self, num_queries: usize, log_inv_rate: usize, ) -> f64

Returns total security bits for num_queries WHIR queries under ideal (uniform) query sampling. See crate::soundness::SoundnessCalculator for the variant that additionally charges the sample_bits sampling bias.

pub fn whir_per_query_security_bits(&self, log_inv_rate: usize) -> f64

Returns the per-query security bits for WHIR query sampling.

Trait Implementations

impl Clone for ProximityRegime

fn clone(&self) -> ProximityRegime

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ProximityRegime

impl Debug for ProximityRegime

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProximityRegime

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ProximityRegime

impl PartialEq for ProximityRegime

fn eq(&self, other: &ProximityRegime) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for ProximityRegime

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ProximityRegime