search

powdr-labs / powdr

A modular stack for zkVMs, with a focus on productivity, security and performance.
Apache License 2.0
416 stars 82 forks source link

Introduce `SecondStageMachine` #2169

Closed georgwiese closed 5 hours ago

georgwiese commented 1 day ago

This introduces a new machine which is always used for the second-stage witness generation. Currently it is a copy of DynamicMachine, but in the end it will be optimized for second-stage witness generation.

georgwiese commented 1 day ago

Pushed one more commit to simplify the machine. Might make sense to review 1d14da6067264d345a2efabeed6f6b77bd22ea97 individually.