/// Submit all verifier messages in this round, and set pending round
/// message to `None`. # Panic
/// Panic if current verifier round messages is `None` or `ProverMessage`
Submit all verifier messages in this round, and set pending round
message to `None`. # Panic
Panic if current verifier round messages is `None` or `ProverMessage`
Submit all verifier messages in this round and set pending round message to ` None ` . # Panic Panic if current verifier round messages is ` None ` or ` ProverMessage `
pub fn submit_verifier_current_round(
        &mut self,
        namespace: NameSpace,
        trace: TraceInfo,
    ) -> MsgRoundRef {
        info!("verifier round: {}", trace);
        let pending_message = take(&mut self.pending_message_for_current_round);
        if let PendingMessage::VerifierMessage(round_msg) = pending_message {
            self.verifier_messages.push(round_msg);
            self.attach_latest_verifier_round_to_namespace(namespace, trace)
        } else {
            unreachable!() // TODO: refactor PendingMessage structure
        }
    }
pub fn submit_verifier_current_round ( & mut self , namespace : NameSpace , trace : TraceInfo , ) -> MsgRoundRef { info ! ( " " trace ) ; let pending_message = take ( & mut self . pending_message_for_current_round ) ; if let PendingMessage :: VerifierMessage ( round_msg ) = pending_message { self . verifier_messages . push ( round_msg ) ; self . attach_latest_verifier_round_to_namespace ( namespace , trace ) } else { unreachable ! ( ) // TODO: refactor PendingMessage structure } }
Submit all verifier messages in this round, and set pending round
message to `None`.
Submit all verifier messages in this round and set pending round message to ` None ` .
&mut self
namespace
NameSpace
trace
TraceInfo