From 85d20ce6569aaa4c71454f7976c2a5a724dcd159 Mon Sep 17 00:00:00 2001
From: Kevin Jue <kjue235@gmail.com>
Date: Mon, 18 Dec 2023 12:46:53 -0800
Subject: [PATCH] fix for V-SCT-VUL-002

---
 goldilocks/base.go | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/goldilocks/base.go b/goldilocks/base.go
index 457a118..aa59b20 100644
--- a/goldilocks/base.go
+++ b/goldilocks/base.go
@@ -190,6 +190,9 @@ func (p *Chip) Reduce(x Variable) Variable {
 
 	remainder := NewVariable(result[1])
 	p.RangeCheck(remainder)
+
+	p.api.AssertIsEqual(x, p.api.Add(p.api.Mul(quotient, MODULUS), remainder.Limb))
+
 	return remainder
 }