Struct Proof 

pub struct Proof<F> {
    pub up_evals: Vec<F>,
    pub down_evals: Vec<F>,
    pub bit_op_evals: Vec<F>,
}

The proof type of the combined polynomial resolver subprotocol.

Note: the sumcheck proof now lives at the protocol level as part of MultiDegreeSumcheckProof.

bit_op_evals is the prover’s claim about the bit-op virtual columns’ MLE evaluations at the shared CPR point. These are not trusted by themselves: they are bound back to the source columns’ lifted openings at the multi-point evaluation endpoint via Lemma 2.3.

Fields

up_evals: Vec<F>

The evaluation of the projected trace columns MLEs at the shared point.

down_evals: Vec<F>

The evaluations of the shifted projected trace columns MLEs at the shared point. Carries only the row-shift virtual columns — bit-op virtuals are sent separately in bit_op_evals to avoid overloading shift semantics on the wire.

bit_op_evals: Vec<F>

The evaluations of the bit-op virtual columns (ROTR / SHR) at the shared point, in UairSignature::bit_op_specs() order.

Implementations

impl<F> Proof<F>

pub fn try_map<T, E>( &self, f: impl FnMut(&F) -> Result<T, E> + Copy, ) -> Result<Proof<T>, E>

Maps every field element through f, preserving structure — used to lift elements into wire integers and to project wire integers back into elements at the (de)serialization boundary.

impl<F: SetElement> Proof<F>

pub fn validate_evaluation_sizes( &self, num_cols: usize, num_down_cols: usize, num_bit_op_specs: usize, ) -> Result<(), CombinedPolyResolverError<F>>

Check that the proof’s evaluation vectors have the expected lengths.

Trait Implementations

impl<F: Clone> Clone for Proof<F>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for Proof<F>

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

Formats the value using the given formatter.

impl<F: ConstTranscribable> GenTranscribable for Proof<F>

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> PartialEq for Proof<F>

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

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.

const LENGTH_NUM_BYTES: usize = u32::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 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> Eq for Proof<F>

impl<F> StructuralPartialEq for Proof<F>