fluentbase_runtime/syscall_handler/hashing/
sha256_compress.rs1use 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; let w_ptr = params[1].i32().unwrap() as usize; 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 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 syscall_hashing_sha256_compress_impl(&mut state, &w);
40
41 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 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 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 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 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 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 block[63] = 24; let w = be_words_from_block(&block);
163 let mut state = IV;
164 syscall_hashing_sha256_compress_impl(&mut state, &w);
165
166 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 let mut block = [0u8; 64];
178 block[0] = 0x80;
179 let w = be_words_from_block(&block);
181 let mut state = IV;
182 syscall_hashing_sha256_compress_impl(&mut state, &w);
183
184 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 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}