Skip to content
This repository has been archived by the owner on Jul 5, 2024. It is now read-only.

Find a way to get information about circuit testing costs #675

Open
adria0 opened this issue Aug 10, 2022 · 2 comments
Open

Find a way to get information about circuit testing costs #675

adria0 opened this issue Aug 10, 2022 · 2 comments

Comments

@adria0
Copy link
Member

adria0 commented Aug 10, 2022

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
Copy link
Collaborator

lispc commented Aug 10, 2022

scroll-tech/halo2#14 sonething like this?

@adria0
Copy link
Member Author

adria0 commented Aug 10, 2022

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

jonathanpwang pushed a commit to axiom-crypto/zkevm-circuits that referenced this issue Aug 1, 2023
…ations#675)

* feat(bus-mapping): ecPairing and refactor

* feat(circuits): ecPairing

* wip

* checks for evm_input_rlc

* fix: input rlc (ecc circuit) for ecPairing

* refactor copy circuit test (max rows changed)

* chore: docs for padding pairs

---------

Co-authored-by: Zhang Zhuo <mycinbrin@gmail.com>
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants