Type Alias WhirZkConfig 

pub type WhirZkConfig = Config<FieldElement>;

Aliased Type

pub struct WhirZkConfig {
    pub blinded_polynomial: Config<Identity<Fp<MontBackend<FrConfig, 4>, 4>>>,
    pub blinding_polynomial: Config<Identity<Fp<MontBackend<FrConfig, 4>, 4>>>,
}

Fields

blinded_polynomial: Config<Identity<Fp<MontBackend<FrConfig, 4>, 4>>>

First WHIR instance: proves claims about f_zk = ρ·f + g over 2^μ evaluations.

blinding_polynomial: Config<Identity<Fp<MontBackend<FrConfig, 4>, 4>>>

Second WHIR instance: batched proof of blinding polynomial evaluations over 2^(ℓ+1) evaluations with n + ν committed vectors.