The kernel procedure (virtual) table keeps track of all unique kernel functions roots. The current implementation uses the address column of the kernel ROM chiplet to update this table. This, however, makes checking boundary constraints from the point of view of the verifier difficult if not impossible.
We should investigate how to change the updates to this table in order to fix the above.
Also, there is a potential discrepancy between the alphas used on the side of the decoder and the side of the kernel ROM chiplet and this should also be fixed.
The kernel procedure (virtual) table keeps track of all unique kernel functions roots. The current implementation uses the address column of the kernel ROM chiplet to update this table. This, however, makes checking boundary constraints from the point of view of the verifier difficult if not impossible. We should investigate how to change the updates to this table in order to fix the above. Also, there is a potential discrepancy between the alphas used on the side of the decoder and the side of the kernel ROM chiplet and this should also be fixed.