Type Alias KimchiOpeningProof 

type KimchiOpeningProof = OpeningProof<Pallas, FULL_ROUNDS>;

Aliased Type

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

Fields

lr: Vec<(Affine<PallasParameters>, Affine<PallasParameters>)>

Vector of rounds of L & R commitments

delta: Affine<PallasParameters>

z1: Fp<MontBackend<FrConfig, 4>, 4>

z2: Fp<MontBackend<FrConfig, 4>, 4>

sg: Affine<PallasParameters>

A final folded commitment base