Feat/implement proof gen

[KimiWu123]

Description

To implement Proof functionalities by integrating Circom-Prover. Will rebase main after #6 is merged.

Related Issue(s)

#5

Known Issues

• Not compatible with the proof generated by Semaphore-js. The issue created on Mopro side, The groth16 proof is not compatible with Snarkjs's proof zkmopro/mopro#396

[vplasencia]

Hey @KimiWu123! Thank you very much for creating this PR. Is this PR ready for review or is it still a draft?

[KimiWu123]

Hey @KimiWu123! Thank you very much for creating this PR. Is this PR ready for review or is it still a draft?

It's ready for review! Sorry, forgot to mark as "ready for review"

[vivianjeng]

I think here should be

Suggested change

	p.b.x[0].clone(),
	p.b.x[1].clone(),
	p.b.y[0].clone(),
	p.b.y[1].clone(),
	p.b.x[1].clone(),
	p.b.x[0].clone(),
	p.b.y[1].clone(),
	p.b.y[0].clone(),

ref
https://github.com/privacy-scaling-explorations/zk-kit/blob/577fa314c5510cd347da0d7f2fcdc200326f60ef/packages/utils/src/proof-packing.ts#L22

[KimiWu123]

After applied this change, the proof generated by semaphore-rs still can't be verified by Semaphore-js. But it's weired that our verification fails as well.
It works!

[vivianjeng]

here is the same

Suggested change

	x: [packed[2].clone(), packed[3].clone()],
	y: [packed[4].clone(), packed[5].clone()],
	x: [packed[3].clone(), packed[2].clone()],
	y: [packed[5].clone(), packed[4].clone()],

https://github.com/privacy-scaling-explorations/zk-kit/blob/577fa314c5510cd347da0d7f2fcdc200326f60ef/packages/utils/src/proof-packing.ts#L40

[KimiWu123]

This one works! Now we can verify the proof from Semaphore-js

[vivianjeng]

I used to_element(Fq::from(1)) and to_element(Fq::from(2)) to make the member the same as in the semaphore-js

[KimiWu123]

Everything works now! Thanks!!

[vplasencia]

Thank you very much for the great work! 🚀