Struct risc0_zkvm::Segment

pub struct Segment {
    pub po2: usize,
    pub index: u32,
    pub insn_cycles: usize,
    /* private fields */
}

The execution trace of a portion of a program.

The record of memory transactions of an execution that starts from an initial memory image, and proceeds until terminated by the system or user. This represents a chunk of execution work that will be proven in a single call to the ZKP system. It does not necessarily represent an entire program; see Session for tracking memory transactions until a user-requested termination.

Fields

po2: usize

The number of cycles in powers of 2.

index: u32

The index of this Segment within the Session

insn_cycles: usize

The number of cycles used to execute instructions.

Implementations

impl Segment

pub fn prove(&self, ctx: &VerifierContext) -> Result<SegmentReceipt>

Call the ZKP system to produce a SegmentReceipt.

Trait Implementations

impl Clone for Segment

fn clone(&self) -> Segment

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'de> Deserialize<'de> for Segment

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

Deserialize this value from the given Serde deserializer.

impl Serialize for Segment

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

Serialize this value into the given Serde serializer.