From 120ee08984d9f9c5b1df01b47a407a1f6c127db0 Mon Sep 17 00:00:00 2001 From: David Cook Date: Sat, 2 Nov 2024 10:34:47 -0500 Subject: [PATCH] Don't use SHOULD for gadgets being non-affine --- draft-irtf-cfrg-vdaf.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/draft-irtf-cfrg-vdaf.md b/draft-irtf-cfrg-vdaf.md index 2a0fefa1..23579c6e 100644 --- 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: