Trait LinCodeParametersInfo

pub trait LinCodeParametersInfo<C, H>
where
    C: Config,
    H: CRHScheme,
{
    // Required methods
    fn sec_param(&self) -> usize;
    fn distance(&self) -> (usize, usize);
    fn check_well_formedness(&self) -> bool;
    fn compute_dimensions(&self, n: usize) -> (usize, usize);
    fn leaf_hash_param(
        &self,
    ) -> &<<C as Config>::LeafHash as CRHScheme>::Parameters;
    fn two_to_one_hash_param(
        &self,
    ) -> &<<C as Config>::TwoToOneHash as TwoToOneCRHScheme>::Parameters;
    fn col_hash_params(&self) -> &H::Parameters;
}

For linear code PC schemes, the universal paramters, committer key and verifier key are all the same. This trait abstracts the common information contained in these.

Required Methods

fn sec_param(&self) -> usize

Get the security parameter.

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

Get the distance of the code.

fn check_well_formedness(&self) -> bool

See whether there should be a well-formedness check.

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::Parameters

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

Implementors

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

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

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

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