From 432368e59d9149513cb63924056edcea4770438a Mon Sep 17 00:00:00 2001 From: Ilyas Ridhuan Date: Thu, 9 May 2024 10:36:27 +0100 Subject: [PATCH] Update barretenberg/cpp/pil/avm/avm_alu.pil Co-authored-by: Jean M <132435771+jeanmon@users.noreply.github.com> --- barretenberg/cpp/pil/avm/avm_alu.pil | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/barretenberg/cpp/pil/avm/avm_alu.pil b/barretenberg/cpp/pil/avm/avm_alu.pil index e2e35eb401fa..aa9bce3c8055 100644 --- a/barretenberg/cpp/pil/avm/avm_alu.pil +++ b/barretenberg/cpp/pil/avm/avm_alu.pil @@ -635,7 +635,7 @@ namespace avm_alu(256); // (2) Given ib and ic are restricted to U128, at most ib * ic will produce a 256-bit number. // (3) We use the primality check from cmp to check that this product has not overflowed the field. // The Primality check takes a field element as input and ouputs two 128-bit limbs. - // i.e. it checks that the field element, represented over 256 bits, is between [0, p). + // i.e. it checks that the field element, represented with two 128-bit limbs lies in [0, p). // (a) Given x, PC(x) -> [x_lo, x_hi], where x_lo < 2**128 && x_hi < 2**128 && x == x_lo + x_hi * 2**128 // (b) Additionally produces a witness that the x < (p - 1) // p_sub_x_lo = p_lo - x_lo + borrow * 2**128 < 2**128