Don't use SHOULD for gadgets being non-affine

cfrg · Nov 2, 2024 · a487454 · a487454
1 parent 4b2eedc
commit a487454
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/draft-irtf-cfrg-vdaf.md b/draft-irtf-cfrg-vdaf.md
@@ -3517,7 +3517,7 @@ The circuit is invoked with the following method:
   * The length of the output MUST be `valid.EVAL_OUTPUT_LEN`.
 
 Each circuit has a list of gadgets, denoted `GADGETS`, that are invoked by
-`valid.eval()`. The circuit evaluated by the gadget SHOULD be non-affine, but MUST
+`valid.eval()`. The circuit evaluated by the gadget should be non-affine, and MUST
 be arithmetic, i.e., composed only of multiplication, addition, and subtraction
 gates. An instance of class `Gadget` has the following interface: