Integrate Vamp-IR into Taiga

[bazzilic]

• Import trivial VPs (1=1 and 1=0) and attempt to prove them within taiga codebase; adjust taiga if necessary.
• List questions for Vamp-IR team and functional requirements for Vamp-IR to be integrated into Taiga (e.g., I think currently Vamp-IR is only available as a separate binary, but we’d probably like to see it as a library we can import into taiga code; we need vampir to output a VK, which I am not sure it currently does)
• Further determine scope of this task and add more items below

[bazzilic]

Currently blocked by anoma/vamp-ir#74

[bazzilic]

Also blocked by anoma/vamp-ir#57
If this issue is resolved, then the other blocker disappears as well.

[XuyangSong]

Some problems needed to discuss with Vampir Team:
#157 (comment)

The basic underlying gadgets we need to create Taiga Predicate(mandatory/basic constraints):
Poseidon hash, Elliptic curve operation(addition and multiplication), sinsemilla commitment

[XuyangSong]

Some improvements to be made:

• Export the instances(public inputs) from vamp_ir. fixed by handle the public inputs in vampir circuit #166
• Correctly handle the instances(public inputs) from vamp_ir. There might be a bug about instances handling based on Halo2 in vamp_ir. fixed by handle the public inputs in vampir circuit #166
• Remove the params from the VampIRValidityPredicateCircuit when vamp_ir supports setting the params size manually.
• Add an interface to create VP from proof and verifying key when vamp_ir can export the verifying key

[XuyangSong]

Remove the params from the VampIRValidityPredicateCircuit when vamp_ir supports setting the params size manually.

Some VampIR VP circuit tests failed because of the small params. It will be solved by setting bigger params manually. We need the feature in VampIR as above.
The failed tests are ignored. Retest them when we have the feature.

[paulcadman]

Proposed prove and verify vamp-ir API that exports the verifying key anoma/vamp-ir#120