Trait storage_proofs_core::parameter_cache::CacheableParameters

pub trait CacheableParameters<C, P> where
    C: Circuit<Fr>,
    P: ParameterSetMetadata, {
    fn cache_prefix() -> String;

    fn cache_meta(pub_params: &P) -> CacheEntryMetadata { ... }
    fn cache_identifier(pub_params: &P) -> String { ... }
    fn get_param_metadata(
        _circuit: C, 
        pub_params: &P
    ) -> Result<CacheEntryMetadata> { ... }
    fn get_groth_params<R: RngCore>(
        rng: Option<&mut R>, 
        circuit: C, 
        pub_params: &P
    ) -> Result<MappedParameters<Bls12>> { ... }
    fn get_inner_product<R: RngCore>(
        rng: Option<&mut R>, 
        _circuit: C, 
        pub_params: &P, 
        num_proofs_to_aggregate: usize
    ) -> Result<GenericSRS<Bls12>> { ... }
    fn get_verifying_key<R: RngCore>(
        rng: Option<&mut R>, 
        circuit: C, 
        pub_params: &P
    ) -> Result<VerifyingKey<Bls12>> { ... }
}

Required Methods

fn cache_prefix() -> String

Provided Methods

fn cache_meta(pub_params: &P) -> CacheEntryMetadata

fn cache_identifier(pub_params: &P) -> String

fn get_param_metadata(_circuit: C, pub_params: &P) -> Result<CacheEntryMetadata>

fn get_groth_params<R: RngCore>(
    rng: Option<&mut R>,
    circuit: C,
    pub_params: &P
) -> Result<MappedParameters<Bls12>>

If the rng option argument is set, parameters will be generated using it. This is used for testing only, or where parameters are otherwise unavailable (e.g. benches). If rng is not set, an error will result if parameters are not present.

fn get_inner_product<R: RngCore>(
    rng: Option<&mut R>,
    _circuit: C,
    pub_params: &P,
    num_proofs_to_aggregate: usize
) -> Result<GenericSRS<Bls12>>

If the rng option argument is set, parameters will be generated using it. This is used for testing only, or where parameters are otherwise unavailable (e.g. benches). If rng is not set, an error will result if parameters are not present.

fn get_verifying_key<R: RngCore>(
    rng: Option<&mut R>,
    circuit: C,
    pub_params: &P
) -> Result<VerifyingKey<Bls12>>

If the rng option argument is set, parameters will be generated using it. This is used for testing only, or where parameters are otherwise unavailable (e.g. benches). If rng is not set, an error will result if parameters are not present.

Implementors

impl<C: Circuit<Fr>, P: ParameterSetMetadata, Tree: MerkleTreeTrait> CacheableParameters<C, P> for PoRCompound<Tree>