Struct BlindingInfo 

pub struct BlindingInfo {
    pub n_dummy_wires: usize,
    pub n_dummy_constraints: usize,
}

Random padding appended to a committed segment.

The padding is what keeps the segment’s openings independent of its real wires. Every committed segment carries the same amount, so each is padded on its own.

Fields

n_dummy_wires: usize

The number of random dummy wires appended after the segment’s real wires.

n_dummy_constraints: usize

The number of random dummy multiplication constraints that must be added.

Implementations

impl BlindingInfo

pub const fn for_fri_queries(n_test_queries: usize) -> BlindingInfo

The blinding a committed segment needs when FRI opens it at n_test_queries positions.

Each query opens one Merkle leaf, revealing one codeword symbol of the segment. A symbol is a fixed linear function of the segment. So n_test_queries random wires make every opened symbol uniform and independent.

One further wire covers the leaves that are never opened. Their hashes still travel in the authentication paths, and the leaves carry no salt. The spare degree of randomness keeps an unopened leaf unguessable, as a salt would.

Trait Implementations

impl Clone for BlindingInfo

fn clone(&self) -> BlindingInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for BlindingInfo

impl Debug for BlindingInfo

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

Formats the value using the given formatter.