libcrux_sha3_portable_sha256
libcrux_sha3_portable_sha256(output, input);
libcrux_sha3_portable_sha256(Eurydice_array_to_slice_mut_01(&digest), input);
libcrux_sha3_portable_sha256(digest, payload);