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