Enum risc0_zkvm::ExitCode

pub enum ExitCode {
    Halted(u32),
    Paused(u32),
    SystemSplit,
    SessionLimit,
}

Exit condition indicated by the zkVM at the end of the guest execution.

Exit codes have a “system” part and a “user” part. Semantically, the system part is set to indicate the type of exit (e.g. halt, pause, or system split) and is directly controlled by the zkVM. The user part is an exit code, similar to exit codes used in Linux, chosen by the guest program to indicate additional information (e.g. 0 to indicate success or 1 to indicate an error).

Variants

Halted(u32)

This indicates normal termination of a program with an interior exit code returned from the guest program. A halted program cannot be resumed.

Paused(u32)

This indicates the execution ended in a paused state with an interior exit code set by the guest program. A paused program can be resumed such that execution picks up where it left of, with the same memory state.

SystemSplit

This indicates the execution ended on a host-initiated system split.

System split is mechanism by which the host can temporarily stop execution of the guest. Execution ended in a system split has no output and no conclusions can be drawn about whether the program will eventually halt. System split is used in continuations to split execution into individually provable segments.

SessionLimit

This indicates that the guest exited upon reaching the session limit set by the host.

NOTE: The current version of the RISC Zero zkVM will never exit with an exit code of SessionLimit. This is because the system cannot currently prove that the session limit as been reached.

Trait Implementations

impl Clone for ExitCode

fn clone(&self) -> ExitCode

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ExitCode

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ExitCode

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ExitCode

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Serialize for ExitCode

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for ExitCode

impl Eq for ExitCode

impl StructuralPartialEq for ExitCode