Struct BooleanityProof 

pub struct BooleanityProof<F: PrimeField> {
    pub bit_slice_evals: Vec<F>,
}

Proof produced by the booleanity prover. Carries only the flat list of bit-slice MLE evaluations at the multi-degree sumcheck output point $r*$. The remaining open-eval consistency check at $r_0$ is discharged by the protocol-layer caller against lifted_evals.coeffs.

Fields

bit_slice_evals: Vec<F>

Flat list of \widetilde{v_{j,i}}(r*), ordered (j-major, i-minor). Length = num_wit_bin_cols * D.

Trait Implementations

impl<F: Clone + PrimeField> Clone for BooleanityProof<F>

fn clone(&self) -> BooleanityProof<F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug + PrimeField> Debug for BooleanityProof<F>

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

Formats the value using the given formatter.

impl<F> GenTranscribable for BooleanityProof<F>

where F: PrimeField, F::Inner: ConstTranscribable, F::Modulus: ConstTranscribable,

fn read_transcription_bytes_exact(bytes: &[u8]) -> Self

Creates a new instance from a byte buffer. The buffer must be exactly the expected length.

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.

impl<F: PartialEq + PrimeField> PartialEq for BooleanityProof<F>

fn eq(&self, other: &BooleanityProof<F>) -> 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<F> Transcribable for BooleanityProof<F>

where F: PrimeField, F::Inner: ConstTranscribable, F::Modulus: ConstTranscribable,

const LENGTH_NUM_BYTES: usize = <Vec<F> as ::zinc_transcript::traits::Transcribable>::LENGTH_NUM_BYTES

Number of bytes required to represent length of this type, could be zero if known in advance.

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.

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.

fn read_transcription_bytes_subset(bytes: &[u8]) -> (Self, &[u8])

Reads an instance of this type from the beginning of the byte slice, and returns the instance along with the remaining byte slice.

fn write_transcription_bytes_subset<'a>( &self, buf: &'a mut [u8], ) -> &'a mut [u8]

Writes this instance, prefixed by length, into the beginning of the byte buffer, and returns the remaining byte buffer.

impl<F: Eq + PrimeField> Eq for BooleanityProof<F>

impl<F: PrimeField> StructuralPartialEq for BooleanityProof<F>