Struct BitwiseOperationLookupChip

pub struct BitwiseOperationLookupChip<const NUM_BITS: usize> {
    pub air: BitwiseOperationLookupAir<NUM_BITS>,
    /* private fields */
}

Fields

air: BitwiseOperationLookupAir<NUM_BITS>

Implementations

impl<const NUM_BITS: usize> BitwiseOperationLookupChip<NUM_BITS>

pub fn new(bus: BitwiseOperationLookupBus) -> Self

pub fn bus(&self) -> BitwiseOperationLookupBus

pub fn air_width(&self) -> usize

pub fn request_range(&self, x: u32, y: u32)

pub fn request_xor(&self, x: u32, y: u32) -> u32

pub fn clear(&self)

pub fn generate_trace<F: Field>(&self) -> RowMajorMatrix<F>

Trait Implementations

impl<SC: StarkGenericConfig, const NUM_BITS: usize> Chip<SC> for BitwiseOperationLookupChip<NUM_BITS>

fn air(&self) -> Arc<dyn AnyRap<SC>>

fn generate_air_proof_input(self) -> AirProofInput<SC>

Generate all necessary input for proving a single AIR.

fn generate_air_proof_input_with_id( self, air_id: usize, ) -> (usize, AirProofInput<SC>)

impl<const NUM_BITS: usize> ChipUsageGetter for BitwiseOperationLookupChip<NUM_BITS>

fn air_name(&self) -> String

fn constant_trace_height(&self) -> Option<usize>

If the chip has a state-independent trace height that is determined upon construction, return this height. This is used to distinguish “static” versus “dynamic” usage metrics.

fn current_trace_height(&self) -> usize

Height of used rows in the main trace.

fn trace_width(&self) -> usize

Width of the main trace

fn current_trace_cells(&self) -> usize

For metrics collection

impl<const NUM_BITS: usize> Debug for BitwiseOperationLookupChip<NUM_BITS>

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

Formats the value using the given formatter.