binius_core::transcript

Trait CanWrite

source
pub trait CanWrite {
    // Required methods
    fn write_bytes(&mut self, data: &[u8]);
    fn write_scalar_slice<F: TowerField>(&mut self, elems: &[F]);

    // Provided methods
    fn write_scalar<F: TowerField>(&mut self, f: F) { ... }
    fn write_packed<P: PackedField<Scalar: TowerField>>(&mut self, packed: P) { ... }
}
Expand description

Trait that is used to write bytes and field elements to transcript/advice

Required Methods§

source

fn write_bytes(&mut self, data: &[u8])

source

fn write_scalar_slice<F: TowerField>(&mut self, elems: &[F])

Provided Methods§

source

fn write_scalar<F: TowerField>(&mut self, f: F)

source

fn write_packed<P: PackedField<Scalar: TowerField>>(&mut self, packed: P)

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

impl<'a, T: 'a + CanWrite + ?Sized> CanWrite for &'a mut T

source§

fn write_bytes(&mut self, data: &[u8])

source§

fn write_scalar<F: TowerField>(&mut self, f: F)

source§

fn write_scalar_slice<F: TowerField>(&mut self, elems: &[F])

source§

fn write_packed<P: PackedField<Scalar: TowerField>>(&mut self, packed: P)

Implementors§

source§

impl CanWrite for AdviceWriter

source§

impl<Challenger_: Challenger> CanWrite for TranscriptWriter<Challenger_>