pub const KeccakP800_stateSizeInBytes: u32 = 100;