From 6af5b0ae93be22fb0502bfdcb05029e2ef8e893d Mon Sep 17 00:00:00 2001
From: Kevin Jue <kjue235@gmail.com>
Date: Mon, 18 Dec 2023 13:13:13 -0800
Subject: [PATCH] fix for V-SCT-VUL-005

---
 verifier/verifier.go | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/verifier/verifier.go b/verifier/verifier.go
index 2ec08e5..c02f1eb 100644
--- a/verifier/verifier.go
+++ b/verifier/verifier.go
@@ -119,8 +119,10 @@ func (c *VerifierChip) rangeCheckProof(proof variables.Proof) {
 
 	// Range check the openings proof.
 	for _, queryRound := range proof.OpeningProof.QueryRoundProofs {
-		for _, initialTreesElement := range queryRound.InitialTreesProof.EvalsProofs[0].Elements {
-			c.glChip.RangeCheck(initialTreesElement)
+		for _, evalsProof := range queryRound.InitialTreesProof.EvalsProofs {
+			for _, evalsProofElement := range evalsProof.Elements {
+				c.glChip.RangeCheck(evalsProofElement)
+			}
 		}
 
 		for _, queryStep := range queryRound.Steps {