Type Alias snarkvm_ledger_coinbase::PuzzleProof

pub type PuzzleProof<N> = KZGProof<<N as Environment>::PairingCurve>;

The proof of opening the polynomial, for the solution.

Aliased Type

struct PuzzleProof<N> {
    pub w: <<N as Environment>::PairingCurve as PairingEngine>::G1Affine,
    pub random_v: Option<<<N as Environment>::PairingCurve as PairingEngine>::Fr>,
}

Fields

w: <<N as Environment>::PairingCurve as PairingEngine>::G1Affine

This is a commitment to the witness polynomial; see [KZG10] for more details.

random_v: Option<<<N as Environment>::PairingCurve as PairingEngine>::Fr>

This is the evaluation of the random polynomial at the point for which the evaluation proof was produced.