Struct snarkvm_debug::prelude::coinbase::CoinbaseProvingKey

pub struct CoinbaseProvingKey<N>
where
    N: Network,
{
    pub lagrange_basis_at_beta_g: Vec<<<N as Environment>::PairingCurve as PairingEngine>::G1Affine>,
    pub product_domain: EvaluationDomain<<<N as Environment>::PairingCurve as PairingEngine>::Fr>,
    pub fft_precomputation: FFTPrecomputation<<<N as Environment>::PairingCurve as PairingEngine>::Fr>,
    pub product_domain_elements: Vec<<<N as Environment>::PairingCurve as PairingEngine>::Fr>,
    pub verifying_key: VerifierKey<<N as Environment>::PairingCurve>,
}

Fields

lagrange_basis_at_beta_g: Vec<<<N as Environment>::PairingCurve as PairingEngine>::G1Affine>

The key used to commit to polynomials in Lagrange basis.

product_domain: EvaluationDomain<<<N as Environment>::PairingCurve as PairingEngine>::Fr>

Domain used to compute the product of the epoch polynomial and the prover polynomial.

fft_precomputation: FFTPrecomputation<<<N as Environment>::PairingCurve as PairingEngine>::Fr>

Precomputation to speed up FFTs.

product_domain_elements: Vec<<<N as Environment>::PairingCurve as PairingEngine>::Fr>

Elements of the product domain.

verifying_key: VerifierKey<<N as Environment>::PairingCurve>

The verifying key of the coinbase puzzle.

Implementations

impl<N> CoinbaseProvingKey<N>

where N: Network,

pub fn lagrange_basis( &self ) -> LagrangeBasis<'_, <N as Environment>::PairingCurve>

Obtain elements of the SRS in the lagrange basis powers.

pub fn product_domain_elements( &self ) -> &[<<N as Environment>::PairingCurve as PairingEngine>::Fr]

Returns the elements of the product domain.

Trait Implementations

impl<N> Clone for CoinbaseProvingKey<N>

where N: Clone + Network, <N as Environment>::PairingCurve: Clone,

fn clone(&self) -> CoinbaseProvingKey<N>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<N> Debug for CoinbaseProvingKey<N>

where N: Debug + Network, <N as Environment>::PairingCurve: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.