Struct FieldBlob

pub struct FieldBlob {
    pub data: Vec<ScalarField>,
    pub commitments: Vec<Curve>,
}

A FieldBlob<F> is what Storage Provider stores per user’s contract: a list of SRS_SIZE * num_chunks field elements, where num_chunks is how much the client allocated.

It can be seen as the encoding of a Vec<u8>, where each field element contains 31 bytes.

Fields

data: Vec<ScalarField>

commitments: Vec<Curve>

Implementations

impl FieldBlob

pub fn alloc_empty(num_chunks: usize) -> FieldBlob

pub fn apply_diff( &mut self, srs: &SRS<Curve>, domain: &Radix2EvaluationDomain<ScalarField>, diff: &Diff<ScalarField>, )

pub fn from_data(srs: &SRS<Curve>, data: &[ScalarField]) -> FieldBlob

pub fn from_bytes<D: EvaluationDomain<ScalarField>>( srs: &SRS<Curve>, domain: D, bytes: &[u8], ) -> FieldBlob

pub fn into_bytes(blob: FieldBlob) -> Vec<u8>

Returns the byte representation of the FieldBlob. Note that bytes ≠ into_bytes(from_bytes(bytes)) if bytes.len() is not divisible by 31*SRS_SIZE. In most cases into_bytes will return more bytes than from_bytes created, so one has to truncate it externally to achieve the expected result.

Trait Implementations

impl Clone for FieldBlob

fn clone(&self) -> FieldBlob

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FieldBlob

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FieldBlob

where ScalarField: CanonicalDeserialize + CanonicalSerialize,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for FieldBlob

fn eq(&self, other: &FieldBlob) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for FieldBlob

where ScalarField: CanonicalDeserialize + CanonicalSerialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for FieldBlob