Trait CompiledProgram

pub trait CompiledProgram {
    // Required methods
    fn rust_shadow(
        public_input: &PublicInput,
        nondeterminism: &NonDeterminism,
    ) -> Result<Vec<BFieldElement>>;
    fn code() -> (Vec<LabelledInstruction>, Library);

    // Provided methods
    fn program() -> Program { ... }
    fn run(
        public_input: &PublicInput,
        nondeterminism: &NonDeterminism,
    ) -> Result<Vec<BFieldElement>> { ... }
    fn crash_conditions() -> Vec<String> { ... }
}

Required Methods

fn rust_shadow( public_input: &PublicInput, nondeterminism: &NonDeterminism, ) -> Result<Vec<BFieldElement>>

fn code() -> (Vec<LabelledInstruction>, Library)

Provided Methods

fn program() -> Program

fn run( public_input: &PublicInput, nondeterminism: &NonDeterminism, ) -> Result<Vec<BFieldElement>>

fn crash_conditions() -> Vec<String>

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