Struct dusk_plonk::commitment_scheme::kzg10::srs::PublicParameters

[+] Show declaration

pub struct PublicParameters {
    pub commit_key: CommitKey,
    pub opening_key: OpeningKey,
}

[−] Expand description

The Public Parameters can also be referred to as the Structured Reference String (SRS). It is available to both the prover and verifier and allows the verifier to efficiently verify and make claims about polynomials up to and including a configured degree.

Fields

commit_key: CommitKey

[−] Expand description

Key used to generate proofs for composed circuits.

opening_key: OpeningKey

[−] Expand description

Key used to verify proofs for composed circuits.

Implementations

impl PublicParameters[−]

pub fn setup<R: RngCore>(
    max_degree: usize,
    rng: &mut R
) -> Result<PublicParameters, Error>[−]

Setup generates the public parameters using a random number generator. This method will in most cases be used for testing and exploration. In reality, a Trusted party or a Multiparty Computation will used to generate the SRS. Returns an error if the configured degree is less than one.

pub fn trim(
    &self,
    truncated_degree: usize
) -> Result<(CommitKey, OpeningKey), Error>[−]

Trim truncates the prover key to allow the prover to commit to polynomials up to the and including the truncated degree. Returns an error if the truncated degree is larger than the public parameters configured degree.

pub fn max_degree(&self) -> usize[−]

Max degree specifies the largest polynomial that this prover key can commit to.

Trait Implementations

impl Debug for PublicParameters[+]

[+] Show hidden undocumented items

fn fmt(&self, f: &mut Formatter) -> Result[−]

Formats the value using the given formatter.