Trait CheckedView

pub trait CheckedView {
    // Required method
    fn new_from_expected(
        memory_layout: &LinearMemoryLayout,
        expected_public_input: &[u8],
        expected_exit_code: &[u8],
        expected_public_output: &[u8],
        expected_elf: &ElfFile,
        expected_ad: &[u8],
    ) -> Self;
}

A view of an execution, the correctness of which is guaranteed by the proving and checked by the verification.

Required Methods

fn new_from_expected( memory_layout: &LinearMemoryLayout, expected_public_input: &[u8], expected_exit_code: &[u8], expected_public_output: &[u8], expected_elf: &ElfFile, expected_ad: &[u8], ) -> Self

Rebuild from constitutent parts, for use by the verifier during verification.

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.

Implementations on Foreign Types

impl CheckedView for View

fn new_from_expected( memory_layout: &LinearMemoryLayout, expected_public_input: &[u8], expected_exit_code: &[u8], expected_public_output: &[u8], expected_elf: &ElfFile, expected_ad: &[u8], ) -> Self

Implementors