You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
-
I am setting the following values for leaf, root and path and running it through the MerkleProof.VerifyProof function within a circuit:
mimcRoot 15240284294064609777577801726846940895585664810977861162489516360834184811865
leafMimc 1596313627783090963692181909326190768826828706348328570529733547977102355121
mimcPath [
'3405869225095581190723588432675623305993593485096769484702197176014276188803',
'10511029611530539087622756143224896540623077185876532315426536591111351110639'
]
circuit.MerkleProofReceiver.VerifyProof(api, &hFunc, circuit.leafMimc)
I am getting the following issue:
level=error msg="constraint #275 is not satisfied: [assertIsEqual] (0 + 1) == 1596313627783090963692181909326190768826828706348328570529733547977102355121\nr1cs.(*r1cs).AssertIsEqual\n\tapi_assertions.go:35\nbits.toBinary\n\tconversion_binary.go:93\nbits.ToBase\n\tconversion.go:25\nbits.ToBinary\n\tconversion_binary.go:18\nr1cs.(*r1cs).ToBinary\n\tapi.go:265\nmerkle.(*MerkleProof).VerifyProof\n\tverify.go:100\nlocation.(*Circuit).Define\n\tlocation.go:33\n"
What is going on here?
Beta Was this translation helpful? Give feedback.
All reactions