Trait winter_verifier::Deserializable

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

    fn read_batch_from<R>(
        source: &mut R, 
        num_elements: usize
    ) -> Result<Vec<Self, Global>, DeserializationError>
    where
        R: ByteReader,
    { ... }
}

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_batch_from<R>(
    source: &mut R,
    num_elements: usize
) -> Result<Vec<Self, Global>, DeserializationError> where
    R: ByteReader, 

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

Errors

Returns an error if:

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

Note: if the error occurs, the reader is not rolled back to the state prior to calling this function.

Implementations on Foreign Types

impl Deserializable for Context

pub fn read_from<R>(source: &mut R) -> Result<Context, DeserializationError> where
    R: ByteReader, 

Reads proof context from the specified source and returns the result.

Errors

Returns an error of a valid Context struct could not be read from the specified source.

impl Deserializable for Queries

pub fn read_from<R>(source: &mut R) -> Result<Queries, DeserializationError> where
    R: ByteReader, 

Reads a query struct from the specified source and returns the result

Errors

Returns an error of a valid query struct could not be read from the specified source.

impl Deserializable for OodFrame

pub fn read_from<R>(source: &mut R) -> Result<OodFrame, DeserializationError> where
    R: ByteReader, 

Reads a OOD frame from the specified source and returns the result

Errors

Returns an error of a valid OOD frame could not be read from the specified source.

impl Deserializable for Commitments

pub fn read_from<R>(source: &mut R) -> Result<Commitments, DeserializationError> where
    R: ByteReader, 

Reads commitments from the specified source and returns the result.

Errors

Returns an error of a valid Commitments struct could not be read from the specified source.

impl Deserializable for FriProof

pub 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

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

impl Deserializable for BaseElement

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

impl<B> Deserializable for QuadExtensionA<B> where
    B: StarkField, 

pub fn read_from<R>(
    source: &mut R
) -> Result<QuadExtensionA<B>, DeserializationError> where
    R: ByteReader, 

Implementors

impl Deserializable for FieldExtension

impl Deserializable for HashFunction

impl Deserializable for ProofOptions