pub const KERNEL_COMMITMENT_DOMAIN_ID: u32 = 0x010000; // 65_536u32
Registered domain id for the kernel commitment.