Membership proving

[DanTehrani]

Please feel free to work on only one of the sub-tasks!

Premise

The eff ecdsa proving/verification has been implemented. We also want to implement membership proving before launch. After the Merkle hasher (either Poseidon or MiMC) is ready, we can fully implement membership proving, but I think some structural work/adjacent work can be done even without the Merkle hasher. the Merkle hasher is ready!

Sub-tasks

• [x] Implement membership prover in Typescript
• [x] Implement membership verifier in Typescript (pls add membership_verifier.ts here and the tests here)
• [x] Get membership proving + proof verification working in benchmark/web/ (i.e. in frontend) using the above impl

Dev related scripts

• membership_circuit.sh will generate all the necessary circuit artifacts, and output them under packages/circuits/build
• other commands are written in the readme!

[DanTehrani]

@vb7401 I updated the sub-tasks! Can you work on the membership verifier (the second one)?

[lsankar4033]

@vb7401 i think I understand what's necessary for membership_verifier.ts + frontend stuff and can take it on as well! understand you've got a busy wkend so if don't hear anything once I finish some other tasks will jump on this

[lsankar4033]

workign on membership_verifier