Structsยง
- An Algebraic Execution Trace (AET) is the primary witness required for proof generation. It holds every intermediate state of the processor and all co-processors, alongside additional witness information, such as the number of times each instruction has been looked up (equivalently, how often each instruction has been executed).