pub fn prove_evaluation(
params: &PolyCommitParams,
coefficients: &[Scalar],
blinding: &PolyBlinding,
eval_point: Scalar,
) -> PolyCommitResult<EvaluationProof>Expand description
Prove evaluation of polynomial at a specific point.
ยงArguments
params- Polynomial commitment parameterscoefficients- Polynomial coefficientsblinding- Blinding factor from commitmenteval_point- Point at which to evaluate