Struct EcallCols

#[repr(C)]
pub struct EcallCols<T> {
    pub is_enter_unconstrained: IsZeroOperation<T>,
    pub is_hint_len: IsZeroOperation<T>,
    pub is_halt: IsZeroOperation<T>,
    pub is_commit: IsZeroOperation<T>,
    pub is_commit_deferred_proofs: IsZeroOperation<T>,
    pub index_bitmap: [T; 8],
    pub syscall_nonce: T,
    pub operand_range_check_cols: BabyBearWordRangeChecker<T>,
    pub operand_to_check: Word<T>,
}

Fields

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: 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.

syscall_nonce: T

The nonce of the syscall operation.

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.

Trait Implementations

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

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

Immutably borrows from an owned value.

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

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

Mutably borrows from an owned value.

impl<T: Clone> Clone for EcallCols<T>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for EcallCols<T>

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

Formats the value using the given formatter.

impl<T: Default> Default for EcallCols<T>

fn default() -> EcallCols<T>

Returns the “default value” for a type.

impl<T: Copy> Copy for EcallCols<T>