Skip to main content

fluentbase_runtime/syscall_handler/hashing/
sha256_compress.rs

1use crate::RuntimeContext;
2use rwasm::{StoreTr, TrapCode, Value};
3
4pub fn syscall_hashing_sha256_compress_handler(
5    ctx: &mut impl StoreTr<RuntimeContext>,
6    params: &[Value],
7    _result: &mut [Value],
8) -> Result<(), TrapCode> {
9    let h_ptr = params[0].i32().unwrap() as usize; // 32 bytes at state_ptr
10    let w_ptr = params[1].i32().unwrap() as usize; // 256 bytes at w_ptr (W[0..63] as BE words)
11
12    // --- Read chaining state H[0..7] (32 bytes, BE) ---
13    let mut h_be = [0u8; 32];
14    ctx.memory_read(h_ptr, &mut h_be)?;
15    let mut state = [0u32; 8];
16    for i in 0..8 {
17        state[i] = u32::from_le_bytes([
18            h_be[i * 4],
19            h_be[i * 4 + 1],
20            h_be[i * 4 + 2],
21            h_be[i * 4 + 3],
22        ]);
23    }
24
25    // --- Read W[0..63] (256 bytes, each word BE) ---
26    let mut w_be = [0u8; 64 * 4];
27    ctx.memory_read(w_ptr, &mut w_be)?;
28    let mut w = [0u32; 64];
29    for i in 0..64 {
30        w[i] = u32::from_le_bytes([
31            w_be[i * 4],
32            w_be[i * 4 + 1],
33            w_be[i * 4 + 2],
34            w_be[i * 4 + 3],
35        ]);
36    }
37
38    // --- Compress ---
39    syscall_hashing_sha256_compress_impl(&mut state, &w);
40
41    // --- Write back H as 32 bytes, BE ---
42    for i in 0..8 {
43        h_be[i * 4..i * 4 + 4].copy_from_slice(&state[i].to_le_bytes());
44    }
45    ctx.memory_write(h_ptr, &h_be)?;
46
47    Ok(())
48}
49
50pub fn syscall_hashing_sha256_compress_impl(state: &mut [u32; 8], w: &[u32; 64]) {
51    const K: [u32; 64] = [
52        0x428a2f98, 0x71374491, 0xb5c0fbcf, 0xe9b5dba5, 0x3956c25b, 0x59f111f1, 0x923f82a4,
53        0xab1c5ed5, 0xd807aa98, 0x12835b01, 0x243185be, 0x550c7dc3, 0x72be5d74, 0x80deb1fe,
54        0x9bdc06a7, 0xc19bf174, 0xe49b69c1, 0xefbe4786, 0x0fc19dc6, 0x240ca1cc, 0x2de92c6f,
55        0x4a7484aa, 0x5cb0a9dc, 0x76f988da, 0x983e5152, 0xa831c66d, 0xb00327c8, 0xbf597fc7,
56        0xc6e00bf3, 0xd5a79147, 0x06ca6351, 0x14292967, 0x27b70a85, 0x2e1b2138, 0x4d2c6dfc,
57        0x53380d13, 0x650a7354, 0x766a0abb, 0x81c2c92e, 0x92722c85, 0xa2bfe8a1, 0xa81a664b,
58        0xc24b8b70, 0xc76c51a3, 0xd192e819, 0xd6990624, 0xf40e3585, 0x106aa070, 0x19a4c116,
59        0x1e376c08, 0x2748774c, 0x34b0bcb5, 0x391c0cb3, 0x4ed8aa4a, 0x5b9cca4f, 0x682e6ff3,
60        0x748f82ee, 0x78a5636f, 0x84c87814, 0x8cc70208, 0x90befffa, 0xa4506ceb, 0xbef9a3f7,
61        0xc67178f2,
62    ];
63    let (mut a, mut b, mut c, mut d, mut e, mut f, mut g, mut h) = (
64        state[0], state[1], state[2], state[3], state[4], state[5], state[6], state[7],
65    );
66    for t in 0..64 {
67        let t1 = h
68            .wrapping_add(e.rotate_right(6) ^ e.rotate_right(11) ^ e.rotate_right(25))
69            .wrapping_add((e & f) ^ (!e & g))
70            .wrapping_add(K[t])
71            .wrapping_add(w[t]);
72        let t2 = (a.rotate_right(2) ^ a.rotate_right(13) ^ a.rotate_right(22))
73            .wrapping_add((a & b) ^ (a & c) ^ (b & c));
74        h = g;
75        g = f;
76        f = e;
77        e = d.wrapping_add(t1);
78        d = c;
79        c = b;
80        b = a;
81        a = t1.wrapping_add(t2);
82    }
83    state[0] = state[0].wrapping_add(a);
84    state[1] = state[1].wrapping_add(b);
85    state[2] = state[2].wrapping_add(c);
86    state[3] = state[3].wrapping_add(d);
87    state[4] = state[4].wrapping_add(e);
88    state[5] = state[5].wrapping_add(f);
89    state[6] = state[6].wrapping_add(g);
90    state[7] = state[7].wrapping_add(h);
91}
92
93#[cfg(test)]
94mod tests {
95    use super::syscall_hashing_sha256_compress_impl;
96    use crate::syscall_handler::hashing::syscall_hashing_sha256_extend_impl;
97
98    const IV: [u32; 8] = [
99        0x6a09e667, 0xbb67ae85, 0x3c6ef372, 0xa54ff53a, 0x510e527f, 0x9b05688c, 0x1f83d9ab,
100        0x5be0cd19,
101    ];
102
103    fn be_words_from_block(block: &[u8; 64]) -> [u32; 64] {
104        let mut w = [0u32; 64];
105        for i in 0..16 {
106            w[i] = u32::from_be_bytes([
107                block[i * 4],
108                block[i * 4 + 1],
109                block[i * 4 + 2],
110                block[i * 4 + 3],
111            ]);
112        }
113        syscall_hashing_sha256_extend_impl(&mut w);
114        w
115    }
116
117    fn sha256_hash_bytes(msg: &[u8]) -> [u32; 8] {
118        let mut state = IV;
119        // process full 64-byte blocks
120        let mut i = 0usize;
121        while i + 64 <= msg.len() {
122            let mut block = [0u8; 64];
123            block.copy_from_slice(&msg[i..i + 64]);
124            let w = be_words_from_block(&block);
125            syscall_hashing_sha256_compress_impl(&mut state, &w);
126            i += 64;
127        }
128        // build final padding blocks
129        let mut tail = [0u8; 64];
130        let rem = msg.len() - i;
131        tail[..rem].copy_from_slice(&msg[i..]);
132        tail[rem] = 0x80;
133        let bit_len = (msg.len() as u64) * 8;
134        if rem <= 55 {
135            // length fits in this block
136            tail[56..64].copy_from_slice(&bit_len.to_be_bytes());
137            let w = be_words_from_block(&tail);
138            syscall_hashing_sha256_compress_impl(&mut state, &w);
139        } else {
140            // need two blocks
141            let w1 = be_words_from_block(&tail);
142            syscall_hashing_sha256_compress_impl(&mut state, &w1);
143            let mut last = [0u8; 64];
144            last[56..64].copy_from_slice(&bit_len.to_be_bytes());
145            let w2 = be_words_from_block(&last);
146            syscall_hashing_sha256_compress_impl(&mut state, &w2);
147        }
148        state
149    }
150
151    #[test]
152    fn sha256_single_block_abc() {
153        // Prepare the single 512-bit block for message "abc"
154        let mut block = [0u8; 64];
155        block[0] = b'a';
156        block[1] = b'b';
157        block[2] = b'c';
158        block[3] = 0x80;
159        // last 8 bytes is length in bits (24) in big-endian
160        block[63] = 24; // 0x18
161
162        let w = be_words_from_block(&block);
163        let mut state = IV;
164        syscall_hashing_sha256_compress_impl(&mut state, &w);
165
166        // Expected SHA-256("abc") digest as 8 big-endian words
167        let expected = [
168            0xba7816bf, 0x8f01cfea, 0x414140de, 0x5dae2223, 0xb00361a3, 0x96177a9c, 0xb410ff61,
169            0xf20015ad,
170        ];
171        assert_eq!(state, expected);
172    }
173
174    #[test]
175    fn sha256_single_block_empty() {
176        // Prepare the single 512-bit block for empty message ""
177        let mut block = [0u8; 64];
178        block[0] = 0x80;
179        // length is zero, so last 8 bytes are already zeros
180        let w = be_words_from_block(&block);
181        let mut state = IV;
182        syscall_hashing_sha256_compress_impl(&mut state, &w);
183
184        // Expected SHA-256("") digest
185        let expected = [
186            0xe3b0c442, 0x98fc1c14, 0x9afbf4c8, 0x996fb924, 0x27ae41e4, 0x649b934c, 0xa495991b,
187            0x7852b855,
188        ];
189        assert_eq!(state, expected);
190    }
191
192    #[test]
193    fn sha256_multi_block_standard_vector() {
194        // "abcdbcdecdefdefgefghfghighijhijkijkljklmklmnlmnomnopnopq"
195        let msg = b"abcdbcdecdefdefgefghfghighijhijkijkljklmklmnlmnomnopnopq";
196        let state = sha256_hash_bytes(msg);
197        let expected = [
198            0x248d6a61, 0xd20638b8, 0xe5c02693, 0x0c3e6039, 0xa33ce459, 0x64ff2167, 0xf6ecedd4,
199            0x19db06c1,
200        ];
201        assert_eq!(state, expected);
202    }
203
204    #[test]
205    fn sha256_million_a() {
206        let msg = vec![b'a'; 1_000_000];
207        let state = sha256_hash_bytes(&msg);
208        let expected = [
209            0xcdc76e5c, 0x9914fb92, 0x81a1c7e2, 0x84d73e67, 0xf1809a48, 0xa497200e, 0x046d39cc,
210            0xc7112cd0,
211        ];
212        assert_eq!(state, expected);
213    }
214}