Trait winter_prover::Deserializable

pub trait Deserializable: Sized {
    // Required method
    fn read_from<R>(source: &mut R) -> Result<Self, DeserializationError>
       where R: ByteReader;

    // Provided method
    fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError> { ... }
}

Defines how to deserialize Self from bytes.

Required Methods

fn read_from<R>(source: &mut R) -> Result<Self, DeserializationError>

where R: ByteReader,

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into Self, and returns the result.

Errors

Returns an error if:

• The source does not contain enough bytes to deserialize Self.
• Bytes read from the source do not represent a valid value for Self.

Provided Methods

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

Errors

Returns an error if:

• The bytes do not contain enough information to deserialize Self.
• The bytes do not represent a valid value for Self.

Note: if bytes contains more data than needed to deserialize self, no error is returned.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl Deserializable for u8

fn read_from<R>(source: &mut R) -> Result<u8, DeserializationError>

where R: ByteReader,

impl Deserializable for u16

fn read_from<R>(source: &mut R) -> Result<u16, DeserializationError>

where R: ByteReader,

impl Deserializable for u32

fn read_from<R>(source: &mut R) -> Result<u32, DeserializationError>

where R: ByteReader,

impl Deserializable for u64

fn read_from<R>(source: &mut R) -> Result<u64, DeserializationError>

where R: ByteReader,

impl Deserializable for u128

fn read_from<R>(source: &mut R) -> Result<u128, DeserializationError>

where R: ByteReader,

impl Deserializable for ()

fn read_from<R>(_source: &mut R) -> Result<(), DeserializationError>

where R: ByteReader,

impl Deserializable for usize

fn read_from<R>(source: &mut R) -> Result<usize, DeserializationError>

where R: ByteReader,

impl Deserializable for FriProof

fn read_from<R>(source: &mut R) -> Result<FriProof, DeserializationError>

where R: ByteReader,

Reads a FRI proof from the specified source and returns the result.

Errors

Returns an error if a valid proof could not be read from the source.

impl Deserializable for BaseElement

fn read_from<R>(source: &mut R) -> Result<BaseElement, DeserializationError>

where R: ByteReader,

impl Deserializable for BaseElement

fn read_from<R>(source: &mut R) -> Result<BaseElement, DeserializationError>

where R: ByteReader,

impl Deserializable for BaseElement

fn read_from<R>(source: &mut R) -> Result<BaseElement, DeserializationError>

where R: ByteReader,

impl<B> Deserializable for CubeExtension<B>

where B: ExtensibleField<3>,

fn read_from<R>( source: &mut R ) -> Result<CubeExtension<B>, DeserializationError>

where R: ByteReader,

impl<B> Deserializable for QuadExtension<B>

where B: ExtensibleField<2>,

fn read_from<R>( source: &mut R ) -> Result<QuadExtension<B>, DeserializationError>

where R: ByteReader,

impl<T1> Deserializable for (T1,)

where T1: Deserializable,

fn read_from<R>(source: &mut R) -> Result<(T1,), DeserializationError>

where R: ByteReader,

impl<T1, T2> Deserializable for (T1, T2)

where T1: Deserializable, T2: Deserializable,

fn read_from<R>(source: &mut R) -> Result<(T1, T2), DeserializationError>

where R: ByteReader,

impl<T1, T2, T3> Deserializable for (T1, T2, T3)

where T1: Deserializable, T2: Deserializable, T3: Deserializable,

fn read_from<R>(source: &mut R) -> Result<(T1, T2, T3), DeserializationError>

where R: ByteReader,

impl<T1, T2, T3, T4> Deserializable for (T1, T2, T3, T4)

where T1: Deserializable, T2: Deserializable, T3: Deserializable, T4: Deserializable,

fn read_from<R>( source: &mut R ) -> Result<(T1, T2, T3, T4), DeserializationError>

where R: ByteReader,

impl<T1, T2, T3, T4, T5> Deserializable for (T1, T2, T3, T4, T5)

where T1: Deserializable, T2: Deserializable, T3: Deserializable, T4: Deserializable, T5: Deserializable,

fn read_from<R>( source: &mut R ) -> Result<(T1, T2, T3, T4, T5), DeserializationError>

where R: ByteReader,

impl<T1, T2, T3, T4, T5, T6> Deserializable for (T1, T2, T3, T4, T5, T6)

where T1: Deserializable, T2: Deserializable, T3: Deserializable, T4: Deserializable, T5: Deserializable, T6: Deserializable,

fn read_from<R>( source: &mut R ) -> Result<(T1, T2, T3, T4, T5, T6), DeserializationError>

where R: ByteReader,

impl<T> Deserializable for Option<T>

where T: Deserializable,

fn read_from<R>(source: &mut R) -> Result<Option<T>, DeserializationError>

where R: ByteReader,

impl<T, const C: usize> Deserializable for [T; C]

where T: Deserializable,

fn read_from<R>(source: &mut R) -> Result<[T; C], DeserializationError>

where R: ByteReader,

Implementors

impl Deserializable for FieldExtension

impl Deserializable for Commitments

impl Deserializable for Context

impl Deserializable for OodFrame

impl Deserializable for Queries

impl Deserializable for ProofOptions

impl Deserializable for StarkProof

impl Deserializable for TraceLayout