Feature Request: adv.mem Decorator for Memory-to-Advice-Map Injection
Feature Request: adv.mem Decorator for Memory-to-Advice-Map Injection: a task in LegoFlow-SWE (Harbor dataset). In programs that use pre-computed constant arrays (e.g. Number Theoretic Transform roots of unity), these constants are typically stored in memory before execution. They need to be made…
The task
In programs that use pre-computed constant arrays (e.g. Number Theoretic Transform roots of unity), these constants are typically stored in memory before execution. They need to be made available to the advice tape efficiently. Currently there is no direct way to copy a contiguous range of memory words into the…
Part of Lego-X/LegoFlow-SWE.