nexus_sdk

Trait ByGuestCompilation

Source 
pub trait ByGuestCompilation: Prover {
    // Required method
    fn compile(compiler: &mut impl Compile) -> Result<Self, Self::Error>;
}
Expand description

A proving instance that can be constructed through compiling a guest program.

Required Methods§

Source

fn compile(compiler: &mut impl Compile) -> Result<Self, Self::Error>

Construct a new proving instance through dynamic compilation (see compile).

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§