From d11824fa611901ea62fd87071f038a509bceba62 Mon Sep 17 00:00:00 2001 From: Ivo Kubjas Date: Mon, 5 Feb 2024 23:41:15 +0100 Subject: [PATCH] fix: another occurence of G1 in SRS (#1036) --- std/commitments/kzg/verifier.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/std/commitments/kzg/verifier.go b/std/commitments/kzg/verifier.go index 436b6308fd..698976017d 100644 --- a/std/commitments/kzg/verifier.go +++ b/std/commitments/kzg/verifier.go @@ -424,7 +424,7 @@ func NewVerifier[FR emulated.FieldParams, G1El algebra.G1ElementT, G2El algebra. // commitment at point. func (v *Verifier[FR, G1El, G2El, GTEl]) CheckOpeningProof(commitment Commitment[G1El], proof OpeningProof[FR, G1El], point emulated.Element[FR], vk VerifyingKey[G1El, G2El]) error { - claimedValueG1 := v.curve.ScalarMulBase(&proof.ClaimedValue) + claimedValueG1 := v.curve.ScalarMul(&vk.G1, &proof.ClaimedValue) // [f(α) - f(a)]G₁ fminusfaG1 := v.curve.Neg(claimedValueG1)