From 032e14cd4f9d281cf0c8923ff898acfc4a76b3db Mon Sep 17 00:00:00 2001 From: Christopher Patton Date: Wed, 21 Aug 2024 09:17:14 -0700 Subject: [PATCH] Apply suggestions from code review Co-authored-by: David Cook --- draft-irtf-cfrg-vdaf.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/draft-irtf-cfrg-vdaf.md b/draft-irtf-cfrg-vdaf.md index 71c30fd5..546858a7 100644 --- a/draft-irtf-cfrg-vdaf.md +++ b/draft-irtf-cfrg-vdaf.md @@ -3229,7 +3229,7 @@ Applying this idea to the example circuit `C` above: protect the privacy of the measurement.) It sends secret shares of `x` and the coefficients of `p` to each of the Aggregators. -1. Each Aggregator locally computes and broadcasts its share of `p(0)`, which +1. Each Aggregator locally computes and broadcasts its share of `p(1)`, which is equal to its share of `C(x)`. In fact, our FLP is slightly more general than this. We can replace the @@ -3238,7 +3238,7 @@ For example, in {{prio3sum}}, the validity circuit uses the following sub-circuit multiple times: ~~~ -Range2(x) = x * (x -1) = x^2 - x +Range2(x) = x * (x - 1) = x^2 - x ~~~ (This is the same functionality computed by the example circuit `C` above.)