Struct snarkvm_debug::file::VerifierFile

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

Implementations

impl<N: Network> VerifierFile<N>

pub fn create( directory: &Path, function_name: &Identifier<N>, verifying_key: VerifyingKey<N> ) -> Result<Self>

Creates a new verifying key file, given the directory path, function name, and verifying key.

pub fn open(directory: &Path, function_name: &Identifier<N>) -> Result<Self>

Opens the verifier file, given the directory path and function name.

pub fn exists_at(directory: &Path, function_name: &Identifier<N>) -> bool

Returns true if the verifier file for the given function name exists at the given directory.

pub const fn function_name(&self) -> &Identifier<N>

Returns the function name.

pub const fn verifying_key(&self) -> &VerifyingKey<N>

Returns the verifying key.

pub fn remove(&self, path: &Path) -> Result<()>

Removes the file at the given path, if it exists.

impl<N: Network> VerifierFile<N>

pub fn write_to(&self, path: &Path) -> Result<()>

Writes the verifier to the file.

Trait Implementations

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

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

Reads the verifier file 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 VerifierFile<N>

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

Writes the verifier file 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.