0xPolygonMiden / miden-vm

STARK-based virtual machine
MIT License
632 stars 161 forks source link

Fix chiplets bus #1562

Open plafer opened 3 weeks ago

plafer commented 3 weeks ago

It turns out that all "execution-only" tests (e.g. using Test::get_last_stack_state()) did not test the construction of the auxiliary columns, since we were not building the aux trace. Adding this uncovered a few bugs.