PCS and curve choice #68
Description
Right now our benchmarks use Ligero as the PCS. This has to do with size limitations of Brakedown, as far as I can remember. Let's keep it in mind to come back around this topic, as well as the choice of a curve, once the rest of the proof system is a bit more stable. Let's also keep in mind that some arguments might impose some restrictions on the PCS. Just to mention an example, the Spartan paper defines a certain property of a PCS, proves that hyrax has it, and uses hyrax as its PCS - but it's e.g. not clear Ligero/Brakedown do. We can also play with the various hiding properties offered by the PCS depending on our proof system's needs.