Trait Parameters

pub trait Parameters {
    type Ref: Reference;
    type Error;

    // Required methods
    fn generate(reference: &Self::Ref) -> Result<Self, Self::Error>
       where Self: Sized;
    fn load(path: &Path) -> Result<Self, Self::Error>
       where Self: Sized;
    fn save(parameters: &Self, path: &Path) -> Result<(), Self::Error>;
}

A global, no-trust-assumption parameter set used for proving and verifying.

Currently only used by the legacy prover integrations.

Required Associated Types

type Ref: Reference

type Error

Required Methods

fn generate(reference: &Self::Ref) -> Result<Self, Self::Error>

where Self: Sized,

Generate parameters.

fn load(path: &Path) -> Result<Self, Self::Error>

where Self: Sized,

Load parameters from a file.

fn save(parameters: &Self, path: &Path) -> Result<(), Self::Error>

Save parameters to a file.

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.

Implementations on Foreign Types

impl Parameters for ()

type Ref = ()

type Error = ConfigurationError

fn generate(_reference: &Self::Ref) -> Result<Self, Self::Error>

fn load(_path: &Path) -> Result<Self, Self::Error>

fn save(_parameters: &Self, _path: &Path) -> Result<(), Self::Error>

Implementors

impl Parameters for nexus_sdk::legacy::hypernova::seq::PP

type Ref = SRS

type Error = Error

impl Parameters for nexus_sdk::legacy::nova::seq::PP

type Ref = ()

type Error = Error