/// Returns a wrapper for BCS proof so that verifier can reconstruct
/// verifier messages by simulating commit phase easily.
Returns a wrapper for BCS proof so that verifier can reconstruct
verifier messages by simulating commit phase easily.
Returns a wrapper for BCS proof so that verifier can reconstruct verifier messages by simulating commit phase easily .
pub(crate) fn new_transcript(
        bcs_proof: &'a BCSProof<P, F>,
        sponge: S,
        ldt_codeword_domain: Option<Radix2CosetDomain<F>>,
        ldt_localization_parameter: Option<usize>,
        trace: TraceInfo,
    ) -> Self {
        Self {
            proof: bcs_proof,
            expected_prover_messages_info: Vec::new(),
            ldt_codeword_domain,
            ldt_localization_parameter,
            sponge,
            current_prover_round: 0,
            reconstructed_verifier_messages: Vec::new(),
            pending_verifier_messages: Vec::new(),
            bookkeeper: MessageBookkeeper::new(trace),
            registered_virtual_oracles: Vec::new(),
        }
    }
pub ( crate ) fn new_transcript ( bcs_proof : & ' a BCSProof < P , F > , sponge : S , ldt_codeword_domain : Option < Radix2CosetDomain < F > > , ldt_localization_parameter : Option < usize > , trace : TraceInfo , ) -> Self { Self { proof : bcs_proof , expected_prover_messages_info : Vec :: new ( ) , ldt_codeword_domain , ldt_localization_parameter , sponge , current_prover_round : 0 , reconstructed_verifier_messages : Vec :: new ( ) , pending_verifier_messages : Vec :: new ( ) , bookkeeper : MessageBookkeeper :: new ( trace ) , registered_virtual_oracles : Vec :: new ( ) , } }
Returns a wrapper for BCS proof so that verifier can reconstruct
verifier messages by simulating commit phase easily.
Returns a wrapper for BCS proof so that verifier can reconstruct verifier messages by simulating commit phase easily .
bcs_proof
&'a BCSProof<P, F>
sponge
S
ldt_codeword_domain
Option<Radix2CosetDomain<F>>
ldt_localization_parameter
Option<usize>
trace
TraceInfo