Enum bus_mapping::circuit_input_builder::CopyDataType

pub enum CopyDataType {
    Padding = 0,
    Bytecode = 1,
    Memory = 2,
    TxCalldata = 3,
    TxLog = 4,
    RlcAcc = 5,
}

Defines the various source/destination types for a copy event.

Variants

Padding = 0

When we need to pad the Copy rows of the circuit up to a certain maximum with rows that are not “useful”.

Bytecode = 1

When the source for the copy event is the bytecode table.

Memory = 2

When the source/destination for the copy event is memory.

TxCalldata = 3

When the source for the copy event is tx’s calldata.

TxLog = 4

When the destination for the copy event is tx’s log.

RlcAcc = 5

When the destination rows are not directly for copying but for a special scenario where we wish to accumulate the value (RLC) over all rows. This is used for Copy Lookup from SHA3 opcode verification.

Trait Implementations

impl Clone for CopyDataType

fn clone(&self) -> CopyDataType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CopyDataType

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

Formats the value using the given formatter.

impl Default for CopyDataType

fn default() -> Self

Returns the “default value” for a type.

impl<F: Field> Expr<F> for CopyDataType

fn expr(&self) -> Expression<F>

Returns an expression for the type.

impl From<CopyDataType> for usize

fn from(t: CopyDataType) -> Self

Converts to this type from the input type.

impl IntoEnumIterator for CopyDataType

type Iterator = CopyDataTypeIter

fn iter() -> CopyDataTypeIter

impl PartialEq for CopyDataType

fn eq(&self, other: &CopyDataType) -> 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<F: Field> Scalar<F> for CopyDataType

fn scalar(&self) -> F

Returns a scalar for the type.

impl Copy for CopyDataType

impl Eq for CopyDataType

impl StructuralPartialEq for CopyDataType