Georg Wiese 6530820ae8 Introduce SecondStageMachine (#2169) ...

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.

2024-11-29 16:42:19 +00:00

..

src

Introduce SecondStageMachine (#2169)

2024-11-29 16:42:19 +00:00

Cargo.toml

Introduce workspace-level lints (#2166)

2024-11-29 14:02:53 +00:00