Struct SystemState

pub struct SystemState {
    pub pc: u32,
    pub merkle_root: Digest,
}

Represents the public state of a segment, needed for continuations and receipt verification.

Fields

pc: u32

The program counter.

merkle_root: Digest

The root hash of a merkle tree which confirms the integrity of the memory image.

Implementations

impl SystemState

pub fn decode(flat: &mut VecDeque<u32>) -> Result<SystemState, DecodeError>

Decode a SystemState struct from the given vector of u32 words. This encoding is used by the zkVM circuit to write is final memory and PC state to the public information in the seal.

pub fn encode(&self, flat: &mut Vec<u32>)

Encode a SystemState struct to the given vector of u32 words. This encoding is used by the zkVM circuit to write is final memory and PC state to the public information in the seal.

Trait Implementations

impl BorshDeserialize for SystemState

fn deserialize_reader<__R>(reader: &mut __R) -> Result<SystemState, Error>

where __R: Read,

fn deserialize(buf: &mut &[u8]) -> Result<Self, Error>

Deserializes this instance from a given slice of bytes. Updates the buffer to point at the remaining bytes.

fn try_from_slice(v: &[u8]) -> Result<Self, Error>

Deserialize this instance from a slice of bytes.

fn try_from_reader<R>(reader: &mut R) -> Result<Self, Error>

where R: Read,

impl BorshSerialize for SystemState

fn serialize<__W>(&self, writer: &mut __W) -> Result<(), Error>

where __W: Write,

impl Clone for SystemState

fn clone(&self) -> SystemState

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SystemState

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SystemState

fn deserialize<__D>( __deserializer: __D, ) -> Result<SystemState, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Digestible for SystemState

fn digest<S>(&self) -> Digest

where S: Sha256,

Hash the crate::SystemState to get a digest of the struct.

impl PartialEq for SystemState

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for SystemState

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for SystemState

impl StructuralPartialEq for SystemState