pub const JADE_HASH_SHA3_512_AMD64_AVX2_BYTES: u32 = 64;