Struct snarkvm_debug::file::ProverFile

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

Implementations

impl<N: Network> ProverFile<N>

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

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

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

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

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

Returns true if the prover 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 proving_key(&self) -> &ProvingKey<N>

Returns the proving key.

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

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

impl<N: Network> ProverFile<N>

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

Writes the prover to the file.

Trait Implementations

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

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

Reads the prover 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 ProverFile<N>

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

Writes the prover 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.