Struct snarkvm_synthesizer_snark::UniversalSRS

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

Implementations

impl<N: Network> UniversalSRS<N>

pub fn load() -> Result<Self>

Initializes the universal SRS.

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

Returns the circuit proving and verifying key.

Trait Implementations

impl<N: Clone + Network> Clone for UniversalSRS<N>

where N::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: Network> Deref for UniversalSRS<N>

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

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

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

fn read_le<R: Read>(reader: R) -> IoResult<Self>

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: Network> ToBytes for UniversalSRS<N>

fn write_le<W: Write>(&self, writer: W) -> IoResult<()>

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.