Struct zkevm_circuits::table::CopyTable

pub struct CopyTable {
    pub is_first: Column<Advice>,
    pub id: WordLoHi<Column<Advice>>,
    pub addr: Column<Advice>,
    pub src_addr_end: Column<Advice>,
    pub bytes_left: Column<Advice>,
    pub rlc_acc: Column<Advice>,
    pub rw_counter: Column<Advice>,
    pub rwc_inc_left: Column<Advice>,
    pub q_enable: Column<Fixed>,
    pub tag: BinaryNumberBits<3>,
}

Copy Table, used to verify copies of byte chunks between Memory, Bytecode, TxLogs and TxCallData.

Fields

is_first: Column<Advice>

Whether the row is the first read-write pair for a copy event.

id: WordLoHi<Column<Advice>>

The relevant ID for the read-write row, represented as a random linear combination. The ID may be one of the below:

1. Call ID/Caller ID for CopyDataType::Memory
2. The hi/lo limbs of bytecode hash for CopyDataType::Bytecode
3. Transaction ID for CopyDataType::TxCalldata, CopyDataType::TxLog

addr: Column<Advice>

The source/destination address for this copy step. Can be memory address, byte index in the bytecode, tx call data, and tx log data.

src_addr_end: Column<Advice>

The end of the source buffer for the copy event. Any data read from an address greater than or equal to this value will be 0.

bytes_left: Column<Advice>

The number of bytes left to be copied.

rlc_acc: Column<Advice>

An accumulator value in the RLC representation. This is used for specific purposes, for instance, when tag == CopyDataType::RlcAcc. Having an additional column for the rlc_acc simplifies the lookup to copy table.

rw_counter: Column<Advice>

The associated read-write counter for this row.

rwc_inc_left: Column<Advice>

Decrementing counter denoting reverse read-write counter.

q_enable: Column<Fixed>

Selector for the tag BinaryNumberChip

tag: BinaryNumberBits<3>

Binary chip to constrain the copy table conditionally depending on the current row’s tag, whether it is Bytecode, Memory, TxCalldata or TxLog.

Implementations

impl CopyTable

pub fn construct<F: Field>( meta: &mut ConstraintSystem<F>, q_enable: Column<Fixed> ) -> Self

Construct a new CopyTable

pub fn assignments<F: Field>( copy_event: &CopyEvent, challenges: Challenges<Value<F>> ) -> Vec<(CopyDataType, [(Value<F>, &'static str); 12], [(Value<F>, &'static str); 5])>

Generate the copy table and copy circuit assignments from a copy event.

pub fn load<F: Field>( &self, layouter: &mut impl Layouter<F>, block: &Block<F>, chunk: &Chunk<F>, challenges: &Challenges<Value<F>> ) -> Result<(), Error>

Assign the CopyTable from a Block.

Trait Implementations

impl Clone for CopyTable

fn clone(&self) -> CopyTable

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CopyTable

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

Formats the value using the given formatter.

impl<F: Field> LookupTable<F> for CopyTable

fn columns(&self) -> Vec<Column<Any>>

Returns the list of ALL the table columns following the table order.

fn annotations(&self) -> Vec<String>

Returns the String annotations associated to each column of the table.

fn table_exprs(&self, meta: &mut VirtualCells<'_, F>) -> Vec<Expression<F>>

Return the list of expressions used to define the lookup table.

fn advice_columns(&self) -> Vec<Column<Advice>>

Returns the list of ALL the table advice columns following the table order.

fn annotate_columns(&self, cs: &mut ConstraintSystem<F>)

Annotates a lookup table by passing annotations for each of it’s columns.

fn annotate_columns_in_region(&self, region: &mut Region<'_, F>)

Annotates columns of a table embedded within a circuit region.

impl Copy for CopyTable