Trait winter_prover::Serializable

pub trait Serializable: Sized {
    // Required method
    fn write_into<W>(&self, target: &mut W)
       where W: ByteWriter;

    // Provided methods
    fn to_bytes(&self) -> Vec<u8> ⓘ { ... }
    fn write_batch_into<W>(source: &[Self], target: &mut W)
       where W: ByteWriter { ... }
    fn get_size_hint(&self) -> usize { ... }
}

Expand description

Defines how to serialize Self into bytes.

Required Methods§

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

Serializes self into bytes and writes these bytes into the target.

Provided Methods§

fn to_bytes(&self) -> Vec<u8> ⓘ

Serializes self into a vector of bytes.

fn write_batch_into<W>(source: &[Self], target: &mut W)
where W: ByteWriter,

Serializes all elements of the source and writes these bytes into the target.

This method does not write any metadata (e.g. number of serialized elements) into the target.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

The default implementation returns zero.

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

impl Serializable for u8

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

impl Serializable for u16

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

impl Serializable for u32

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

impl Serializable for u64

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

impl Serializable for ()

fn write_into<W>(&self, _target: &mut W)
where W: ByteWriter,

impl Serializable for Commitments

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

Serializes self and writes the resulting bytes into the target.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl Serializable for Context

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

Serializes self and writes the resulting bytes into the target.

impl Serializable for OodFrame

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

Serializes self and writes the resulting bytes into the target.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl Serializable for Queries

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

Serializes self and writes the resulting bytes into the target.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl Serializable for FriProof

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

Serializes self and writes the resulting bytes into the target writer.

impl Serializable for BaseElement

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

impl Serializable for BaseElement

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

impl Serializable for BaseElement

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

impl<B> Serializable for CubeExtension<B>
where B: ExtensibleField<3>,

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

impl<B> Serializable for QuadExtension<B>
where B: ExtensibleField<2>,

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

impl<T> Serializable for &Option<T>
where T: Serializable,

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

impl<T> Serializable for &[T]
where T: Serializable,

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

impl<T> Serializable for &Vec<T>
where T: Serializable,

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

impl<T> Serializable for Option<T>
where T: Serializable,

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

impl<T> Serializable for Vec<T>
where T: Serializable,

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

impl<T, const N: usize> Serializable for &Vec<[T; N]>
where T: Serializable,

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

impl<T, const N: usize> Serializable for &[[T; N]]
where T: Serializable,

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

impl<T, const N: usize> Serializable for Vec<[T; N]>
where T: Serializable,

fn write_into<W>(&self, target: &mut W)
where W: ByteWriter,

Implementors§

impl Serializable for FieldExtension

impl Serializable for ProofOptions

impl Serializable for StarkProof

impl Serializable for TraceLayout