When using the Halo2 backend the structure should be made the same as with Plonk, where a setup command generates a chosen number of parameters and serializes them to a file, and the prove and verify commands can read parameters from a file. This will solve the Taiga team's problem and make the Vamp-IR subcommand structure more unified.
For the Taiga team: https://github.com/anoma/taiga/pull/157#issuecomment-1519080215
When using the Halo2 backend the structure should be made the same as with Plonk, where a
setupcommand generates a chosen number of parameters and serializes them to a file, and theproveandverifycommands can read parameters from a file. This will solve the Taiga team's problem and make the Vamp-IR subcommand structure more unified.