0xEigenLabs / eigen-zkvm

A Rust zkVM with a Modular Proof System
Apache License 2.0
141 stars 36 forks source link

Non recursive `eval_exp()` to avoid stack overflow. #252

Closed lvella closed 6 months ago

lvella commented 6 months ago

In powdr we have some tests that stack overflows inside eval_exp(). This PR makes eval_exp() iterative, so it works on small stacks.