PuzzleProof

snarkvm_debug::prelude::coinbase

Type Alias PuzzleProof 

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

The proof of opening the polynomial, for the solution.

Aliased Type§

pub 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.