Open georgwiese opened 3 days ago
Vaguely, we want to increase witness generation by one or two orders of magnitude, until it is no longer the bottleneck in our pipeline.
@chriseth I don't have the best overview of the current next steps, perhaps you could create our link issues here?
There is this one here: https://github.com/powdr-labs/powdr/issues/436
But in general, this is just trying to figure out where we lose time and then fix it right away.
Vaguely, we want to increase witness generation by one or two orders of magnitude, until it is no longer the bottleneck in our pipeline.
@chriseth I don't have the best overview of the current next steps, perhaps you could create our link issues here?