/// Squeeze sampled verifier message as field elements. The squeezed
/// elements is attached to pending messages, and need to be submitted
/// through `submit_verifier_current_round`. Submitted messages will be
/// stored in transcript and will be later given to verifier in query
/// and decision phase.
///
/// **Note**: Since we are not running the actual prover code, verifier
/// message is not used `reconstructed_verifer_messages`, so this
/// function returns nothing. TODO: current limitation: sponge
/// constraints does not support squeeze native elements with size
Squeeze sampled verifier message as field elements. The squeezed
elements is attached to pending messages, and need to be submitted
through `submit_verifier_current_round`. Submitted messages will be
stored in transcript and will be later given to verifier in query
and decision phase.

Note**: Since we are not running the actual prover code, verifier
message is not used `reconstructed_verifer_messages`, so this
function returns nothing. TODO: current limitation: sponge
constraints does not support squeeze native elements with size
Squeeze sampled verifier message as field elements . The squeezed elements is attached to pending messages and need to be submitted through ` submit_verifier_current_round ` . Submitted messages will be stored in transcript and will be later given to verifier in query and decision phase . Note ** : Since we are not running the actual prover code verifier message is not used ` reconstructed_verifer_messages ` so this function returns nothing . TODO : current limitation : sponge constraints does not support squeeze native elements with size
pub fn squeeze_verifier_field_elements(
        &mut self,
        num_elements: usize,
    ) -> Result<(), SynthesisError> {
        let msg = self.sponge.squeeze_field_elements(num_elements)?;
        self.pending_verifier_messages
            .push(VerifierMessageVar::FieldElements(msg));
        Ok(())
    }
pub fn squeeze_verifier_field_elements ( & mut self , num_elements : usize , ) -> Result < ( ) , SynthesisError > { let msg = self . sponge . squeeze_field_elements ( num_elements ) ? ; self . pending_verifier_messages . push ( VerifierMessageVar :: FieldElements ( msg ) ) ; Ok ( ( ) ) }
Squeeze sampled verifier message as field elements.
Squeeze sampled verifier message as field elements .
&mut self
num_elements
usize