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 {