From 9e963933f9ee321e6a25fc2b298db6a25f61f97c Mon Sep 17 00:00:00 2001 From: Kevin Jue Date: Mon, 18 Dec 2023 12:35:12 -0800 Subject: [PATCH] fix for V-SCT-VUL-001 --- goldilocks/base.go | 2 ++ 1 file changed, 2 insertions(+) diff --git a/goldilocks/base.go b/goldilocks/base.go index 8c9e1d6..457a118 100644 --- a/goldilocks/base.go +++ b/goldilocks/base.go @@ -236,6 +236,8 @@ func (p *Chip) Inverse(x Variable) Variable { } inverse := NewVariable(result[0]) + p.RangeCheck(inverse) + product := p.Mul(inverse, x) p.api.AssertIsEqual(product.Limb, frontend.Variable(1)) return inverse