Fix unformed sentence.

private-attribution · Jul 9, 2024 · 2953e18 · 2953e18
1 parent e514d29
commit 2953e18
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/draft-savage-ppm-3phm-mpc.md b/draft-savage-ppm-3phm-mpc.md
@@ -701,7 +701,7 @@ At each iteration:
     3. The verifiers each sum together the first `L-1` points they were given:
        `P_-` computes `sum_- = sum(i=0..L-1, G_-(i))`.
        `P_+` computes `sum_+ = sum(i=0..L-1, G_+(i))`.
-       where `sum_- + sum_+ = sum(0..L-1, G(i))`.
+       As a result, `sum_- + sum_+ = sum(0..L-1, G(i))`.
 
     4. Now the verifiers verify the proposition `sum(i=0..L-1, G(i)) = t` by having
        `P_-` compute `b_- = t_- - sum_-` and