ic_hash/

sha2.rs

//! FIPS 180-4 SHA-2 family.
//!
//! Two cores (32-bit and 64-bit) are shared by six published output variants,
//! which differ only in their initial hash value and truncation length.

//! Indexed loops over fixed-size limb and word arrays are used throughout; they
//! mirror the index algebra in the specifications these routines implement, so
//! `needless_range_loop` is allowed rather than obscuring the correspondence.
#![allow(clippy::needless_range_loop)]

use ic_core::traits::{Algorithm, Digest, SelfTest};
use ic_core::{ensure, Result, Zeroize};

// SHA-NI, where the CPU has it. Only under `std`, because the detection does:
// a `no_std` build has no way to ask, and guessing wrong is an illegal
// instruction rather than a wrong answer.
#[cfg(all(target_arch = "x86_64", feature = "std"))]
mod x86;

/// Whether this CPU has the instructions [`x86::compress`] needs.
///
/// Asked once. `is_x86_feature_detected!` is not free, and SHA-256 is called
/// often enough on small inputs that paying for the query per block would show
/// up in exactly the workloads this is meant to help.
#[cfg(all(target_arch = "x86_64", feature = "std"))]
fn sha_ni() -> bool {
    use core::sync::atomic::{AtomicU8, Ordering};
    // 0 not yet asked, 1 yes, 2 no.
    static CACHED: AtomicU8 = AtomicU8::new(0);
    match CACHED.load(Ordering::Relaxed) {
        1 => true,
        2 => false,
        _ => {
            let have = std::is_x86_feature_detected!("sha")
                && std::is_x86_feature_detected!("sse2")
                && std::is_x86_feature_detected!("ssse3")
                && std::is_x86_feature_detected!("sse4.1");
            CACHED.store(u8::from(!have) + 1, Ordering::Relaxed);
            have
        }
    }
}

const K256: [u32; 64] = [
    0x428a2f98, 0x71374491, 0xb5c0fbcf, 0xe9b5dba5, 0x3956c25b, 0x59f111f1, 0x923f82a4, 0xab1c5ed5,
    0xd807aa98, 0x12835b01, 0x243185be, 0x550c7dc3, 0x72be5d74, 0x80deb1fe, 0x9bdc06a7, 0xc19bf174,
    0xe49b69c1, 0xefbe4786, 0x0fc19dc6, 0x240ca1cc, 0x2de92c6f, 0x4a7484aa, 0x5cb0a9dc, 0x76f988da,
    0x983e5152, 0xa831c66d, 0xb00327c8, 0xbf597fc7, 0xc6e00bf3, 0xd5a79147, 0x06ca6351, 0x14292967,
    0x27b70a85, 0x2e1b2138, 0x4d2c6dfc, 0x53380d13, 0x650a7354, 0x766a0abb, 0x81c2c92e, 0x92722c85,
    0xa2bfe8a1, 0xa81a664b, 0xc24b8b70, 0xc76c51a3, 0xd192e819, 0xd6990624, 0xf40e3585, 0x106aa070,
    0x19a4c116, 0x1e376c08, 0x2748774c, 0x34b0bcb5, 0x391c0cb3, 0x4ed8aa4a, 0x5b9cca4f, 0x682e6ff3,
    0x748f82ee, 0x78a5636f, 0x84c87814, 0x8cc70208, 0x90befffa, 0xa4506ceb, 0xbef9a3f7, 0xc67178f2,
];

const K512: [u64; 80] = [
    0x428a2f98d728ae22,
    0x7137449123ef65cd,
    0xb5c0fbcfec4d3b2f,
    0xe9b5dba58189dbbc,
    0x3956c25bf348b538,
    0x59f111f1b605d019,
    0x923f82a4af194f9b,
    0xab1c5ed5da6d8118,
    0xd807aa98a3030242,
    0x12835b0145706fbe,
    0x243185be4ee4b28c,
    0x550c7dc3d5ffb4e2,
    0x72be5d74f27b896f,
    0x80deb1fe3b1696b1,
    0x9bdc06a725c71235,
    0xc19bf174cf692694,
    0xe49b69c19ef14ad2,
    0xefbe4786384f25e3,
    0x0fc19dc68b8cd5b5,
    0x240ca1cc77ac9c65,
    0x2de92c6f592b0275,
    0x4a7484aa6ea6e483,
    0x5cb0a9dcbd41fbd4,
    0x76f988da831153b5,
    0x983e5152ee66dfab,
    0xa831c66d2db43210,
    0xb00327c898fb213f,
    0xbf597fc7beef0ee4,
    0xc6e00bf33da88fc2,
    0xd5a79147930aa725,
    0x06ca6351e003826f,
    0x142929670a0e6e70,
    0x27b70a8546d22ffc,
    0x2e1b21385c26c926,
    0x4d2c6dfc5ac42aed,
    0x53380d139d95b3df,
    0x650a73548baf63de,
    0x766a0abb3c77b2a8,
    0x81c2c92e47edaee6,
    0x92722c851482353b,
    0xa2bfe8a14cf10364,
    0xa81a664bbc423001,
    0xc24b8b70d0f89791,
    0xc76c51a30654be30,
    0xd192e819d6ef5218,
    0xd69906245565a910,
    0xf40e35855771202a,
    0x106aa07032bbd1b8,
    0x19a4c116b8d2d0c8,
    0x1e376c085141ab53,
    0x2748774cdf8eeb99,
    0x34b0bcb5e19b48a8,
    0x391c0cb3c5c95a63,
    0x4ed8aa4ae3418acb,
    0x5b9cca4f7763e373,
    0x682e6ff3d6b2b8a3,
    0x748f82ee5defb2fc,
    0x78a5636f43172f60,
    0x84c87814a1f0ab72,
    0x8cc702081a6439ec,
    0x90befffa23631e28,
    0xa4506cebde82bde9,
    0xbef9a3f7b2c67915,
    0xc67178f2e372532b,
    0xca273eceea26619c,
    0xd186b8c721c0c207,
    0xeada7dd6cde0eb1e,
    0xf57d4f7fee6ed178,
    0x06f067aa72176fba,
    0x0a637dc5a2c898a6,
    0x113f9804bef90dae,
    0x1b710b35131c471b,
    0x28db77f523047d84,
    0x32caab7b40c72493,
    0x3c9ebe0a15c9bebc,
    0x431d67c49c100d4c,
    0x4cc5d4becb3e42b6,
    0x597f299cfc657e2a,
    0x5fcb6fab3ad6faec,
    0x6c44198c4a475817,
];

/// The shared 32-bit SHA-2 compression core (SHA-224 / SHA-256).
#[derive(Clone)]
struct Core256 {
    h: [u32; 8],
    buf: [u8; 64],
    buffered: usize,
    len: u64,
}

impl Drop for Core256 {
    /// Wipe the chaining state and the buffered block.
    ///
    /// A hash is not a secret, but this state is not only used for hashing:
    /// `Hmac<D>` holds two of these with the key already absorbed into them,
    /// so the ipad and opad states are key-derived material. Putting the wipe
    /// here rather than on `Hmac` means every consumer inherits it through
    /// ordinary field drop, with no `Zeroize` bound threaded through the
    /// `Digest` trait and no chance of a new wrapper forgetting.
    fn drop(&mut self) {
        self.h.zeroize();
        self.buf.zeroize();
        self.buffered = 0;
        self.len = 0;
    }
}

impl Core256 {
    const fn new(iv: [u32; 8]) -> Self {
        Self {
            h: iv,
            buf: [0u8; 64],
            buffered: 0,
            len: 0,
        }
    }

    fn compress(&mut self, block: &[u8]) {
        let mut w = [0u32; 64];
        for i in 0..16 {
            w[i] = u32::from_be_bytes([
                block[i * 4],
                block[i * 4 + 1],
                block[i * 4 + 2],
                block[i * 4 + 3],
            ]);
        }
        for i in 16..64 {
            let s0 = w[i - 15].rotate_right(7) ^ w[i - 15].rotate_right(18) ^ (w[i - 15] >> 3);
            let s1 = w[i - 2].rotate_right(17) ^ w[i - 2].rotate_right(19) ^ (w[i - 2] >> 10);
            w[i] = w[i - 16]
                .wrapping_add(s0)
                .wrapping_add(w[i - 7])
                .wrapping_add(s1);
        }
        let [mut a, mut b, mut c, mut d, mut e, mut f, mut g, mut hh] = self.h;
        for i in 0..64 {
            let s1 = e.rotate_right(6) ^ e.rotate_right(11) ^ e.rotate_right(25);
            let ch = (e & f) ^ ((!e) & g);
            let t1 = hh
                .wrapping_add(s1)
                .wrapping_add(ch)
                .wrapping_add(K256[i])
                .wrapping_add(w[i]);
            let s0 = a.rotate_right(2) ^ a.rotate_right(13) ^ a.rotate_right(22);
            let maj = (a & b) ^ (a & c) ^ (b & c);
            let t2 = s0.wrapping_add(maj);
            hh = g;
            g = f;
            f = e;
            e = d.wrapping_add(t1);
            d = c;
            c = b;
            b = a;
            a = t1.wrapping_add(t2);
        }
        let upd = [a, b, c, d, e, f, g, hh];
        for i in 0..8 {
            self.h[i] = self.h[i].wrapping_add(upd[i]);
        }
        w.zeroize();
    }

    /// Compress a whole number of blocks, using the hardware path when there
    /// is one.
    ///
    /// Taking a run rather than a block at a time is the point: the SHA-NI
    /// backend shuffles the state into and out of its register layout once per
    /// call, so feeding it one block at a time would pay that on every block.
    fn compress_blocks(&mut self, data: &[u8]) {
        debug_assert!(data.len() % 64 == 0);
        if data.is_empty() {
            return;
        }
        #[cfg(all(target_arch = "x86_64", feature = "std"))]
        if sha_ni() {
            // SAFETY: `sha_ni()` is exactly the feature test this requires, and
            // the length is a multiple of the block size by the assertion above.
            unsafe { x86::compress(&mut self.h, data) };
            return;
        }
        for block in data.chunks_exact(64) {
            self.compress(block);
        }
    }

    fn update(&mut self, mut data: &[u8]) {
        self.len = self.len.wrapping_add(data.len() as u64);
        if self.buffered > 0 {
            let need = 64 - self.buffered;
            let take = core::cmp::min(need, data.len());
            self.buf[self.buffered..self.buffered + take].copy_from_slice(&data[..take]);
            self.buffered += take;
            data = &data[take..];
            if self.buffered < 64 {
                // The whole input fit in the partial block; nothing to compress.
                return;
            }
            let block = self.buf;
            self.compress(&block);
            self.buffered = 0;
        }
        let whole = data.len() - data.len() % 64;
        self.compress_blocks(&data[..whole]);
        let rest = &data[whole..];
        self.buf[..rest.len()].copy_from_slice(rest);
        self.buffered = rest.len();
    }

    fn finalize(mut self) -> [u32; 8] {
        let bit_len = self.len.wrapping_mul(8);
        let mut pad = [0u8; 72];
        pad[0] = 0x80;
        // Pad so that (buffered + 1 + zeros) % 64 == 56.
        let zeros = (55 + 64 - (self.buffered % 64)) % 64;
        pad[1 + zeros..1 + zeros + 8].copy_from_slice(&bit_len.to_be_bytes());
        self.update_no_count(&pad[..1 + zeros + 8]);
        let out = self.h;
        self.buf.zeroize();
        self.h.zeroize();
        out
    }

    /// Absorb padding without disturbing the message-length counter.
    fn update_no_count(&mut self, data: &[u8]) {
        let saved = self.len;
        self.update(data);
        self.len = saved;
    }
}

/// The shared 64-bit SHA-2 compression core (SHA-384 / SHA-512 / SHA-512-t).
#[derive(Clone)]
struct Core512 {
    h: [u64; 8],
    buf: [u8; 128],
    buffered: usize,
    len: u128,
}

impl Drop for Core512 {
    /// Wipe the chaining state and the buffered block. See [`Core256`].
    fn drop(&mut self) {
        self.h.zeroize();
        self.buf.zeroize();
        self.buffered = 0;
        self.len = 0;
    }
}

/// SHA-512's compression, and what has already been tried on it.
///
/// It runs about 1.3 to 1.75 times behind RustCrypto's, which has an AVX2
/// backend for the message schedule. There is no SHA-512 instruction on x86 the
/// way there is for SHA-256, so the portable path below is what runs.
///
/// Two source-level optimisations were measured and reverted, and are recorded
/// so they are not tried a third time:
///
/// - **A rolling sixteen-word schedule window** instead of the eighty-word
///   array. The array is 640 bytes cleared per 128-byte block, five bytes wiped
///   per byte hashed, which looks like the cost. A controlled A/B showed it
///   *slower*: 640 bytes sits in L1, and the modulo indexing defeats whatever
///   unrolling the flat array was getting.
/// - **Unrolling the round loop by eight**, naming the working variables in
///   rotation so the eight moves per round disappear. No measurable change in
///   either direction; LLVM already renames and unrolls this shape.
///
/// Both failed the same way: the waste was visible in the source and absent
/// from the object code. What did pay elsewhere in this workspace was work the
/// compiler cannot do -- breaking a serial dependency chain, selecting a
/// hardware instruction, changing the algorithm. The remaining gap here is the
/// vectorised schedule, and even that addresses only the third or so of the
/// work the schedule represents, since the rounds are inherently serial.
impl Core512 {
    const fn new(iv: [u64; 8]) -> Self {
        Self {
            h: iv,
            buf: [0u8; 128],
            buffered: 0,
            len: 0,
        }
    }

    fn compress(&mut self, block: &[u8]) {
        let mut w = [0u64; 80];
        for i in 0..16 {
            let mut b = [0u8; 8];
            b.copy_from_slice(&block[i * 8..i * 8 + 8]);
            w[i] = u64::from_be_bytes(b);
        }
        for i in 16..80 {
            let s0 = w[i - 15].rotate_right(1) ^ w[i - 15].rotate_right(8) ^ (w[i - 15] >> 7);
            let s1 = w[i - 2].rotate_right(19) ^ w[i - 2].rotate_right(61) ^ (w[i - 2] >> 6);
            w[i] = w[i - 16]
                .wrapping_add(s0)
                .wrapping_add(w[i - 7])
                .wrapping_add(s1);
        }
        let [mut a, mut b, mut c, mut d, mut e, mut f, mut g, mut hh] = self.h;
        for i in 0..80 {
            let s1 = e.rotate_right(14) ^ e.rotate_right(18) ^ e.rotate_right(41);
            let ch = (e & f) ^ ((!e) & g);
            let t1 = hh
                .wrapping_add(s1)
                .wrapping_add(ch)
                .wrapping_add(K512[i])
                .wrapping_add(w[i]);
            let s0 = a.rotate_right(28) ^ a.rotate_right(34) ^ a.rotate_right(39);
            let maj = (a & b) ^ (a & c) ^ (b & c);
            let t2 = s0.wrapping_add(maj);
            hh = g;
            g = f;
            f = e;
            e = d.wrapping_add(t1);
            d = c;
            c = b;
            b = a;
            a = t1.wrapping_add(t2);
        }
        let upd = [a, b, c, d, e, f, g, hh];
        for i in 0..8 {
            self.h[i] = self.h[i].wrapping_add(upd[i]);
        }
        w.zeroize();
    }

    fn update(&mut self, mut data: &[u8]) {
        self.len = self.len.wrapping_add(data.len() as u128);
        if self.buffered > 0 {
            let need = 128 - self.buffered;
            let take = core::cmp::min(need, data.len());
            self.buf[self.buffered..self.buffered + take].copy_from_slice(&data[..take]);
            self.buffered += take;
            data = &data[take..];
            if self.buffered < 128 {
                // The whole input fit in the partial block; nothing to compress.
                return;
            }
            let block = self.buf;
            self.compress(&block);
            self.buffered = 0;
        }
        let mut chunks = data.chunks_exact(128);
        for block in &mut chunks {
            self.compress(block);
        }
        let rest = chunks.remainder();
        self.buf[..rest.len()].copy_from_slice(rest);
        self.buffered = rest.len();
    }

    fn finalize(mut self) -> [u64; 8] {
        let bit_len = self.len.wrapping_mul(8);
        let mut pad = [0u8; 145];
        pad[0] = 0x80;
        let zeros = (111 + 128 - (self.buffered % 128)) % 128;
        pad[1 + zeros..1 + zeros + 16].copy_from_slice(&bit_len.to_be_bytes());
        let saved = self.len;
        self.update(&pad[..1 + zeros + 16]);
        self.len = saved;
        let out = self.h;
        self.buf.zeroize();
        self.h.zeroize();
        out
    }
}

macro_rules! sha2_32 {
    ($name:ident, $id:literal, $disp:literal, $out:literal, $iv:expr, $kat:literal) => {
        #[doc = concat!("FIPS 180-4 ", $disp, ".")]
        #[derive(Clone)]
        pub struct $name(Core256);

        impl Default for $name {
            fn default() -> Self {
                Self(Core256::new($iv))
            }
        }

        impl Algorithm for $name {
            const ID: &'static str = $id;
            const NAME: &'static str = $disp;
        }

        impl Digest for $name {
            type Output = [u8; $out];
            const OUTPUT_LEN: usize = $out;
            const BLOCK_LEN: usize = 64;

            fn update(&mut self, data: &[u8]) {
                self.0.update(data);
            }

            fn finalize(self) -> Self::Output {
                let h = self.0.finalize();
                let mut full = [0u8; 32];
                for i in 0..8 {
                    full[i * 4..i * 4 + 4].copy_from_slice(&h[i].to_be_bytes());
                }
                let mut out = [0u8; $out];
                out.copy_from_slice(&full[..$out]);
                out
            }
        }

        impl SelfTest for $name {
            fn self_test() -> Result<()> {
                let got = <Self as Digest>::digest(b"abc");
                let mut want = [0u8; $out];
                ic_core::codec::hex_decode($kat.as_bytes(), &mut want)?;
                ensure!(
                    ic_core::ct::verify(&want, got.as_ref()),
                    SelfTestFailed,
                    $id
                );
                Ok(())
            }
        }
    };
}

macro_rules! sha2_64 {
    ($name:ident, $id:literal, $disp:literal, $out:literal, $iv:expr, $kat:literal) => {
        #[doc = concat!("FIPS 180-4 ", $disp, ".")]
        #[derive(Clone)]
        pub struct $name(Core512);

        impl Default for $name {
            fn default() -> Self {
                Self(Core512::new($iv))
            }
        }

        impl Algorithm for $name {
            const ID: &'static str = $id;
            const NAME: &'static str = $disp;
        }

        impl Digest for $name {
            type Output = [u8; $out];
            const OUTPUT_LEN: usize = $out;
            const BLOCK_LEN: usize = 128;

            fn update(&mut self, data: &[u8]) {
                self.0.update(data);
            }

            fn finalize(self) -> Self::Output {
                let h = self.0.finalize();
                let mut full = [0u8; 64];
                for i in 0..8 {
                    full[i * 8..i * 8 + 8].copy_from_slice(&h[i].to_be_bytes());
                }
                let mut out = [0u8; $out];
                out.copy_from_slice(&full[..$out]);
                out
            }
        }

        impl SelfTest for $name {
            fn self_test() -> Result<()> {
                let got = <Self as Digest>::digest(b"abc");
                let mut want = [0u8; $out];
                ic_core::codec::hex_decode($kat.as_bytes(), &mut want)?;
                ensure!(
                    ic_core::ct::verify(&want, got.as_ref()),
                    SelfTestFailed,
                    $id
                );
                Ok(())
            }
        }
    };
}

sha2_32!(
    Sha224,
    "sha2-224",
    "SHA-224",
    28,
    [
        0xc1059ed8, 0x367cd507, 0x3070dd17, 0xf70e5939, 0xffc00b31, 0x68581511, 0x64f98fa7,
        0xbefa4fa4
    ],
    "23097d223405d8228642a477bda255b32aadbce4bda0b3f7e36c9da7"
);

sha2_32!(
    Sha256,
    "sha2-256",
    "SHA-256",
    32,
    [
        0x6a09e667, 0xbb67ae85, 0x3c6ef372, 0xa54ff53a, 0x510e527f, 0x9b05688c, 0x1f83d9ab,
        0x5be0cd19
    ],
    "ba7816bf8f01cfea414140de5dae2223b00361a396177a9cb410ff61f20015ad"
);

sha2_64!(
    Sha384,
    "sha2-384",
    "SHA-384",
    48,
    [
        0xcbbb9d5dc1059ed8, 0x629a292a367cd507, 0x9159015a3070dd17, 0x152fecd8f70e5939,
        0x67332667ffc00b31, 0x8eb44a8768581511, 0xdb0c2e0d64f98fa7, 0x47b5481dbefa4fa4
    ],
    "cb00753f45a35e8bb5a03d699ac65007272c32ab0eded1631a8b605a43ff5bed8086072ba1e7cc2358baeca134c825a7"
);

sha2_64!(
    Sha512,
    "sha2-512",
    "SHA-512",
    64,
    [
        0x6a09e667f3bcc908, 0xbb67ae8584caa73b, 0x3c6ef372fe94f82b, 0xa54ff53a5f1d36f1,
        0x510e527fade682d1, 0x9b05688c2b3e6c1f, 0x1f83d9abfb41bd6b, 0x5be0cd19137e2179
    ],
    "ddaf35a193617abacc417349ae20413112e6fa4e89a97ea20a9eeee64b55d39a2192992a274fc1a836ba3c23a3feebbd454d4423643ce80e2a9ac94fa54ca49f"
);

sha2_64!(
    Sha512_224,
    "sha2-512-224",
    "SHA-512/224",
    28,
    [
        0x8c3d37c819544da2,
        0x73e1996689dcd4d6,
        0x1dfab7ae32ff9c82,
        0x679dd514582f9fcf,
        0x0f6d2b697bd44da8,
        0x77e36f7304c48942,
        0x3f9d85a86a1d36c8,
        0x1112e6ad91d692a1
    ],
    "4634270f707b6a54daae7530460842e20e37ed265ceee9a43e8924aa"
);

sha2_64!(
    Sha512_256,
    "sha2-512-256",
    "SHA-512/256",
    32,
    [
        0x22312194fc2bf72c,
        0x9f555fa3c84c64c2,
        0x2393b86b6f53b151,
        0x963877195940eabd,
        0x96283ee2a88effe3,
        0xbe5e1e2553863992,
        0x2b0199fc2c85b8aa,
        0x0eb72ddc81c52ca2
    ],
    "53048e2681941ef99b2e29b76b4c7dabe4c2d0c634fc6d46e0e2f13107e7af23"
);

#[cfg(test)]
mod tests {
    use super::*;

    /// The hardware path must agree with the portable one, block for block.
    ///
    /// The published vectors above do not establish this. They pass whichever
    /// path runs, so on a machine with SHA-NI they check the backend and on one
    /// without they check the fallback -- and either way they cannot notice
    /// that the two disagree, which is the failure a second implementation
    /// introduces. This runs both over the same input and compares the states.
    ///
    /// It reports which path it took rather than asserting one, because a CPU
    /// without the instructions is a legitimate machine to run the suite on.
    /// What it does assert is that the comparison happened when it could.
    #[cfg(all(target_arch = "x86_64", feature = "std"))]
    #[test]
    fn the_sha_ni_backend_agrees_with_the_portable_one() {
        if !sha_ni() {
            println!("no SHA-NI on this CPU; the backend was not exercised");
            return;
        }

        // Lengths either side of the block boundary, and long enough to run the
        // message schedule over several blocks.
        let mut checked = 0;
        for blocks in [1usize, 2, 3, 4, 7, 16] {
            let mut data = vec![0u8; blocks * 64];
            // Not random, but not uniform either: a counter through a couple of
            // multiplications, so every byte position varies between cases.
            for (i, b) in data.iter_mut().enumerate() {
                *b = ((i as u64).wrapping_mul(0x9e37_79b9).rotate_left(7) & 0xff) as u8;
            }

            // FIPS 180-4 section 5.3.3, the same value the macro below passes.
            const IV: [u32; 8] = [
                0x6a09e667, 0xbb67ae85, 0x3c6ef372, 0xa54ff53a, 0x510e527f, 0x9b05688c, 0x1f83d9ab,
                0x5be0cd19,
            ];
            let mut portable = Core256::new(IV);
            for block in data.chunks_exact(64) {
                portable.compress(block);
            }

            let mut hardware = Core256::new(IV);
            // SAFETY: guarded by the `sha_ni()` check above.
            unsafe { x86::compress(&mut hardware.h, &data) };

            assert_eq!(
                portable.h, hardware.h,
                "SHA-NI and portable disagree after {blocks} blocks"
            );
            checked += 1;
        }
        assert_eq!(checked, 6, "the comparison did not run");
    }

    /// Say which path this build will take, so a benchmark or a vector run is
    /// not silently measuring the fallback.
    #[cfg(all(target_arch = "x86_64", feature = "std"))]
    #[test]
    fn the_active_sha256_path_is_reported() {
        println!(
            "sha-256 backend: {}",
            if sha_ni() { "SHA-NI" } else { "portable" }
        );
    }

    #[test]
    fn nist_abc_vectors() {
        assert_eq!(
            ic_core::codec::hex(Sha256::digest(b"abc").as_ref()),
            "ba7816bf8f01cfea414140de5dae2223b00361a396177a9cb410ff61f20015ad"
        );
        assert_eq!(
            ic_core::codec::hex(Sha224::digest(b"abc").as_ref()),
            "23097d223405d8228642a477bda255b32aadbce4bda0b3f7e36c9da7"
        );
        assert_eq!(
            ic_core::codec::hex(Sha512::digest(b"abc").as_ref()),
            "ddaf35a193617abacc417349ae20413112e6fa4e89a97ea20a9eeee64b55d39a2192992a274fc1a836ba3c23a3feebbd454d4423643ce80e2a9ac94fa54ca49f"
        );
        assert_eq!(
            ic_core::codec::hex(Sha384::digest(b"abc").as_ref()),
            "cb00753f45a35e8bb5a03d699ac65007272c32ab0eded1631a8b605a43ff5bed8086072ba1e7cc2358baeca134c825a7"
        );
    }

    #[test]
    fn empty_input_vectors() {
        assert_eq!(
            ic_core::codec::hex(Sha256::digest(b"").as_ref()),
            "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"
        );
        assert_eq!(
            ic_core::codec::hex(Sha512::digest(b"").as_ref()),
            "cf83e1357eefb8bdf1542850d66d8007d620e4050b5715dc83f4a921d36ce9ce47d0d13c5d85f2b0ff8318d2877eec2f63b931bd47417a81a538327af927da3e"
        );
    }

    /// The 448-bit boundary case: input length forces an extra padding block.
    #[test]
    fn two_block_vector() {
        let msg = b"abcdbcdecdefdefgefghfghighijhijkijkljklmklmnlmnomnopnopq";
        assert_eq!(
            ic_core::codec::hex(Sha256::digest(msg).as_ref()),
            "248d6a61d20638b8e5c026930c3e6039a33ce45964ff2167f6ecedd419db06c1"
        );
    }

    #[test]
    fn million_a_vector() {
        let mut h = Sha256::new();
        let chunk = [b'a'; 1000];
        for _ in 0..1000 {
            h.update(&chunk);
        }
        assert_eq!(
            ic_core::codec::hex(h.finalize().as_ref()),
            "cdc76e5c9914fb9281a1c7e284d73e67f1809a48a497200e046d39ccc7112cd0"
        );
    }

    #[test]
    fn streaming_matches_one_shot() {
        let data: [u8; 300] = core::array::from_fn(|i| i as u8);
        for split in [0usize, 1, 63, 64, 65, 127, 128, 200, 300] {
            let mut h = Sha512::new();
            h.update(&data[..split]);
            h.update(&data[split..]);
            assert_eq!(h.finalize(), Sha512::digest(&data), "split at {split}");
        }
    }

    #[test]
    fn truncated_variants() {
        assert_eq!(
            ic_core::codec::hex(Sha512_224::digest(b"abc").as_ref()),
            "4634270f707b6a54daae7530460842e20e37ed265ceee9a43e8924aa"
        );
        assert_eq!(
            ic_core::codec::hex(Sha512_256::digest(b"abc").as_ref()),
            "53048e2681941ef99b2e29b76b4c7dabe4c2d0c634fc6d46e0e2f13107e7af23"
        );
    }

    #[test]
    fn all_self_tests_pass() {
        Sha224::self_test().unwrap();
        Sha256::self_test().unwrap();
        Sha384::self_test().unwrap();
        Sha512::self_test().unwrap();
        Sha512_224::self_test().unwrap();
        Sha512_256::self_test().unwrap();
    }
}