Struct MultilinearUniversalParams

pub struct MultilinearUniversalParams<E: Pairing> {
    pub prover_param: MultilinearProverParam<E>,
    pub h_mask: Vec<E::G2Affine>,
}

Universal Parameter

Fields

prover_param: MultilinearProverParam<E>

prover parameters

h_mask: Vec<E::G2Affine>

h^randomness: h^t1, h^t2, …, h^{t_nv}

Trait Implementations

impl<E: Pairing> CanonicalDeserialize for MultilinearUniversalParams<E>

fn deserialize_with_mode<R: Read>( reader: R, compress: Compress, validate: Validate, ) -> Result<Self, SerializationError>

The general deserialize method that takes in customization flags.

fn deserialize_compressed<R>(reader: R) -> Result<Self, SerializationError>

where R: Read,

fn deserialize_compressed_unchecked<R>( reader: R, ) -> Result<Self, SerializationError>

where R: Read,

fn deserialize_uncompressed<R>(reader: R) -> Result<Self, SerializationError>

where R: Read,

fn deserialize_uncompressed_unchecked<R>( reader: R, ) -> Result<Self, SerializationError>

where R: Read,

impl<E: Pairing> CanonicalSerialize for MultilinearUniversalParams<E>

fn serialize_with_mode<W: Write>( &self, writer: W, compress: Compress, ) -> Result<(), SerializationError>

The general serialize method that takes in customization flags.

fn serialized_size(&self, compress: Compress) -> usize

fn serialize_compressed<W>(&self, writer: W) -> Result<(), SerializationError>

where W: Write,

fn compressed_size(&self) -> usize

fn serialize_uncompressed<W>(&self, writer: W) -> Result<(), SerializationError>

where W: Write,

fn uncompressed_size(&self) -> usize

impl<E: Clone + Pairing> Clone for MultilinearUniversalParams<E>

where E::G2Affine: Clone,

fn clone(&self) -> MultilinearUniversalParams<E>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E: Debug + Pairing> Debug for MultilinearUniversalParams<E>

where E::G2Affine: Debug,

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

Formats the value using the given formatter.

impl<E: Pairing> StructuredReferenceString for MultilinearUniversalParams<E>

fn extract_prover_param(&self, supported_num_vars: usize) -> Self::ProverParam

Extract the prover parameters from the public parameters.

fn extract_verifier_param( &self, supported_num_vars: usize, ) -> Self::VerifierParam

Extract the verifier parameters from the public parameters.

fn trim( &self, supported_num_vars: usize, ) -> Result<(Self::ProverParam, Self::VerifierParam), PCSError>

Trim the universal parameters to specialize the public parameters for multilinear polynomials to the given supported_num_vars, and returns committer key and verifier key. supported_num_vars should be in range 1..=params.num_vars

fn trim_with_verifier_degree( &self, prover_supported_num_vars: usize, _verifier_supported_num_vars: usize, ) -> Result<(Self::ProverParam, Self::VerifierParam), PCSError>

Naive implementation

type ProverParam = MultilinearProverParam<E>

Prover parameters

type VerifierParam = MultilinearVerifierParam<E>

Verifier parameters

fn load_srs_from_file( _supported_degree: usize, _file: Option<&str>, ) -> Result<Self, PCSError>

Load public parameter in production environment. These parameters are loaded from files with serialized pp bytes, and the actual setup is usually carried out via MPC and should be implemented else where. We only load them into memory here.

impl<E: Pairing> Valid for MultilinearUniversalParams<E>

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>( batch: impl Iterator<Item = &'a Self> + Send, ) -> Result<(), SerializationError>

where Self: 'a,