Struct snarkvm_synthesizer::prelude::UniversalSRS

pub struct UniversalSRS<N>where
    N: Network,{ /* private fields */ }

Implementations

impl<N> UniversalSRS<N>where N: Network,

pub fn load() -> Result<UniversalSRS<N>, Error>

Initializes the universal SRS.

pub fn to_circuit_key( &self, function_name: &str, assignment: &Assignment<<N as Environment>::Field> ) -> Result<(ProvingKey<N>, VerifyingKey<N>), Error>

Returns the circuit proving and verifying key.

Methods from Deref<Target = UniversalParams<<N as Environment>::PairingCurve>>

pub fn download_powers_for(&self, range: Range<usize>) -> Result<(), Error>

pub fn lagrange_basis( &self, domain: EvaluationDomain<<E as PairingEngine>::Fr> ) -> Result<Vec<<E as PairingEngine>::G1Affine>, Error>

pub fn power_of_beta_g( &self, index: usize ) -> Result<<E as PairingEngine>::G1Affine, Error>

pub fn powers_of_beta_g( &self, lower: usize, upper: usize ) -> Result<Vec<<E as PairingEngine>::G1Affine>, Error>

pub fn powers_of_beta_times_gamma_g( &self ) -> Arc<BTreeMap<usize, <E as PairingEngine>::G1Affine>>

pub fn beta_h(&self) -> <E as PairingEngine>::G2Affine

pub fn max_degree(&self) -> usize

pub fn to_universal_prover(&self) -> Result<UniversalProver<E>, Error>

pub fn to_universal_verifier(&self) -> Result<UniversalVerifier<E>, Error>

Trait Implementations

impl<N> Clone for UniversalSRS<N>where N: Clone + Network, <N as Environment>::PairingCurve: Clone,

fn clone(&self) -> UniversalSRS<N>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<N> Deref for UniversalSRS<N>where N: Network,

type Target = UniversalParams<<N as Environment>::PairingCurve>

The resulting type after dereferencing.

fn deref(&self) -> &<UniversalSRS<N> as Deref>::Target

Dereferences the value.

impl<N> FromBytes for UniversalSRS<N>where N: Network,

fn read_le<R>(reader: R) -> Result<UniversalSRS<N>, Error>where R: Read,

Reads the universal SRS from a buffer.

fn from_bytes_le(bytes: &[u8]) -> Result<Self, Error>where Self: Sized,

Returns Self from a byte array in little-endian order.

impl<N> ToBytes for UniversalSRS<N>where N: Network,

fn write_le<W>(&self, writer: W) -> Result<(), Error>where W: Write,

Writes the universal SRS to a buffer.

fn to_bytes_le(&self) -> Result<Vec<u8>, Error>where Self: Sized,

Returns self as a byte array in little-endian order.