diff --git a/verifier/verifier.go b/verifier/verifier.go index 4d777cd..75aea9b 100644 --- a/verifier/verifier.go +++ b/verifier/verifier.go @@ -25,7 +25,7 @@ func Verify(vk *types.Vk, proof *types.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(types.R) != -1 { + if inputs[i].Cmp(types.R) != -1 { return false } vkX = new(bn256.G1).Add(vkX, new(bn256.G1).ScalarMult(vk.IC[i+1], inputs[i]))