As you can see here:
https://github.com/halseth/output-zero/issues/10#issuecomment-2633912441
proving time without gpu acceleration is no good as of yet (15 mins on my kinda normal laptop). Let's see if optimization brings it down a ton.
Aut-ct proving times are 1-2 seconds. I think curve trees are a better solution for this, but it is extremely debatable.