verify_evaluation

Function verify_evaluation 

Source
pub fn verify_evaluation(
    params: &PolyCommitParams,
    commitment: &PolyCommitment,
    eval_point: Scalar,
    proof: &EvaluationProof,
) -> PolyCommitResult<()>
Expand description

Verify an evaluation proof.

ยงArguments

  • params - Polynomial commitment parameters
  • commitment - Polynomial commitment
  • eval_point - Evaluation point
  • proof - The proof to verify