Important: Solve this task using only the repository, files, documentation, tests, and tools available in…
Important: Solve this task using only the repository, files, documentation, tests, and tools available in…: a task in LegoFlow-SWE (Harbor dataset). The current AIR trace layout does not include the auxiliary column that tracks the stack overflow table state. As a result, the prover cannot…
The task
The current AIR trace layout does not include the auxiliary column that tracks the stack overflow table state. As a result, the prover cannot generate valid proofs for programs that push the stack depth beyond 16 elements. The execution trace generation must be extended to produce the missing column, enabling correct…
Part of Lego-X/LegoFlow-SWE.