NonUniversalSystem

liminal_ark_relations::environment

Trait NonUniversalSystem 

Source 
pub trait NonUniversalSystem: ProvingSystem {
    // Required method
    fn generate_keys<C: ConstraintSynthesizer<CircuitField>>(
        circuit: C,
    ) -> (Self::ProvingKey, Self::VerifyingKey);
}
Expand description

Common API for every non universal proving system.

Required Methods§

Source

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

Generates proving and verifying key for circuit.

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§