From bed1a652c99787739a78248c8497f3da9cf74e8c Mon Sep 17 00:00:00 2001 From: arnaucube Date: Wed, 22 Apr 2020 18:25:28 +0200 Subject: [PATCH] Fix verify check input inside field --- verifier.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/verifier.go b/verifier.go index ad7bfa5..04eab70 100644 --- a/verifier.go +++ b/verifier.go @@ -220,7 +220,7 @@ func Verify(vk *Vk, proof *Proof, inputs []*big.Int) bool { vkX := new(bn256.G1).ScalarBaseMult(big.NewInt(0)) for i := 0; i < len(inputs); i++ { // check input inside field - if inputs[0].Cmp(q) != -1 { + if inputs[i].Cmp(q) != -1 { return false } vkX = new(bn256.G1).Add(vkX, new(bn256.G1).ScalarMult(vk.GammaABC[i+1], inputs[i]))