Use recent trusted setup ceremony for stark2snark

[tzerrell]

See also risc0/risc0#1844 for the related changes in the core repo.

[tzerrell]

I'm unclear about the CI error here; I'm not sure even whether it's caused by these changes. I'll dig further tomorrow.

[capossele]

I'm unclear about the CI error here; I'm not sure even whether it's caused by these changes. I'll dig further tomorrow.

No worries, the examples are broken only because they use bonsai. We switched to using a local prover in #110

[tzerrell]

With rc.5 published, this might be ready to land, but I want to leave that to more core risc0-ethereum folks who know better than me when this repo is ready to update to a new risc0 version. Just want to make sure no one is waiting on me to click the "land" button, because I won't be 🙂

[nategraf]

Let's go ahead and land this. Goal is to keep main here up to date with main on risc0.