Right now, the prover caches LDE on ram to save proving time. Disk spilling LDE may enable the prover to execute bigger Fibonacci programs like 48M or 64M at the cost of a considerable time regression.
This can be addressed on top of #466 or once that PR gets merged.
Right now, the prover caches LDE on ram to save proving time. Disk spilling LDE may enable the prover to execute bigger Fibonacci programs like 48M or 64M at the cost of a considerable time regression.
This can be addressed on top of #466 or once that PR gets merged.