Proof implementation

[KimiWu123]

Description

To implement Proof functions.

Resources

• interface: generateProof, packGroth16Proof, unpackGroth16Proof, verifyProof, hash
  https://github.com/semaphore-protocol/semaphore/blob/main/packages/proof/src/index.ts
• packGroth16Proof, unpackGroth16Proof: not supported by zk-kit.rs, we might need to implement them ourselves.
• Adria had an implementation of verifyProof

[vivianjeng]

I linked to my reply here: zkmopro/mopro#302 (comment)

[KimiWu123]

closed as completed by #7