prove_evaluation

Function prove_evaluation 

Source
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 parameters
  • coefficients - Polynomial coefficients
  • blinding - Blinding factor from commitment
  • eval_point - Point at which to evaluate