arith_struct

Documentation

Index

• func AssignTestingArithModules(run *wizard.ProverRuntime, ...)
• func DefineTestingArithModules(b *wizard.Builder, ctBlockData, ctTxnData, ctRlpTxn *csvtraces.CsvTrace) (*BlockDataCols, *TxnData, *RlpTxn)
• type BlockDataCols
• type RlpTxn
• type TxnData

Functions

func AssignTestingArithModules

func AssignTestingArithModules(run *wizard.ProverRuntime, ctBlockData, ctTxnData, ctRlpTxn *csvtraces.CsvTrace)

AssignTestingArithModules assigns the BlockDataCols, TxnData and RlpTxn modules based on csv traces. if a module is missing,the corresponding assignment is skipped

func DefineTestingArithModules

func DefineTestingArithModules(b *wizard.Builder, ctBlockData, ctTxnData, ctRlpTxn *csvtraces.CsvTrace) (*BlockDataCols, *TxnData, *RlpTxn)

DefineTestingArithModules defines the BlockDataCols, TxnData and RlpTxn modules based on csv traces. if a csvTrace is nil, the corresponding module will be missing in the return data.

Types

type BlockDataCols

type BlockDataCols struct {
	// RelBlock is the relative block number, ranging from 1 to the total number of blocks
	RelBlock ifaces.Column
	// Inst encodes the type of the row
	Inst ifaces.Column
	// Ct is a counter column
	Ct ifaces.Column
	// DataHi/DataLo encode the data, for example the timestamps
	DataHi, DataLo ifaces.Column
	// FirstBlock contains the absolute ID of the first block
	FirstBlock ifaces.Column
}

BlockDataCols models the arithmetization's BlockData module

type RlpTxn

type RlpTxn struct {
	AbsTxNum, AbsTxNumMax ifaces.Column // Absolute number of the transaction (starts from 1 and acts as an Active Filter), and the maximum number of transactions
	ToHashByProver        ifaces.Column // Relative TxNum inside the block,
	Limb                  ifaces.Column
	NBytes                ifaces.Column // the number of bytes to load from the limb
	Done                  ifaces.Column // indicator column which we will use to obtain the ChainID
	IsPhaseChainID        ifaces.Column // indicator column which we will use to obtain the ChainID
}

RlpTxn models the arithmetization's RlpTxn module

type TxnData

type TxnData struct {
	AbsTxNum, AbsTxNumMax ifaces.Column // Absolute number of the transaction (starts from 1 and acts as an Active Filter), and the maximum number of transactions
	RelTxNum, RelTxNumMax ifaces.Column // Relative TxNum inside the block,
	FromHi, FromLo        ifaces.Column // Sender address
	IsLastTxOfBlock       ifaces.Column // 1 if this is the last transaction inside the block
	RelBlock              ifaces.Column // Relative Block number inside the batch
	Ct                    ifaces.Column
}

TxnData models the arithmetization's TxnData module