Struct ProgramInfo 

pub struct ProgramInfo { /* private fields */ }

A program information set consisting of its MAST root and set of kernel procedure roots used for its compilation.

This will be used as public inputs of the proof so we bind its verification to the kernel and root used to execute the program. This way, we extend the correctness of the proof to the security guarantees provided by the kernel. We also allow the user to easily prove the membership of a given kernel procedure for a given proof, without compromising its zero-knowledge properties.

Implementations

impl ProgramInfo

pub const fn new(program_hash: Word, kernel: KernelDescriptor) -> ProgramInfo

Creates a new instance of a program info.

pub const fn program_hash(&self) -> &Word

Returns the program hash computed from its code block root.

pub const fn kernel(&self) -> &KernelDescriptor

Returns the program kernel used during the compilation.

pub fn kernel_procedures(&self) -> &[Word]

Returns the list of procedures of the kernel used during the compilation.

pub fn kernel_commitment(&self) -> Word

Returns the canonical commitment to the kernel used during the compilation.

This is the fixed-size identifier the recursive verifier observes in place of the raw kernel-procedure digest list. See KernelDescriptor::commitment.

pub fn into_parts(self) -> (Word, KernelDescriptor)

Splits this program info into its program hash and kernel descriptor.

Trait Implementations

impl Clone for ProgramInfo

fn clone(&self) -> ProgramInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProgramInfo

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

Formats the value using the given formatter.

impl Default for ProgramInfo

fn default() -> ProgramInfo

Returns the “default value” for a type.

impl Deserializable for ProgramInfo

fn read_from<R>(source: &mut R) -> Result<ProgramInfo, DeserializationError>

where R: ByteReader,

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result.

fn min_serialized_size() -> usize

Returns the minimum serialized size for one instance of this type.

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

fn read_from_bytes_with_budget( bytes: &[u8], budget: usize, ) -> Result<Self, DeserializationError>

Deserializes Self from bytes with a byte budget limit.

impl Eq for ProgramInfo

impl From<Program> for ProgramInfo

fn from(program: Program) -> ProgramInfo

Converts to this type from the input type.

impl PartialEq for ProgramInfo

fn eq(&self, other: &ProgramInfo) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serializable for ProgramInfo

fn write_into<W>(&self, target: &mut W)

where W: ByteWriter,

Serializes self into bytes and writes these bytes into the target.

fn to_bytes(&self) -> Vec<u8>

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl StructuralPartialEq for ProgramInfo

impl ToElements for ProgramInfo

fn to_elements(&self) -> Vec<Felt>