Skip to main content

KERNEL_PROC_INIT_LABEL

Constant KERNEL_PROC_INIT_LABEL 

Source
pub const KERNEL_PROC_INIT_LABEL: Felt;
Expand description

Specified the label of the kernel ROM initialization request by the verifier.

The label is constructed as follows:

  • Chiplet selector: [1, 1, 1, 1, 0]
  • s_first value: 1
  • Combined selector: [1, 1, 1, 1, 0 | 1]
  • Reverse bits and add 1 to get final label value: [1 | 0, 1, 1, 1, 1] + 1 = 48