From 91b8ea20e4a2bbd8eba4144bf3f8468b8d41ad34 Mon Sep 17 00:00:00 2001 From: therealyingtong Date: Sun, 18 Jul 2021 00:13:23 +0800 Subject: [PATCH] mul_fixed::short.rs: Fix magnitude bound in test. Co-authored-by: Jack Grigg --- src/circuit/gadget/ecc/chip/mul_fixed/short.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/circuit/gadget/ecc/chip/mul_fixed/short.rs b/src/circuit/gadget/ecc/chip/mul_fixed/short.rs index e17052bd..7ed6d07c 100644 --- a/src/circuit/gadget/ecc/chip/mul_fixed/short.rs +++ b/src/circuit/gadget/ecc/chip/mul_fixed/short.rs @@ -202,7 +202,7 @@ impl Config { if let (Some(magnitude), Some(sign)) = (scalar.magnitude.value(), scalar.sign.value()) { let magnitude_is_valid = - magnitude < pallas::Base::from_u64(0xFFFF_FFFF_FFFF_FFFFu64); + magnitude <= pallas::Base::from_u64(0xFFFF_FFFF_FFFF_FFFFu64); let sign_is_valid = sign * sign == pallas::Base::one(); if magnitude_is_valid && sign_is_valid { let base: super::OrchardFixedBases = base.clone().into();