Struct Program 

pub struct Program { /* private fields */ }

Loaded Airbender program distribution, including manifest and artifacts.

Implementations

impl Program

pub fn load(dist_dir: impl AsRef<Path>) -> Result<Self>

pub fn dist_dir(&self) -> &Path

pub fn manifest(&self) -> &Manifest

pub fn app_bin(&self) -> &Path

pub fn app_elf(&self) -> &Path

pub fn app_text(&self) -> &Path

pub fn transpiler_runner(&self) -> TranspilerRunnerBuilder

Create a transpiler runner builder bound to this program.

pub fn gpu_prover(&self) -> GpuProverBuilder

Create a GPU prover builder bound to this program.

pub fn dev_prover(&self) -> DevProverBuilder

Create a development prover builder bound to this program.

pub fn cpu_prover(&self) -> CpuProverBuilder

Create a CPU prover builder bound to this program.

pub fn dev_verifier(&self) -> DevVerifierBuilder

Create a development verifier builder bound to this program.

pub fn real_verifier(&self, level: ProverLevel) -> RealVerifierBuilder

Create a real verifier builder bound to this program.

Trait Implementations

impl Clone for Program

fn clone(&self) -> Program

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Program

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.