pub fn submit(self, namespace: NameSpace, trace: TraceInfo) -> Result<MsgRoundRef, Error> {
        // generate merkle tree
        // extract short messages
        let (mt, recording_oracle, transcript) = self.into_merkle_tree_and_recording_oracle()?;
        // if this round prover message contains oracle messages, absorb merkle tree
        // root
        transcript.sponge.absorb(&mt.as_ref().map(|x| x.root()));
        // if this round prover message has non-oracle messages, absorb them in entirety
        recording_oracle
            .short_messages
            .iter()
            .for_each(|msg| transcript.sponge.absorb(msg));
        transcript.prover_message_oracles.push(recording_oracle);
        transcript.merkle_tree_for_each_round.push(mt);

        Ok(transcript.attach_latest_prover_round_to_namespace(namespace, false, trace))
    }
/// Submit current round to transcript.
Submit current round to transcript.
Submit current round to transcript .
pub fn submit(self, namespace: NameSpace, trace: TraceInfo) -> Result<MsgRoundRef, Error> {
        // generate merkle tree
        // extract short messages
        let (mt, recording_oracle, transcript) = self.into_merkle_tree_and_recording_oracle()?;
        // if this round prover message contains oracle messages, absorb merkle tree
        // root
        transcript.sponge.absorb(&mt.as_ref().map(|x| x.root()));
        // if this round prover message has non-oracle messages, absorb them in entirety
        recording_oracle
            .short_messages
            .iter()
            .for_each(|msg| transcript.sponge.absorb(msg));
        transcript.prover_message_oracles.push(recording_oracle);
        transcript.merkle_tree_for_each_round.push(mt);
        Ok(transcript.attach_latest_prover_round_to_namespace(namespace, false, trace))
    }
pub fn submit ( self , namespace : NameSpace , trace : TraceInfo ) -> Result < MsgRoundRef , Error > { // generate merkle tree // extract short messages let ( mt , recording_oracle , transcript ) = self . into_merkle_tree_and_recording_oracle ( ) ? ; // if this round prover message contains oracle messages, absorb merkle tree // root transcript . sponge . absorb ( & mt . as_ref ( ) . map ( | x | x . root ( ) ) ) ; // if this round prover message has non-oracle messages, absorb them in entirety recording_oracle . short_messages . iter ( ) . for_each ( | msg | transcript . sponge . absorb ( msg ) ) ; transcript . prover_message_oracles . push ( recording_oracle ) ; transcript . merkle_tree_for_each_round . push ( mt ) ; Ok ( transcript . attach_latest_prover_round_to_namespace ( namespace , false , trace ) ) }
Submit current round to transcript.
Submit current round to transcript .
self
namespace
NameSpace
trace
TraceInfo
self
namespace
NameSpace
trace
TraceInfo