0xPolygonMiden / miden-vm

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

Kernel proc table never actually adds any kernel procedure #1515

Open plafer opened 1 month ago

plafer commented 1 month ago

The kernel proc table in the ChipletsVTableColBuilder never includes any kernel procedure (i.e. build_kernel_procedure_table_inclusions() always returns E::ONE).

This is also made clear by the fact that AuxColumnBuilder::init_requests doesn't initialize the table with all the kernel procedures.