Function prio::pcp::query[−][src]

pub fn query<V: Value>(
    input: &V, 
    proof: &Proof<V::Field>, 
    query_rand: &[V::Field], 
    joint_rand: &[V::Field]
) -> Result<Verifier<V::Field>, PcpError>
Expand description

Generate a verifier message for an input and proof (or the verifier share for an input share and proof share).

Parameters:

  • input is the input.
  • proof is the proof.
  • query_rand is the verifier’s randomness.
  • joint_rand is the randomness shared by the prover and verifier.