Struct HidingCodeSecurityReport 

#[non_exhaustive]
pub struct HidingCodeSecurityReport {

    pub role: HidingCodeRole,
    pub message_len: usize,
    pub randomness_len: usize,
    pub randomized_dimension: usize,
    pub dyadic_dimension: usize,
    pub domain_size: usize,
    pub randomized_rate: f64,
    pub analysis_log_inv_rate: Option<usize>,
    pub analysis_radius: Option<f64>,
    pub width: usize,
    pub requested_queries: usize,
    pub effective_queries: usize,
    pub query_miss: HidingErrorBound,
    pub mca: HidingErrorBound,
    pub paired_list: HidingListBound,
}

Geometry and ideal-IOP bounds for one randomized code component.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

role: HidingCodeRole

The component’s protocol role.

message_len: usize

Number of message coefficients in one lane.

randomness_len: usize

Number of randomizing coefficients in one lane.

randomized_dimension: usize

Actual randomized-code dimension, message_len + randomness_len.

dyadic_dimension: usize

Next-power-of-two envelope used for conservative RS bounds.

domain_size: usize

Codeword length.

randomized_rate: f64

Exact randomized-code rate, (message_len + randomness_len) / domain_size.

analysis_log_inv_rate: Option<usize>

Logarithm of the conservative dyadic-envelope inverse rate.

This is unavailable when the dyadic envelope fills the domain: none of the configured proximity regimes supplies a positive radius then.

analysis_radius: Option<f64>

Proximity radius selected at the dyadic-envelope rate.

width: usize

Number of lanes sharing one row-query schedule.

requested_queries: usize

Number of row queries requested by the derived configuration.

effective_queries: usize

Number of distinct rows the sampler actually opens.

The sampler saturates at the codeword length.

query_miss: HidingErrorBound

Conservative query-miss error before the shared final PoW.

At saturation this keeps the IID expression instead of reporting the exact zero miss probability. The sampling bound is proven under the premise that the pre-query component is at least analysis_radius from its code. Under CapacityBound, the separate list/MCA terms remain conditional; this field does not promote the full regime to proven.

mca: HidingErrorBound

MCA error for this component. Interleaved groups include the conservative factor equal to width.

paired_list: HidingListBound

Candidate-list bound for the old/fresh pair. Its interleaving is two for the source and 2 * width for a mask group.

Trait Implementations

impl Clone for HidingCodeSecurityReport

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 HidingCodeSecurityReport

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

Formats the value using the given formatter.

impl PartialEq for HidingCodeSecurityReport

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for HidingCodeSecurityReport

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 HidingCodeSecurityReport