pub struct ZipPlusCommitment {
pub root: MtHash,
pub batch_size: usize,
}Expand description
The compact commitment to a multilinear polynomial, consisting of only the Merkle roots, to be sent to the verifier.
Fields§
§root: MtHashRoots of the merkle tree of entire matrix
batch_size: usizeTrait Implementations§
Source§impl Clone for ZipPlusCommitment
impl Clone for ZipPlusCommitment
Source§fn clone(&self) -> ZipPlusCommitment
fn clone(&self) -> ZipPlusCommitment
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for ZipPlusCommitment
impl Debug for ZipPlusCommitment
Source§impl Default for ZipPlusCommitment
impl Default for ZipPlusCommitment
Source§fn default() -> ZipPlusCommitment
fn default() -> ZipPlusCommitment
Returns the “default value” for a type. Read more
Source§impl GenTranscribable for ZipPlusCommitment
impl GenTranscribable for ZipPlusCommitment
Source§fn read_transcription_bytes_exact(bytes: &[u8]) -> Self
fn read_transcription_bytes_exact(bytes: &[u8]) -> Self
Creates a new instance from a byte buffer.
The buffer must be exactly the expected length.
Source§fn write_transcription_bytes_exact(&self, buf: &mut [u8])
fn write_transcription_bytes_exact(&self, buf: &mut [u8])
Transcribes the current instance into a byte buffer.
The buffer must be exactly the expected length.
Source§impl PartialEq for ZipPlusCommitment
impl PartialEq for ZipPlusCommitment
impl Eq for ZipPlusCommitment
impl StructuralPartialEq for ZipPlusCommitment
Auto Trait Implementations§
impl Freeze for ZipPlusCommitment
impl RefUnwindSafe for ZipPlusCommitment
impl Send for ZipPlusCommitment
impl Sync for ZipPlusCommitment
impl Unpin for ZipPlusCommitment
impl UnsafeUnpin for ZipPlusCommitment
impl UnwindSafe for ZipPlusCommitment
Blanket Implementations§
§impl<T> AsMaybeUninit for T
impl<T> AsMaybeUninit for T
§type Uninit = MaybeUninit<T>
type Uninit = MaybeUninit<T>
This type in its maybe-uninitialized form.
§fn as_ref_uninit(&self) -> &<T as AsMaybeUninit>::Uninit
fn as_ref_uninit(&self) -> &<T as AsMaybeUninit>::Uninit
Converts a
&self to its maybe-initialized equivalent.§unsafe fn as_mut_uninit(&mut self) -> &mut <T as AsMaybeUninit>::Uninit
unsafe fn as_mut_uninit(&mut self) -> &mut <T as AsMaybeUninit>::Uninit
Converts a
&mut T to its maybe-initialized equivalent. Read more§unsafe fn raw_as_uninit<'a>(raw: *const T) -> &'a <T as AsMaybeUninit>::Uninit
unsafe fn raw_as_uninit<'a>(raw: *const T) -> &'a <T as AsMaybeUninit>::Uninit
Converts a raw pointer to a reference to maybe-uninit. Read more
§unsafe fn raw_mut_as_uninit<'a>(
raw: *mut T,
) -> &'a mut <T as AsMaybeUninit>::Uninit
unsafe fn raw_mut_as_uninit<'a>( raw: *mut T, ) -> &'a mut <T as AsMaybeUninit>::Uninit
Converts a raw mutable pointer to a mutable reference to maybe-uninit. Read more
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more§impl<F, T> IntoWithConfig<F> for Twhere
F: PrimeField + FromWithConfig<T>,
impl<F, T> IntoWithConfig<F> for Twhere
F: PrimeField + FromWithConfig<T>,
fn into_with_cfg(self, cfg: &<F as PrimeField>::Config) -> F
§impl<T> ManuallyDropMut for T
impl<T> ManuallyDropMut for T
type Ret = ManuallyDrop<T>
fn manually_drop_mut<'__>(&'__ mut self) -> &'__ mut ManuallyDrop<T>
§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> Transcribable for Twhere
T: ConstTranscribable,
impl<T> Transcribable for Twhere
T: ConstTranscribable,
Source§const LENGTH_NUM_BYTES: usize = 0
const LENGTH_NUM_BYTES: usize = 0
Number of bytes required to represent length of this type, could be
zero if known in advance.
Source§fn read_num_bytes(bytes: &[u8]) -> usize
fn read_num_bytes(bytes: &[u8]) -> usize
Read number of bytes required to represent this type.
The buffer must be exactly
LENGTH_NUM_BYTES long.
The buffer passed to read_transcription_bytes should be exactly the
length returned by this function.Source§fn get_num_bytes(&self) -> usize
fn get_num_bytes(&self) -> usize
Returns the number of bytes required to represent this type.
The buffer passed to
write_transcription_bytes should be exactly the
length returned by this function.Source§fn read_transcription_bytes_subset(bytes: &[u8]) -> (T, &[u8])
fn read_transcription_bytes_subset(bytes: &[u8]) -> (T, &[u8])
Reads an instance of this type from the beginning of the byte slice, and
returns the instance along with the remaining byte slice.