Struct AdviceReader

pub struct AdviceReader { /* private fields */ }

Readable(Verifier) advice that CanRead

You must manually call the destructor with finalize() to check anything that’s written is fully read out

Implementations

impl AdviceReader

pub fn new(vec: Vec<u8>) -> Self

pub fn finalize(self) -> Result<(), Error>

Trait Implementations

impl CanRead for AdviceReader

fn read_bytes(&mut self, buf: &mut [u8]) -> Result<(), Error>

fn read_scalar_slice_into<F: TowerField>( &mut self, buf: &mut [F], ) -> Result<(), Error>

fn read_scalar<F: TowerField>(&mut self) -> Result<F, Error>

fn read_scalar_slice<F: TowerField>( &mut self, len: usize, ) -> Result<Vec<F>, Error>

fn read_packed<P: PackedField<Scalar: TowerField>>( &mut self, ) -> Result<P, Error>

impl Debug for AdviceReader

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

Formats the value using the given formatter.

impl Drop for AdviceReader

fn drop(&mut self)

Executes the destructor for this type.