Struct SyscallInstrColumns 

#[repr(C)]
pub struct SyscallInstrColumns<T> {

    pub pc: T,
    pub next_pc: T,
    pub shard: T,
    pub clk: T,
    pub num_extra_cycles: T,
    pub is_halt: T,
    pub op_a_access: MemoryReadWriteCols<T>,
    pub op_b_value: Word<T>,
    pub op_c_value: Word<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 operand_range_check_cols: BabyBearWordRangeChecker<T>,
    pub operand_to_check: Word<T>,
    pub ecall_range_check_operand: T,
    pub is_real: T,
}

Fields

pc: T

The program counter of the instruction.

next_pc: T

The next program counter.

shard: T

The shard number.

clk: T

The clock cycle number.

num_extra_cycles: T

The number of extra cycles to add to the clk for a syscall instruction.

is_halt: T

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

op_a_access: MemoryReadWriteCols<T>

The access columns for the first operand.

op_b_value: Word<T>

The value of the second operand.

op_c_value: Word<T>

The value of the third operand.

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.

operand_range_check_cols: BabyBearWordRangeChecker<T>

Columns to babybear range check the halt/commit_deferred_proofs operand.

operand_to_check: Word<T>

The operand value to babybear range check.

ecall_range_check_operand: T

The result of is_real * (is_halt || is_commit_deferred_proofs)

is_real: T

Whether the current instruction is a real instruction.

Trait Implementations

impl<T> Borrow<SyscallInstrColumns<T>> for [T]

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

Immutably borrows from an owned value.

impl<T> BorrowMut<SyscallInstrColumns<T>> for [T]

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

Mutably borrows from an owned value.

impl<T: Clone> Clone for SyscallInstrColumns<T>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for SyscallInstrColumns<T>

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

Formats the value using the given formatter.

impl<T: Default> Default for SyscallInstrColumns<T>

fn default() -> SyscallInstrColumns<T>

Returns the “default value” for a type.

impl<T: Copy> Copy for SyscallInstrColumns<T>