Struct BrakedownPCParams 

pub struct BrakedownPCParams<F: PrimeField, C: Config, H: CRHScheme> { /* private fields */ }

The public parameters for Brakedown PCS.

Implementations

impl<F, C, H> BrakedownPCParams<F, C, H>

where F: PrimeField, C: Config, H: CRHScheme,

pub fn default<R: RngCore>( rng: &mut R, poly_len: usize, check_well_formedness: bool, leaf_hash_param: LeafParam<C>, two_to_one_hash_param: TwoToOneParam<C>, col_hash_params: H::Parameters, ) -> Self

Create a default UniversalParams, with the values from Fig. 2 from the paper.

pub fn new( sec_param: usize, a: (usize, usize), b: (usize, usize), r: (usize, usize), base_len: usize, n: usize, m: usize, a_dims: Vec<(usize, usize, usize)>, b_dims: Vec<(usize, usize, usize)>, a_mats: Vec<SprsMat<F>>, b_mats: Vec<SprsMat<F>>, check_well_formedness: bool, leaf_hash_param: LeafParam<C>, two_to_one_hash_param: TwoToOneParam<C>, col_hash_params: H::Parameters, ) -> Self

This function creates a UniversalParams. It does not check if the paramters are consistent/correct.

Trait Implementations

impl<F: PrimeField, C: Config, H: CRHScheme> CanonicalDeserialize for BrakedownPCParams<F, C, H>

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,

Reads Self from reader using the compressed form if applicable. Performs validation if applicable.

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

where R: Read,

Reads Self from reader using the compressed form if applicable, without validating the deserialized value.

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

where R: Read,

Reads Self from reader using the uncompressed form. Performs validation if applicable.

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

where R: Read,

Reads Self from reader using the uncompressed form, without validating the deserialized value.

impl<F: PrimeField, C: Config, H: CRHScheme> CanonicalSerialize for BrakedownPCParams<F, C, H>

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

Returns the size in bytes of the serialized version of self with the given compression mode.

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

where W: Write,

Serializes self into writer using the compressed form if applicable.

fn compressed_size(&self) -> usize

Returns the size in bytes of the compressed serialized version of self.

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

where W: Write,

Serializes self into writer using the uncompressed form.

fn uncompressed_size(&self) -> usize

Returns the size in bytes of the uncompressed serialized version of self.

impl<F: PrimeField, C: Config, H: CRHScheme> Clone for BrakedownPCParams<F, C, H>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: PrimeField, C: Config, H: CRHScheme> Debug for BrakedownPCParams<F, C, H>

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

Formats the value using the given formatter.

impl<F, C, H> LinCodeParametersInfo<C, H> for BrakedownPCParams<F, C, H>

where F: PrimeField, C: Config, H: CRHScheme,

fn check_well_formedness(&self) -> bool

See whether there should be a well-formedness check.

fn distance(&self) -> (usize, usize)

Get the distance of the code.

fn sec_param(&self) -> usize

Get the security parameter.

fn compute_dimensions(&self, _n: usize) -> (usize, usize)

Compute the dimensions of the coefficient matrix.

fn leaf_hash_param(&self) -> &<<C as Config>::LeafHash as CRHScheme>::Parameters

Get the hash parameters for obtaining leaf digest from leaf value.

fn two_to_one_hash_param( &self, ) -> &<<C as Config>::TwoToOneHash as TwoToOneCRHScheme>::Parameters

Get the parameters for hashing nodes in the merkle tree.

fn col_hash_params(&self) -> &<H as CRHScheme>::Parameters

Get the parameters for hashing a vector of values, representing a column of the coefficient matrix, into a leaf value.

impl<F, C, H> PCCommitterKey for BrakedownPCParams<F, C, H>

where F: PrimeField, C: Config, H: CRHScheme,

fn max_degree(&self) -> usize

Outputs the maximum degree supported by the universal parameters Self was derived from.

fn supported_degree(&self) -> usize

Outputs the maximum degree supported by the committer key.

impl<F, C, H> PCUniversalParams for BrakedownPCParams<F, C, H>

where F: PrimeField, C: Config, H: CRHScheme,

fn max_degree(&self) -> usize

Outputs the maximum degree supported by the committer key.

impl<F, C, H> PCVerifierKey for BrakedownPCParams<F, C, H>

where F: PrimeField, C: Config, H: CRHScheme,

fn max_degree(&self) -> usize

Outputs the maximum degree supported by the universal parameters Self was derived from.

fn supported_degree(&self) -> usize

Outputs the maximum degree supported by the verifier key.

impl<F: PrimeField, C: Config, H: CRHScheme> Valid for BrakedownPCParams<F, C, H>

const TRIVIAL_CHECK: bool

Whether the check method is trivial (i.e. always returns Ok(())). If this is true, the batch_check method will skip all checks and return Ok(()). This should be set to true for types where check is trivial, e.g. integers, field elements, etc. This is false by default. This is primarily an optimization to skip unnecessary checks in batch_check.

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

Checks whether self is valid. If self is valid, returns Ok(()). Otherwise, returns an error describing the failure. This method is called by deserialize_with_mode if validate is Validate::Yes.

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

where Self: 'a,

Checks whether all items in batch are valid. If all items are valid, returns Ok(()). Otherwise, returns an error describing the first failure.