bug: proof is not verified

waku-org / js-rln

Browser library providing the cryptographic functions for Waku RLN Relay https://rfc.vac.dev/spec/17/

Apache License 2.0

5 stars 1 forks source link

bug: proof is not verified #79

Closed weboko closed 9 months ago

weboko commented 10 months ago

Right now proof is generated and sent with message.

The problem happens when proof is tried to be verified in rln-js example here

.verify operation uses verifyWithRoots

At the same time verifyRLNProof is able to verify proof.

weboko commented 10 months ago

Ping @rymnc maybe you can get a pointer for investigation here

rymnc commented 10 months ago

This could happen when the roots are invalid, can you log out the root when the proof is generated, and the roots that are being passed into verifyWithRoots?

weboko commented 10 months ago

Weekly update:

achieved: as per suggestion investigated if the roots are correct, seems found a fix;

weboko commented 10 months ago

moving to blocked until discussion with @rymnc this Friday

seems that when root is computed in zerokit it is not present in roots from contract and thus validation with proofs fails