Struct SyscallInstrColumns 

#[repr(C)]
pub struct SyscallInstrColumns<T, M: TrustMode> {

    pub state: CPUState<T>,
    pub adapter: RTypeReader<T>,
    pub next_pc: [T; 3],
    pub is_halt: T,
    pub op_a_value: Word<T>,
    pub a_low_bytes: U16toU8Operation<T>,
    pub is_enter_unconstrained: IsZeroOperation<T>,
    pub is_hint_len: IsZeroOperation<T>,
    pub is_halt_check: IsZeroOperation<T>,
    pub is_commit: IsZeroOperation<T>,
    pub is_commit_deferred_proofs: IsZeroOperation<T>,
    pub index_bitmap: [T; 8],
    pub expected_public_values_digest: [T; 4],
    pub op_b_range_check: SP1FieldWordRangeChecker<T>,
    pub op_c_range_check: SP1FieldWordRangeChecker<T>,
    pub is_real: T,
    pub user_mode_cols: M::SyscallInstrCols<T>,
}

Fields

state: CPUState<T>

The current shard, timestamp, program counter of the CPU.

adapter: RTypeReader<T>

The adapter to read program and register information.

next_pc: [T; 3]

The next program counter.

is_halt: T

Whether the current instruction is a halt instruction. This is verified by the is_halt_check operation.

op_a_value: Word<T>

The result of register op_a.

a_low_bytes: U16toU8Operation<T>

Lower byte of two limbs of b.

is_enter_unconstrained: IsZeroOperation<T>

Whether the current ecall is ENTER_UNCONSTRAINED.

is_hint_len: IsZeroOperation<T>

Whether the current ecall is HINT_LEN.

is_halt_check: IsZeroOperation<T>

Whether the current ecall is HALT.

is_commit: IsZeroOperation<T>

Whether the current ecall is a COMMIT.

is_commit_deferred_proofs: IsZeroOperation<T>

Whether the current ecall is a COMMIT_DEFERRED_PROOFS.

index_bitmap: [T; 8]

Field to store the word index passed into the COMMIT ecall.
index_bitmap[word index] should be set to 1 and everything else set to 0.

expected_public_values_digest: [T; 4]

The expected public values digest.

op_b_range_check: SP1FieldWordRangeChecker<T>

The check if op_b is a valid SP1Field.

op_c_range_check: SP1FieldWordRangeChecker<T>

The check if op_c is a valid SP1Field.

is_real: T

Whether the current instruction is a real instruction.

user_mode_cols: M::SyscallInstrCols<T>

Columns for handling syscall instructions in user mode.

Trait Implementations

impl<T, M: TrustMode> Borrow<SyscallInstrColumns<T, M>> for [T]

fn borrow(&self) -> &SyscallInstrColumns<T, M>

Immutably borrows from an owned value.

impl<T, M: TrustMode> BorrowMut<SyscallInstrColumns<T, M>> for [T]

fn borrow_mut(&mut self) -> &mut SyscallInstrColumns<T, M>

Mutably borrows from an owned value.

impl<T: Clone, M: Clone + TrustMode> Clone for SyscallInstrColumns<T, M>

where M::SyscallInstrCols<T>: Clone,

fn clone(&self) -> SyscallInstrColumns<T, M>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug, M: Debug + TrustMode> Debug for SyscallInstrColumns<T, M>

where M::SyscallInstrCols<T>: Debug,

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

Formats the value using the given formatter.

impl<T: Default, M: Default + TrustMode> Default for SyscallInstrColumns<T, M>

where M::SyscallInstrCols<T>: Default,

fn default() -> SyscallInstrColumns<T, M>

Returns the “default value” for a type.

impl<T, M: TrustMode> StructReflectionHelper for SyscallInstrColumns<T, M>

fn struct_reflection() -> Option<Vec<String>>

impl<T: Copy, M: Copy + TrustMode> Copy for SyscallInstrColumns<T, M>

where M::SyscallInstrCols<T>: Copy,