pub fn verify_core_kernel<const TABLE_MASK: usize>(
clock_reset: ClockReset,
input: CoreInput,
q: VerifyCoreQ<TABLE_MASK>,
) -> (CoreOutput, VerifyCoreD<TABLE_MASK>)Expand description
The core’s logic: the loader, retirement and the wiring between blocks.