Skip to main content

KimchiOpeningProof

kimchi_napi::proof::fp

Type Alias KimchiOpeningProof 

Source 
type KimchiOpeningProof = OpeningProof<Vesta, FULL_ROUNDS>;

Aliased Type§

struct KimchiOpeningProof {
    pub lr: Vec<(Affine<VestaParameters>, Affine<VestaParameters>)>,
    pub delta: Affine<VestaParameters>,
    pub z1: Fp<MontBackend<FqConfig, 4>, 4>,
    pub z2: Fp<MontBackend<FqConfig, 4>, 4>,
    pub sg: Affine<VestaParameters>,
}

Fields§

§lr: Vec<(Affine<VestaParameters>, Affine<VestaParameters>)>

Vector of rounds of L & R commitments

§delta: Affine<VestaParameters>§z1: Fp<MontBackend<FqConfig, 4>, 4>§z2: Fp<MontBackend<FqConfig, 4>, 4>§sg: Affine<VestaParameters>

A final folded commitment base