pub fn verify_evaluation(
params: &PolyCommitParams,
commitment: &PolyCommitment,
eval_point: Scalar,
proof: &EvaluationProof,
) -> PolyCommitResult<()>Expand description
Verify an evaluation proof.
ยงArguments
params- Polynomial commitment parameterscommitment- Polynomial commitmenteval_point- Evaluation pointproof- The proof to verify