From 5fc26309bec39fafaad60d5af34ae254b370d453 Mon Sep 17 00:00:00 2001 From: Christopher Patton Date: Tue, 8 Oct 2024 10:07:23 -0700 Subject: [PATCH] SQUASH Apply suggestions from code review Co-authored-by: David Cook --- draft-irtf-cfrg-vdaf.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/draft-irtf-cfrg-vdaf.md b/draft-irtf-cfrg-vdaf.md index de53e6a9..2764cf30 100644 --- a/draft-irtf-cfrg-vdaf.md +++ b/draft-irtf-cfrg-vdaf.md @@ -1019,7 +1019,7 @@ accomplished using the following algorithm: Pre-conditions: - * `agg_id` MUST be in `[0,SHARES)` and match the index of + * `agg_id` MUST be in `[0, SHARES)` and match the index of `input_share` in the sequence of input shares produced by the Client. * `nonce` MUST have length `NONCE_SIZE`. @@ -2582,7 +2582,7 @@ of proofs. ## Construction {#prio3-construction} This section specifies `Prio3`, an implementation of the `Vdaf` interface -({{vdaf}}). It has three generic parameters: an `NttField ({{ntt-field}}), an +({{vdaf}}). It has three generic parameters: an `NttField` ({{ntt-field}}), an `Flp` ({{flp}}) and a `Xof` ({{xof}}). It also has an associated constant, `PROOFS`, with a value in range `[1, 256)`, denoting the number of FLPs generated by the Client ({{multiproofs}}). @@ -3953,7 +3953,7 @@ def eval( This instance of Prio3 supports summing a vector of integers. It has three parameters, `length`, `bits`, and `chunk_length`. Each measurement is a vector of positive integers with length equal to the `length` parameter. Each element -of the measurement is an integer in the `[0, 2**bits)`. It is RECOMMENDED +of the measurement is an integer in the range `[0, 2^bits)`. It is RECOMMENDED to set `chunk_length` to an integer near the square root of `length * bits` (see {{parallel-sum-chunk-length}}). @@ -4074,7 +4074,7 @@ def eval( | `OUTPUT_LEN` | `length` | | `JOINT_RAND_LEN` | `GADGET_CALLS[0]` | | `EVAL_OUTPUT_LEN` | `1` | -| `Measurement` | `list[int]`, each element in `[0, 2**bits)` | +| `Measurement` | `list[int]`, each element in `[0, 2^bits)` | | `AggResult` | `list[int]` | {: title="Parameters of validity circuit SumVec."}