pub fn new(
        transcript: &mut Transcript,
        prover_messages: &ProverMsgs<F>,
        asserted_sum: F,
    ) -> Result<Self, VerificationError> {
        let ProverMsgs(messages, final_foldings) = prover_messages;
        let (challenges, reduced_claim) = Self::reduce(transcript, messages, asserted_sum);

        // Add the final foldings to the transcript
        transcript.append_scalar(b"final-folding", &final_foldings[0][0]);
        transcript.append_scalar(b"final-folding", &final_foldings[0][1]);

        if final_foldings[0][0] * final_foldings[0][1] == reduced_claim {
            Ok(Self {
                challenges,
                final_foldings: final_foldings.to_vec(),
            })
        } else {
            Err(VerificationError)
        }
    }
/// Generate a new subclaim
/// from the non-oracle messages from the prover.
Generate a new subclaim
from the non-oracle messages from the prover.
Generate a new subclaim from the non - oracle messages from the prover .
pub fn new(
        transcript: &mut Transcript,
        prover_messages: &ProverMsgs<F>,
        asserted_sum: F,
    ) -> Result<Self, VerificationError> {
        let ProverMsgs(messages, final_foldings) = prover_messages;
        let (challenges, reduced_claim) = Self::reduce(transcript, messages, asserted_sum);
        // Add the final foldings to the transcript
        transcript.append_scalar(b"final-folding", &final_foldings[0][0]);
        transcript.append_scalar(b"final-folding", &final_foldings[0][1]);
        if final_foldings[0][0] * final_foldings[0][1] == reduced_claim {
            Ok(Self {
                challenges,
                final_foldings: final_foldings.to_vec(),
            })
        } else {
            Err(VerificationError)
        }
    }
pub fn new ( transcript : & mut Transcript , prover_messages : & ProverMsgs < F > , asserted_sum : F , ) -> Result < Self , VerificationError > { let ProverMsgs ( messages , final_foldings ) = prover_messages ; let ( challenges , reduced_claim ) = Self :: reduce ( transcript , messages , asserted_sum ) ; // Add the final foldings to the transcript transcript . append_scalar ( b" " , & final_foldings [ 0 ] [ 0 ] ) ; transcript . append_scalar ( b" " , & final_foldings [ 0 ] [ 1 ] ) ; if final_foldings [ 0 ] [ 0 ] * final_foldings [ 0 ] [ 1 ] == reduced_claim { Ok ( Self { challenges , final_foldings : final_foldings . to_vec ( ) , } ) } else { Err ( VerificationError ) } }
Generate a new subclaim
from the non-oracle messages from the prover.
Generate a new subclaim from the non - oracle messages from the prover .
transcript
&mut Transcript
prover_messages
&ProverMsgs<F>
asserted_sum
F