Trait sp1_core::bytes::event::ByteRecord

pub trait ByteRecord {
    // Required methods
    fn add_byte_lookup_event(&mut self, blu_event: ByteLookupEvent);
    fn add_sharded_byte_lookup_events(
        &mut self,
        sharded_blu_events_vec: Vec<&HashMap<u32, HashMap<ByteLookupEvent, usize>>>,
    );

    // Provided methods
    fn add_byte_lookup_events(&mut self, blu_events: Vec<ByteLookupEvent>) { ... }
    fn add_u8_range_check(&mut self, shard: u32, channel: u8, a: u8, b: u8) { ... }
    fn add_u16_range_check(&mut self, shard: u32, channel: u8, a: u16) { ... }
    fn add_u8_range_checks(&mut self, shard: u32, channel: u8, bytes: &[u8]) { ... }
    fn add_u8_range_checks_field<F: PrimeField32>(
        &mut self,
        shard: u32,
        channel: u8,
        field_values: &[F],
    ) { ... }
    fn add_u16_range_checks(&mut self, shard: u32, channel: u8, ls: &[u16]) { ... }
    fn lookup_or(&mut self, shard: u32, channel: u8, b: u8, c: u8) { ... }
}

A type that can record byte lookup events.

Required Methods

fn add_byte_lookup_event(&mut self, blu_event: ByteLookupEvent)

Adds a new ByteLookupEvent to the record.

fn add_sharded_byte_lookup_events( &mut self, sharded_blu_events_vec: Vec<&HashMap<u32, HashMap<ByteLookupEvent, usize>>>, )

Provided Methods

fn add_byte_lookup_events(&mut self, blu_events: Vec<ByteLookupEvent>)

Adds a list of ByteLookupEvents to the record.

fn add_u8_range_check(&mut self, shard: u32, channel: u8, a: u8, b: u8)

Adds a ByteLookupEvent to verify a and `b are indeed bytes to the shard.

fn add_u16_range_check(&mut self, shard: u32, channel: u8, a: u16)

Adds a ByteLookupEvent to verify a is indeed u16.

fn add_u8_range_checks(&mut self, shard: u32, channel: u8, bytes: &[u8])

Adds ByteLookupEvents to verify that all the bytes in the input slice are indeed bytes.

fn add_u8_range_checks_field<F: PrimeField32>( &mut self, shard: u32, channel: u8, field_values: &[F], )

Adds ByteLookupEvents to verify that all the field elements in the input slice are indeed bytes.

fn add_u16_range_checks(&mut self, shard: u32, channel: u8, ls: &[u16])

Adds ByteLookupEvents to verify that all the bytes in the input slice are indeed bytes.

fn lookup_or(&mut self, shard: u32, channel: u8, b: u8, c: u8)

Adds a ByteLookupEvent to compute the bitwise OR of the two input values.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl ByteRecord for Vec<ByteLookupEvent>

fn add_byte_lookup_event(&mut self, blu_event: ByteLookupEvent)

fn add_sharded_byte_lookup_events( &mut self, _: Vec<&HashMap<u32, HashMap<ByteLookupEvent, usize>>>, )

impl ByteRecord for HashMap<u32, HashMap<ByteLookupEvent, usize>>

fn add_byte_lookup_event(&mut self, blu_event: ByteLookupEvent)

fn add_sharded_byte_lookup_events( &mut self, new_events: Vec<&HashMap<u32, HashMap<ByteLookupEvent, usize>>>, )

Implementors

impl ByteRecord for ExecutionRecord