Semaphore votes are not verifying correctly

[drewcook]

Bug Notes

Currently, there is a call exception happening at the contract level for verifying the off-chain proof submitted from a verified member of a Semaphore group. The verifier smart contract does not seem to pass, even though it seems that the proof is being generated effectively with the right values, and that the member is indeed a valid member of the voting group, so should be able to signal within it.

NOTE: The failure is for sure happening in the _verifyProof() function.

Steps to Reproduce

1. Upload a stem to a project, not necessary if a project has a populated stem queue already
2. Cast a vote for that stem in the stem queue, or any stem in any stem queue for that matter
3. Observe failed call on transaction details

References

• UI vote call: here
• Contract vote call: here
• See failed transactions:
  • Polygon Testnet: here
  • Polygon Mainnet: here