pub const CERTIFICATE_WIDTH: u32 = 4;
The bit width the routed-datapath certificate is proven at (the bounded fragment).