Trait UniversalSystem 

pub trait UniversalSystem: ProvingSystem {
    type Srs: CanonicalSerialize + CanonicalDeserialize;

    // Required methods
    fn generate_srs(
        num_constraints: usize,
        num_variables: usize,
        degree: usize,
    ) -> Self::Srs;
    fn generate_keys<C: ConstraintSynthesizer<CircuitField>>(
        circuit: C,
        srs: &Self::Srs,
    ) -> (Self::ProvingKey, Self::VerifyingKey);
}

Common API for every universal proving system.

Required Associated Types

type Srs: CanonicalSerialize + CanonicalDeserialize

Required Methods

fn generate_srs( num_constraints: usize, num_variables: usize, degree: usize, ) -> Self::Srs

Generates SRS.

fn generate_keys<C: ConstraintSynthesizer<CircuitField>>( circuit: C, srs: &Self::Srs, ) -> (Self::ProvingKey, Self::VerifyingKey)

Generates proving and verifying key for circuit using srs.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl UniversalSystem for Marlin

Available on crate feature circuit only.

type Srs = <MarlinKZG10<Bls12<Parameters>, DensePolynomial<Fp256<FrParameters>>> as PolynomialCommitment<Fp256<FrParameters>, DensePolynomial<Fp256<FrParameters>>>>::UniversalParams