Struct Valida 

pub struct Valida { /* private fields */ }

The key structure that supports methods for running, proving and verification.

Implementations

impl Valida

pub fn run( &self, program: &Path, stdout: &Path, stdin: &Path, initial_fp: Option<InitialFp>, ) -> RunStatus

This is a wrapper for valida run –fast See create_valida documentation for example usage.

pub fn prove( &self, program: &Path, proof: &Path, stdin: &Path, proving_key: Option<ProvingKey>, initial_fp: Option<InitialFp>, ) -> ProveStatus

This is a wrapper for valida prove See create_valida documentation for example usage.

pub fn verify( &self, program: &Path, proof: &Path, stdout: &Path, verifying_key: Option<VerifyingKey>, initial_fp: Option<InitialFp>, ) -> VerifyStatus

This is a wrapper for valida verify See create_valida documentation for example usage.

pub fn preprocess(&self, program: &Path, name: String) -> PreprocessStatus

This is a wrapper for valida preprocess

Trait Implementations

impl Drop for Valida

fn drop(&mut self)

Executes the destructor for this type.