I don't know what I was thinking, the SRS is only useful to compile a circuit. (For example, an MPC committee doesn't need an SRS.) Knowing that, we should allow any kind of SRS in proofs, and not have limits there. That is, we should have the user pass the SRS as an argument of the CLI (and not download it ourselves, the srs.rs file should die)
I don't know what I was thinking, the SRS is only useful to compile a circuit. (For example, an MPC committee doesn't need an SRS.) Knowing that, we should allow any kind of SRS in proofs, and not have limits there. That is, we should have the user pass the SRS as an argument of the CLI (and not download it ourselves, the
srs.rsfile should die)