Trait TableFiller

pub trait TableFiller<P = PackedType<OptimalUnderlier, B128>>
where
    P: PackedField,
    P::Scalar: TowerField,
{
    type Event: Clone;

    // Required methods
    fn id(&self) -> TableId;
    fn fill(
        &self,
        rows: &[Self::Event],
        witness: &mut TableWitnessSegment<'_, P>,
    ) -> Result<()>;
}

A struct that can populate segments of a table witness using row descriptors.

Required Associated Types

type Event: Clone

A struct that specifies the row contents.

Required Methods

fn id(&self) -> TableId

Returns the table ID.

fn fill( &self, rows: &[Self::Event], witness: &mut TableWitnessSegment<'_, P>, ) -> Result<()>

Fill the table witness with data derived from the given rows.

Preconditions

• the number of elements in rows must equal witness.size()

Implementors

impl TableFiller for BitAndLookup

Implements filling for the AND lookup table.

type Event = (usize, u32)

impl TableFiller for IncrLookup

Implements filling for the increment lookup table.

type Event = (usize, u32)

impl<P> TableFiller<P> for NodesTable

where P: PackedFieldIndexable<Scalar = B128> + PackedExtension<B1> + PackedExtension<B8> + PackedExtension<B32> + PackedExtension<B64>, PackedSubfield<P, B8>: PackedTransformationFactory<PackedSubfield<P, B8>> + PackedFieldIndexable,

type Event = MerklePathEvent

impl<P> TableFiller<P> for RootTable

where P: PackedFieldIndexable<Scalar = B128> + PackedExtension<B1> + PackedExtension<B8> + PackedExtension<B32> + PackedExtension<B64>, PackedSubfield<P, B8>: PackedFieldIndexable,

type Event = MerkleRootEvent

impl<P: PackedField<Scalar: TowerField>, Event: Clone> TableFiller<P> for ClosureFiller<'_, P, Event>

type Event = Event