avoid a copy

adecaro · adecaro · commit bd09223bee8b · 2025-12-08T16:26:35.000+01:00
Signed-off-by: Angelo De Caro &lt;adc@zurich.ibm.com&gt;
diff --git a/token/core/zkatdlog/nogh/v1/crypto/rp/ipa.go b/token/core/zkatdlog/nogh/v1/crypto/rp/ipa.go
@@ -327,7 +327,7 @@ func (v *ipaVerifier) Verify(proof *IPA) error {
 		CPrime := proof.L[i].Mul(xSquare)
 		CPrime.Add(proof.R[i].Mul(xSquareInv))
 		CPrime.Add(C)
-		C = CPrime
+		C = CPrime.Copy()
 		// reduce the generators by 1/2, as a function of the old generators and x and 1/x
 		leftGen, rightGen = reduceGenerators(leftGen, rightGen, x, xInv)
 	}

Original file line number	Diff line number	Diff line change
`@@ -327,7 +327,7 @@ func (v ipaVerifier) Verify(proof IPA) error {`
`327`	`327`	`CPrime := proof.L[i].Mul(xSquare)`
`328`	`328`	`CPrime.Add(proof.R[i].Mul(xSquareInv))`
`329`	`329`	`CPrime.Add(C)`
`330`		`- C = CPrime`
	`330`	`+ C = CPrime.Copy()`
`331`	`331`	`// reduce the generators by 1/2, as a function of the old generators and x and 1/x`
`332`	`332`	`leftGen, rightGen = reduceGenerators(leftGen, rightGen, x, xInv)`
`333`	`333`	`}`