pub fn verifier_message_pow_parallel<T: FromUniform>(
prover: &mut ProverState<impl DuplexSpongeInterface<U = u8> + Send, impl DuplexSpongeInit<U = u8>>,
config: impl PowStrategy + Send,
) -> Result<T, VerificationError>Expand description
Search in parallel on a concrete prover and return the protected verifier message.
Uses the same nonce exchange, check and protected message as
PowTranscriptExt::verifier_message_pow. The verifier uses that ordinary
helper and never searches.
Only the public sponge and configuration need Send; the live prover and
private RNG stay on the calling thread and need neither Send nor Sync.
This function is synchronous and may block. It is available without Rayon:
the default solver falls back to sequential search unless parallel is enabled.
Configurations may override PowStrategy::solve_parallel for another backend.