Add comment for denominator polynomial

2026-04-18 09:33:34 +00:00 · 2021-06-21 10:32:32 +02:00 · 2021-06-21 10:32:32 +02:00 · 15922d2518
commit 15922d2518
parent 37171505c7
1 changed files with 1 additions and 0 deletions
--- a/src/polynomial/commitment.rs
+++ b/src/polynomial/commitment.rs
@ -180,6 +180,7 @@ impl<F: Field> ListPolynomialCommitment<F> {
        let quotient = if N == 1 {
            poly.divide_by_linear(points[0]).0
        } else if N == 2 {
+            // The denominator is `(X - p0)(X - p1) = p0 p1 - (p0 + p1) X + X^2`.
            let denominator = vec![
                points[0] * points[1],
                -points[0] - points[1],