Open georgwiese opened 3 weeks ago
With this pre-compile, we should be able to use the hand-written witness generation also for Rust programs with continuations.
With this pre-compile, we should be able to use the hand-written witness generation also for Rust programs with continuations.