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

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

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

Key used to generate proofs for composed circuits.

opening_key: OpeningKey

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 from_bytes(bytes: &[u8]) -> Result<PublicParameters, Error>

Deserialise a slice of bytes into a Public Parameter struct

pub fn to_bytes(&self) -> Vec<u8>

Serialises a Public Parameter struct into a slice of bytes

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

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for PublicParameters

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error> where
    D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl Serialize for PublicParameters

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error> where
    S: Serializer, 

Serialize this value into the given Serde serializer.