Find a way to get information about circuit testing costs

[adria0]

trafficstars

We have to run a lot of tests, some in the CI pipeline but a bunch of other tests (eth, benches, etc...) that will be really interesting to have a way to get an estimate about how

• much CPU and
• how much GB of RAM

will take running a specific circuit.

This will allow us to:

• estimate how much resources in terms of cost we need to execute a set of tests
• better optimize the parallelisation of the tests execution

One possible solution for now could be an configurable SuperCircuit that

• Allows to select which circuits do you want to activate
• We want to test or to prove/verify
• Get the estimate of CPU/RAM. This could be done programatically, but if this is too much complicated also can be done statistically by running a small set of tests (benches?) and try to figure out how much other circuits can take.

This comes from a conversation between @AronisAt79 and @adria0

Ideas welcomed :)

[lispc]

https://github.com/scroll-tech/halo2/pull/14 sonething like this？

[adria0]

Yes, just like this! thanks for the link, @lispc !