← Watch feed
hashes: fold 8-way AVX2 SHA256d into round! macro
Public commit record
68/100 · Adequate
What the developer wrote
Authored by jrakibi
hashes: fold 8-way AVX2 SHA256d into round! macro
use a round! macro to cut ~1060 lines from the unrolled version.
each round becomes a single round!(...) call that almost matches
Core's Transform_8way line-by-line, so it's easy to compare and
review against sha256_avx2.cpp.
refactor, no behavior change.
✓ Descriptive subject✓ Names a concrete action or component✓ Provides detailed explanatory context
What changed, and why it matters
This commit is a code cleanup in the SHA-256 hashing implementation. It replaces roughly 1,000 lines of manually repeated hashing steps with a few short macros that generate the same instructions. The author explicitly states there is no behavior change, and the diff only restructures existing operations without altering constants, math, or control flow.
Recommended action
No security action needed. Treat as normal code-quality review; verify via existing SHA-256 test vectors if desired.
Security signals we found
01
Pure refactor with no functional change claimed by commit message
02
No new unsafe code or input handling introduced
03
Constants and SIMD operations preserved exactly from prior implementation
Evidence from the diff
The change refactors hashes/src/sha256/crypto/avx2.rs. It introduces round!, inc2!, inc3!, and inc4! macros and uses them to collapse the unrolled 8-way AVX2 SHA256d computation. Every round still performs the same _mm256-based Add, Sigma, Maj, Ch, and sigma operations with identical constants and message-schedule updates; only the source-level repetition is removed. No new unsafe blocks, no new external inputs, and no algorithmic changes are present.
Changed components
hashes/src/sha256/crypto/avx2.rsInspect captured patch +207 / −1265
diff --git a/hashes/src/sha256/crypto/avx2.rs b/hashes/src/sha256/crypto/avx2.rs
index e9f3bf68..529368e3 100644
--- a/hashes/src/sha256/crypto/avx2.rs
+++ b/hashes/src/sha256/crypto/avx2.rs
@@ -19,7 +19,7 @@ use core::arch::x86_64::{
_mm256_xor_si256,
};
-// ------- SIMD helpers copied from Core -------
+// SIMD helpers copied from Core
// https://github.com/bitcoin/bitcoin/blob/master/src/crypto/sha256_avx2.cpp
#[inline(always)]
@@ -34,6 +34,10 @@ unsafe fn Add3(x: __m256i, y: __m256i, z: __m256i) -> __m256i { Add(Add(x, y), z
#[inline(always)]
unsafe fn Add4(x: __m256i, y: __m256i, z: __m256i, w: __m256i) -> __m256i { Add(Add(x, y), Add(z, w)) }
+macro_rules! inc2 { ($w:ident, $a:expr) => {{ $w = Add($w, $a); $w }}; }
+macro_rules! inc3 { ($w:ident, $a:expr, $b:expr) => {{ $w = Add3($w, $a, $b); $w }}; }
+macro_rules! inc4 { ($w:ident, $a:expr, $b:expr, $c:expr) => {{ $w = Add4($w, $a, $b, $c); $w }}; }
+
#[inline(always)]
unsafe fn Xor(x: __m256i, y: __m256i) -> __m256i { _mm256_xor_si256(x, y) }
@@ -78,6 +82,16 @@ unsafe fn sigma1(x: __m256i) -> __m256i {
Xor3(Or(ShR::<17>(x), ShL::<15>(x)), Or(ShR::<19>(x), ShL::<13>(x)), ShR::<10>(x))
}
+// One round of SHA-256.
+macro_rules! round {
+ ($a:expr, $b:expr, $c:expr, $d:expr, $e:expr, $f:expr, $g:expr, $h:expr, $kw:expr) => {{
+ let t1 = Add4($h, Sigma1($e), Ch($e, $f, $g), $kw);
+ let t2 = Add(Sigma0($a), Maj($a, $b, $c));
+ $d = Add($d, t1);
+ $h = Add(t1, t2);
+ }};
+}
+
#[inline(always)]
unsafe fn Read8(input: &[[u8; 64]; 8], offset: usize) -> __m256i {
let ret = _mm256_set_epi32(
@@ -129,456 +143,72 @@ pub(super) unsafe fn sha256d_64_8way(output: &mut [[u8; 32]; 8], input: &[[u8; 6
let (mut w8, mut w9, mut w10, mut w11, mut w12, mut w13, mut w14, mut w15);
// Rounds 0-15: message schedule comes directly from the input
-
- // Round 0
- w0 = Read8(input, 0);
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), Add(K(0x428a2f98), w0));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 1
- w1 = Read8(input, 4);
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), Add(K(0x71374491), w1));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 2
- w2 = Read8(input, 8);
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), Add(K(0xb5c0fbcf), w2));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 3
- w3 = Read8(input, 12);
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), Add(K(0xe9b5dba5), w3));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 4
- w4 = Read8(input, 16);
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), Add(K(0x3956c25b), w4));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 5
- w5 = Read8(input, 20);
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), Add(K(0x59f111f1), w5));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 6
- w6 = Read8(input, 24);
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), Add(K(0x923f82a4), w6));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 7
- w7 = Read8(input, 28);
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), Add(K(0xab1c5ed5), w7));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
-
- // Round 8
- w8 = Read8(input, 32);
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), Add(K(0xd807aa98), w8));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 9
- w9 = Read8(input, 36);
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), Add(K(0x12835b01), w9));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 10
- w10 = Read8(input, 40);
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), Add(K(0x243185be), w10));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 11
- w11 = Read8(input, 44);
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), Add(K(0x550c7dc3), w11));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 12
- w12 = Read8(input, 48);
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), Add(K(0x72be5d74), w12));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 13
- w13 = Read8(input, 52);
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), Add(K(0x80deb1fe), w13));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 14
- w14 = Read8(input, 56);
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), Add(K(0x9bdc06a7), w14));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 15
- w15 = Read8(input, 60);
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), Add(K(0xc19bf174), w15));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
+ round!(a, b, c, d, e, f, g, h, Add(K(0x428a2f98), { w0 = Read8(input, 0); w0 }));
+ round!(h, a, b, c, d, e, f, g, Add(K(0x71374491), { w1 = Read8(input, 4); w1 }));
+ round!(g, h, a, b, c, d, e, f, Add(K(0xb5c0fbcf), { w2 = Read8(input, 8); w2 }));
+ round!(f, g, h, a, b, c, d, e, Add(K(0xe9b5dba5), { w3 = Read8(input, 12); w3 }));
+ round!(e, f, g, h, a, b, c, d, Add(K(0x3956c25b), { w4 = Read8(input, 16); w4 }));
+ round!(d, e, f, g, h, a, b, c, Add(K(0x59f111f1), { w5 = Read8(input, 20); w5 }));
+ round!(c, d, e, f, g, h, a, b, Add(K(0x923f82a4), { w6 = Read8(input, 24); w6 }));
+ round!(b, c, d, e, f, g, h, a, Add(K(0xab1c5ed5), { w7 = Read8(input, 28); w7 }));
+ round!(a, b, c, d, e, f, g, h, Add(K(0xd807aa98), { w8 = Read8(input, 32); w8 }));
+ round!(h, a, b, c, d, e, f, g, Add(K(0x12835b01), { w9 = Read8(input, 36); w9 }));
+ round!(g, h, a, b, c, d, e, f, Add(K(0x243185be), { w10 = Read8(input, 40); w10 }));
+ round!(f, g, h, a, b, c, d, e, Add(K(0x550c7dc3), { w11 = Read8(input, 44); w11 }));
+ round!(e, f, g, h, a, b, c, d, Add(K(0x72be5d74), { w12 = Read8(input, 48); w12 }));
+ round!(d, e, f, g, h, a, b, c, Add(K(0x80deb1fe), { w13 = Read8(input, 52); w13 }));
+ round!(c, d, e, f, g, h, a, b, Add(K(0x9bdc06a7), { w14 = Read8(input, 56); w14 }));
+ round!(b, c, d, e, f, g, h, a, Add(K(0xc19bf174), { w15 = Read8(input, 60); w15 }));
// Rounds 16-63: expanded message schedule
-
- // Round 16
- w0 = Add4(w0, sigma1(w14), w9, sigma0(w1));
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), Add(K(0xe49b69c1), w0));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 17
- w1 = Add4(w1, sigma1(w15), w10, sigma0(w2));
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), Add(K(0xefbe4786), w1));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 18
- w2 = Add4(w2, sigma1(w0), w11, sigma0(w3));
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), Add(K(0x0fc19dc6), w2));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 19
- w3 = Add4(w3, sigma1(w1), w12, sigma0(w4));
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), Add(K(0x240ca1cc), w3));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 20
- w4 = Add4(w4, sigma1(w2), w13, sigma0(w5));
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), Add(K(0x2de92c6f), w4));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 21
- w5 = Add4(w5, sigma1(w3), w14, sigma0(w6));
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), Add(K(0x4a7484aa), w5));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 22
- w6 = Add4(w6, sigma1(w4), w15, sigma0(w7));
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), Add(K(0x5cb0a9dc), w6));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 23
- w7 = Add4(w7, sigma1(w5), w0, sigma0(w8));
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), Add(K(0x76f988da), w7));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
-
- // Round 24
- w8 = Add4(w8, sigma1(w6), w1, sigma0(w9));
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), Add(K(0x983e5152), w8));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 25
- w9 = Add4(w9, sigma1(w7), w2, sigma0(w10));
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), Add(K(0xa831c66d), w9));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 26
- w10 = Add4(w10, sigma1(w8), w3, sigma0(w11));
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), Add(K(0xb00327c8), w10));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 27
- w11 = Add4(w11, sigma1(w9), w4, sigma0(w12));
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), Add(K(0xbf597fc7), w11));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 28
- w12 = Add4(w12, sigma1(w10), w5, sigma0(w13));
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), Add(K(0xc6e00bf3), w12));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 29
- w13 = Add4(w13, sigma1(w11), w6, sigma0(w14));
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), Add(K(0xd5a79147), w13));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 30
- w14 = Add4(w14, sigma1(w12), w7, sigma0(w15));
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), Add(K(0x06ca6351), w14));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 31
- w15 = Add4(w15, sigma1(w13), w8, sigma0(w0));
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), Add(K(0x14292967), w15));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
-
- // Round 32
- w0 = Add4(w0, sigma1(w14), w9, sigma0(w1));
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), Add(K(0x27b70a85), w0));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 33
- w1 = Add4(w1, sigma1(w15), w10, sigma0(w2));
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), Add(K(0x2e1b2138), w1));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 34
- w2 = Add4(w2, sigma1(w0), w11, sigma0(w3));
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), Add(K(0x4d2c6dfc), w2));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 35
- w3 = Add4(w3, sigma1(w1), w12, sigma0(w4));
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), Add(K(0x53380d13), w3));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 36
- w4 = Add4(w4, sigma1(w2), w13, sigma0(w5));
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), Add(K(0x650a7354), w4));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 37
- w5 = Add4(w5, sigma1(w3), w14, sigma0(w6));
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), Add(K(0x766a0abb), w5));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 38
- w6 = Add4(w6, sigma1(w4), w15, sigma0(w7));
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), Add(K(0x81c2c92e), w6));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 39
- w7 = Add4(w7, sigma1(w5), w0, sigma0(w8));
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), Add(K(0x92722c85), w7));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
-
- // Round 40
- w8 = Add4(w8, sigma1(w6), w1, sigma0(w9));
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), Add(K(0xa2bfe8a1), w8));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 41
- w9 = Add4(w9, sigma1(w7), w2, sigma0(w10));
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), Add(K(0xa81a664b), w9));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 42
- w10 = Add4(w10, sigma1(w8), w3, sigma0(w11));
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), Add(K(0xc24b8b70), w10));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 43
- w11 = Add4(w11, sigma1(w9), w4, sigma0(w12));
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), Add(K(0xc76c51a3), w11));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 44
- w12 = Add4(w12, sigma1(w10), w5, sigma0(w13));
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), Add(K(0xd192e819), w12));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 45
- w13 = Add4(w13, sigma1(w11), w6, sigma0(w14));
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), Add(K(0xd6990624), w13));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 46
- w14 = Add4(w14, sigma1(w12), w7, sigma0(w15));
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), Add(K(0xf40e3585), w14));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 47
- w15 = Add4(w15, sigma1(w13), w8, sigma0(w0));
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), Add(K(0x106aa070), w15));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
-
- // Round 48
- w0 = Add4(w0, sigma1(w14), w9, sigma0(w1));
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), Add(K(0x19a4c116), w0));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 49
- w1 = Add4(w1, sigma1(w15), w10, sigma0(w2));
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), Add(K(0x1e376c08), w1));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 50
- w2 = Add4(w2, sigma1(w0), w11, sigma0(w3));
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), Add(K(0x2748774c), w2));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 51
- w3 = Add4(w3, sigma1(w1), w12, sigma0(w4));
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), Add(K(0x34b0bcb5), w3));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 52
- w4 = Add4(w4, sigma1(w2), w13, sigma0(w5));
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), Add(K(0x391c0cb3), w4));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 53
- w5 = Add4(w5, sigma1(w3), w14, sigma0(w6));
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), Add(K(0x4ed8aa4a), w5));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 54
- w6 = Add4(w6, sigma1(w4), w15, sigma0(w7));
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), Add(K(0x5b9cca4f), w6));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 55
- w7 = Add4(w7, sigma1(w5), w0, sigma0(w8));
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), Add(K(0x682e6ff3), w7));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
-
- // Round 56
- w8 = Add4(w8, sigma1(w6), w1, sigma0(w9));
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), Add(K(0x748f82ee), w8));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 57
- w9 = Add4(w9, sigma1(w7), w2, sigma0(w10));
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), Add(K(0x78a5636f), w9));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 58
- w10 = Add4(w10, sigma1(w8), w3, sigma0(w11));
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), Add(K(0x84c87814), w10));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 59
- w11 = Add4(w11, sigma1(w9), w4, sigma0(w12));
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), Add(K(0x8cc70208), w11));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 60
- w12 = Add4(w12, sigma1(w10), w5, sigma0(w13));
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), Add(K(0x90befffa), w12));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 61
- w13 = Add4(w13, sigma1(w11), w6, sigma0(w14));
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), Add(K(0xa4506ceb), w13));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 62
- w14 = Add4(w14, sigma1(w12), w7, sigma0(w15));
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), Add(K(0xbef9a3f7), w14));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 63
- w15 = Add4(w15, sigma1(w13), w8, sigma0(w0));
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), Add(K(0xc67178f2), w15));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
+ round!(a, b, c, d, e, f, g, h, Add(K(0xe49b69c1), inc4!(w0, sigma1(w14), w9, sigma0(w1))));
+ round!(h, a, b, c, d, e, f, g, Add(K(0xefbe4786), inc4!(w1, sigma1(w15), w10, sigma0(w2))));
+ round!(g, h, a, b, c, d, e, f, Add(K(0x0fc19dc6), inc4!(w2, sigma1(w0), w11, sigma0(w3))));
+ round!(f, g, h, a, b, c, d, e, Add(K(0x240ca1cc), inc4!(w3, sigma1(w1), w12, sigma0(w4))));
+ round!(e, f, g, h, a, b, c, d, Add(K(0x2de92c6f), inc4!(w4, sigma1(w2), w13, sigma0(w5))));
+ round!(d, e, f, g, h, a, b, c, Add(K(0x4a7484aa), inc4!(w5, sigma1(w3), w14, sigma0(w6))));
+ round!(c, d, e, f, g, h, a, b, Add(K(0x5cb0a9dc), inc4!(w6, sigma1(w4), w15, sigma0(w7))));
+ round!(b, c, d, e, f, g, h, a, Add(K(0x76f988da), inc4!(w7, sigma1(w5), w0, sigma0(w8))));
+ round!(a, b, c, d, e, f, g, h, Add(K(0x983e5152), inc4!(w8, sigma1(w6), w1, sigma0(w9))));
+ round!(h, a, b, c, d, e, f, g, Add(K(0xa831c66d), inc4!(w9, sigma1(w7), w2, sigma0(w10))));
+ round!(g, h, a, b, c, d, e, f, Add(K(0xb00327c8), inc4!(w10, sigma1(w8), w3, sigma0(w11))));
+ round!(f, g, h, a, b, c, d, e, Add(K(0xbf597fc7), inc4!(w11, sigma1(w9), w4, sigma0(w12))));
+ round!(e, f, g, h, a, b, c, d, Add(K(0xc6e00bf3), inc4!(w12, sigma1(w10), w5, sigma0(w13))));
+ round!(d, e, f, g, h, a, b, c, Add(K(0xd5a79147), inc4!(w13, sigma1(w11), w6, sigma0(w14))));
+ round!(c, d, e, f, g, h, a, b, Add(K(0x06ca6351), inc4!(w14, sigma1(w12), w7, sigma0(w15))));
+ round!(b, c, d, e, f, g, h, a, Add(K(0x14292967), inc4!(w15, sigma1(w13), w8, sigma0(w0))));
+ round!(a, b, c, d, e, f, g, h, Add(K(0x27b70a85), inc4!(w0, sigma1(w14), w9, sigma0(w1))));
+ round!(h, a, b, c, d, e, f, g, Add(K(0x2e1b2138), inc4!(w1, sigma1(w15), w10, sigma0(w2))));
+ round!(g, h, a, b, c, d, e, f, Add(K(0x4d2c6dfc), inc4!(w2, sigma1(w0), w11, sigma0(w3))));
+ round!(f, g, h, a, b, c, d, e, Add(K(0x53380d13), inc4!(w3, sigma1(w1), w12, sigma0(w4))));
+ round!(e, f, g, h, a, b, c, d, Add(K(0x650a7354), inc4!(w4, sigma1(w2), w13, sigma0(w5))));
+ round!(d, e, f, g, h, a, b, c, Add(K(0x766a0abb), inc4!(w5, sigma1(w3), w14, sigma0(w6))));
+ round!(c, d, e, f, g, h, a, b, Add(K(0x81c2c92e), inc4!(w6, sigma1(w4), w15, sigma0(w7))));
+ round!(b, c, d, e, f, g, h, a, Add(K(0x92722c85), inc4!(w7, sigma1(w5), w0, sigma0(w8))));
+ round!(a, b, c, d, e, f, g, h, Add(K(0xa2bfe8a1), inc4!(w8, sigma1(w6), w1, sigma0(w9))));
+ round!(h, a, b, c, d, e, f, g, Add(K(0xa81a664b), inc4!(w9, sigma1(w7), w2, sigma0(w10))));
+ round!(g, h, a, b, c, d, e, f, Add(K(0xc24b8b70), inc4!(w10, sigma1(w8), w3, sigma0(w11))));
+ round!(f, g, h, a, b, c, d, e, Add(K(0xc76c51a3), inc4!(w11, sigma1(w9), w4, sigma0(w12))));
+ round!(e, f, g, h, a, b, c, d, Add(K(0xd192e819), inc4!(w12, sigma1(w10), w5, sigma0(w13))));
+ round!(d, e, f, g, h, a, b, c, Add(K(0xd6990624), inc4!(w13, sigma1(w11), w6, sigma0(w14))));
+ round!(c, d, e, f, g, h, a, b, Add(K(0xf40e3585), inc4!(w14, sigma1(w12), w7, sigma0(w15))));
+ round!(b, c, d, e, f, g, h, a, Add(K(0x106aa070), inc4!(w15, sigma1(w13), w8, sigma0(w0))));
+ round!(a, b, c, d, e, f, g, h, Add(K(0x19a4c116), inc4!(w0, sigma1(w14), w9, sigma0(w1))));
+ round!(h, a, b, c, d, e, f, g, Add(K(0x1e376c08), inc4!(w1, sigma1(w15), w10, sigma0(w2))));
+ round!(g, h, a, b, c, d, e, f, Add(K(0x2748774c), inc4!(w2, sigma1(w0), w11, sigma0(w3))));
+ round!(f, g, h, a, b, c, d, e, Add(K(0x34b0bcb5), inc4!(w3, sigma1(w1), w12, sigma0(w4))));
+ round!(e, f, g, h, a, b, c, d, Add(K(0x391c0cb3), inc4!(w4, sigma1(w2), w13, sigma0(w5))));
+ round!(d, e, f, g, h, a, b, c, Add(K(0x4ed8aa4a), inc4!(w5, sigma1(w3), w14, sigma0(w6))));
+ round!(c, d, e, f, g, h, a, b, Add(K(0x5b9cca4f), inc4!(w6, sigma1(w4), w15, sigma0(w7))));
+ round!(b, c, d, e, f, g, h, a, Add(K(0x682e6ff3), inc4!(w7, sigma1(w5), w0, sigma0(w8))));
+ round!(a, b, c, d, e, f, g, h, Add(K(0x748f82ee), inc4!(w8, sigma1(w6), w1, sigma0(w9))));
+ round!(h, a, b, c, d, e, f, g, Add(K(0x78a5636f), inc4!(w9, sigma1(w7), w2, sigma0(w10))));
+ round!(g, h, a, b, c, d, e, f, Add(K(0x84c87814), inc4!(w10, sigma1(w8), w3, sigma0(w11))));
+ round!(f, g, h, a, b, c, d, e, Add(K(0x8cc70208), inc4!(w11, sigma1(w9), w4, sigma0(w12))));
+ round!(e, f, g, h, a, b, c, d, Add(K(0x90befffa), inc4!(w12, sigma1(w10), w5, sigma0(w13))));
+ round!(d, e, f, g, h, a, b, c, Add(K(0xa4506ceb), inc4!(w13, sigma1(w11), w6, sigma0(w14))));
+ round!(c, d, e, f, g, h, a, b, Add(K(0xbef9a3f7), inc4!(w14, sigma1(w12), w7, sigma0(w15))));
+ round!(b, c, d, e, f, g, h, a, Add(K(0xc67178f2), inc4!(w15, sigma1(w13), w8, sigma0(w0))));
// Transform 1: Update state
a = Add(a, K(0x6a09e667));
@@ -602,390 +232,70 @@ pub(super) unsafe fn sha256d_64_8way(output: &mut [[u8; 32]; 8], input: &[[u8; 6
// ------------------ Transform 2 -------------------
// W is fully constant here, so we just use pre-computed K[i] + W[i] constant
-
- // Round 0
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), K(0xc28a2f98));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 1
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), K(0x71374491));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 2
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), K(0xb5c0fbcf));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 3
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), K(0xe9b5dba5));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 4
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), K(0x3956c25b));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 5
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), K(0x59f111f1));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 6
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), K(0x923f82a4));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 7
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), K(0xab1c5ed5));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
-
- // Round 8
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), K(0xd807aa98));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 9
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), K(0x12835b01));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 10
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), K(0x243185be));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 11
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), K(0x550c7dc3));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 12
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), K(0x72be5d74));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 13
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), K(0x80deb1fe));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 14
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), K(0x9bdc06a7));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 15
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), K(0xc19bf374));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
-
- // Round 16
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), K(0x649b69c1));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 17
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), K(0xf0fe4786));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 18
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), K(0x0fe1edc6));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 19
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), K(0x240cf254));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 20
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), K(0x4fe9346f));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 21
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), K(0x6cc984be));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 22
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), K(0x61b9411e));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 23
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), K(0x16f988fa));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
-
- // Round 24
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), K(0xf2c65152));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 25
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), K(0xa88e5a6d));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 26
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), K(0xb019fc65));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 27
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), K(0xb9d99ec7));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 28
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), K(0x9a1231c3));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 29
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), K(0xe70eeaa0));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 30
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), K(0xfdb1232b));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 31
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), K(0xc7353eb0));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
-
- // Round 32
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), K(0x3069bad5));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 33
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), K(0xcb976d5f));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 34
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), K(0x5a0f118f));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 35
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), K(0xdc1eeefd));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 36
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), K(0x0a35b689));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 37
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), K(0xde0b7a04));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 38
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), K(0x58f4ca9d));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 39
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), K(0xe15d5b16));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
-
- // Round 40
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), K(0x007f3e86));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 41
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), K(0x37088980));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 42
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), K(0xa507ea32));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 43
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), K(0x6fab9537));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 44
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), K(0x17406110));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 45
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), K(0x0d8cd6f1));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 46
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), K(0xcdaa3b6d));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 47
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), K(0xc0bbbe37));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
-
- // Round 48
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), K(0x83613bda));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 49
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), K(0xdb48a363));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 50
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), K(0x0b02e931));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 51
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), K(0x6fd15ca7));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 52
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), K(0x521afaca));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 53
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), K(0x31338431));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 54
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), K(0x6ed41a95));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 55
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), K(0x6d437890));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
-
- // Round 56
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), K(0xc39c91f2));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 57
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), K(0x9eccabbd));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 58
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), K(0xb5c9a0e6));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 59
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), K(0x532fb63c));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 60
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), K(0xd2c741c6));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 61
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), K(0x07237ea3));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 62
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), K(0xa4954b68));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 63
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), K(0x4c191d76));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
+ round!(a, b, c, d, e, f, g, h, K(0xc28a2f98));
+ round!(h, a, b, c, d, e, f, g, K(0x71374491));
+ round!(g, h, a, b, c, d, e, f, K(0xb5c0fbcf));
+ round!(f, g, h, a, b, c, d, e, K(0xe9b5dba5));
+ round!(e, f, g, h, a, b, c, d, K(0x3956c25b));
+ round!(d, e, f, g, h, a, b, c, K(0x59f111f1));
+ round!(c, d, e, f, g, h, a, b, K(0x923f82a4));
+ round!(b, c, d, e, f, g, h, a, K(0xab1c5ed5));
+ round!(a, b, c, d, e, f, g, h, K(0xd807aa98));
+ round!(h, a, b, c, d, e, f, g, K(0x12835b01));
+ round!(g, h, a, b, c, d, e, f, K(0x243185be));
+ round!(f, g, h, a, b, c, d, e, K(0x550c7dc3));
+ round!(e, f, g, h, a, b, c, d, K(0x72be5d74));
+ round!(d, e, f, g, h, a, b, c, K(0x80deb1fe));
+ round!(c, d, e, f, g, h, a, b, K(0x9bdc06a7));
+ round!(b, c, d, e, f, g, h, a, K(0xc19bf374));
+ round!(a, b, c, d, e, f, g, h, K(0x649b69c1));
+ round!(h, a, b, c, d, e, f, g, K(0xf0fe4786));
+ round!(g, h, a, b, c, d, e, f, K(0x0fe1edc6));
+ round!(f, g, h, a, b, c, d, e, K(0x240cf254));
+ round!(e, f, g, h, a, b, c, d, K(0x4fe9346f));
+ round!(d, e, f, g, h, a, b, c, K(0x6cc984be));
+ round!(c, d, e, f, g, h, a, b, K(0x61b9411e));
+ round!(b, c, d, e, f, g, h, a, K(0x16f988fa));
+ round!(a, b, c, d, e, f, g, h, K(0xf2c65152));
+ round!(h, a, b, c, d, e, f, g, K(0xa88e5a6d));
+ round!(g, h, a, b, c, d, e, f, K(0xb019fc65));
+ round!(f, g, h, a, b, c, d, e, K(0xb9d99ec7));
+ round!(e, f, g, h, a, b, c, d, K(0x9a1231c3));
+ round!(d, e, f, g, h, a, b, c, K(0xe70eeaa0));
+ round!(c, d, e, f, g, h, a, b, K(0xfdb1232b));
+ round!(b, c, d, e, f, g, h, a, K(0xc7353eb0));
+ round!(a, b, c, d, e, f, g, h, K(0x3069bad5));
+ round!(h, a, b, c, d, e, f, g, K(0xcb976d5f));
+ round!(g, h, a, b, c, d, e, f, K(0x5a0f118f));
+ round!(f, g, h, a, b, c, d, e, K(0xdc1eeefd));
+ round!(e, f, g, h, a, b, c, d, K(0x0a35b689));
+ round!(d, e, f, g, h, a, b, c, K(0xde0b7a04));
+ round!(c, d, e, f, g, h, a, b, K(0x58f4ca9d));
+ round!(b, c, d, e, f, g, h, a, K(0xe15d5b16));
+ round!(a, b, c, d, e, f, g, h, K(0x007f3e86));
+ round!(h, a, b, c, d, e, f, g, K(0x37088980));
+ round!(g, h, a, b, c, d, e, f, K(0xa507ea32));
+ round!(f, g, h, a, b, c, d, e, K(0x6fab9537));
+ round!(e, f, g, h, a, b, c, d, K(0x17406110));
+ round!(d, e, f, g, h, a, b, c, K(0x0d8cd6f1));
+ round!(c, d, e, f, g, h, a, b, K(0xcdaa3b6d));
+ round!(b, c, d, e, f, g, h, a, K(0xc0bbbe37));
+ round!(a, b, c, d, e, f, g, h, K(0x83613bda));
+ round!(h, a, b, c, d, e, f, g, K(0xdb48a363));
+ round!(g, h, a, b, c, d, e, f, K(0x0b02e931));
+ round!(f, g, h, a, b, c, d, e, K(0x6fd15ca7));
+ round!(e, f, g, h, a, b, c, d, K(0x521afaca));
+ round!(d, e, f, g, h, a, b, c, K(0x31338431));
+ round!(c, d, e, f, g, h, a, b, K(0x6ed41a95));
+ round!(b, c, d, e, f, g, h, a, K(0x6d437890));
+ round!(a, b, c, d, e, f, g, h, K(0xc39c91f2));
+ round!(h, a, b, c, d, e, f, g, K(0x9eccabbd));
+ round!(g, h, a, b, c, d, e, f, K(0xb5c9a0e6));
+ round!(f, g, h, a, b, c, d, e, K(0x532fb63c));
+ round!(e, f, g, h, a, b, c, d, K(0xd2c741c6));
+ round!(d, e, f, g, h, a, b, c, K(0x07237ea3));
+ round!(c, d, e, f, g, h, a, b, K(0xa4954b68));
+ round!(b, c, d, e, f, g, h, a, K(0x4c191d76));
// Transform 2: Update state
w0 = Add(s0, a);
@@ -1008,440 +318,72 @@ pub(super) unsafe fn sha256d_64_8way(output: &mut [[u8; 32]; 8], input: &[[u8; 6
h = K(0x5be0cd19);
// Rounds 0-7: feed in the 32 byte message (w0..w7)
-
- // Round 0
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), Add(K(0x428a2f98), w0));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 1
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), Add(K(0x71374491), w1));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 2
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), Add(K(0xb5c0fbcf), w2));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 3
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), Add(K(0xe9b5dba5), w3));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 4
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), Add(K(0x3956c25b), w4));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 5
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), Add(K(0x59f111f1), w5));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 6
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), Add(K(0x923f82a4), w6));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 7
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), Add(K(0xab1c5ed5), w7));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
+ round!(a, b, c, d, e, f, g, h, Add(K(0x428a2f98), w0));
+ round!(h, a, b, c, d, e, f, g, Add(K(0x71374491), w1));
+ round!(g, h, a, b, c, d, e, f, Add(K(0xb5c0fbcf), w2));
+ round!(f, g, h, a, b, c, d, e, Add(K(0xe9b5dba5), w3));
+ round!(e, f, g, h, a, b, c, d, Add(K(0x3956c25b), w4));
+ round!(d, e, f, g, h, a, b, c, Add(K(0x59f111f1), w5));
+ round!(c, d, e, f, g, h, a, b, Add(K(0x923f82a4), w6));
+ round!(b, c, d, e, f, g, h, a, Add(K(0xab1c5ed5), w7));
// Rounds 8-15: known padding
-
- // Round 8
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), K(0x5807aa98));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 9
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), K(0x12835b01));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 10
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), K(0x243185be));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 11
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), K(0x550c7dc3));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 12
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), K(0x72be5d74));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 13
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), K(0x80deb1fe));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 14
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), K(0x9bdc06a7));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 15
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), K(0xc19bf274));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
-
- // Round 16
- w0 = Add(w0, sigma0(w1));
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), Add(K(0xe49b69c1), w0));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 17
- w1 = Add3(w1, K(0x00a00000), sigma0(w2));
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), Add(K(0xefbe4786), w1));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 18
- w2 = Add3(w2, sigma1(w0), sigma0(w3));
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), Add(K(0x0fc19dc6), w2));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 19
- w3 = Add3(w3, sigma1(w1), sigma0(w4));
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), Add(K(0x240ca1cc), w3));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 20
- w4 = Add3(w4, sigma1(w2), sigma0(w5));
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), Add(K(0x2de92c6f), w4));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 21
- w5 = Add3(w5, sigma1(w3), sigma0(w6));
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), Add(K(0x4a7484aa), w5));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 22
- w6 = Add4(w6, sigma1(w4), K(0x00000100), sigma0(w7));
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), Add(K(0x5cb0a9dc), w6));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 23
- w7 = Add4(w7, sigma1(w5), w0, K(0x11002000));
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), Add(K(0x76f988da), w7));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
-
- // Round 24
- w8 = Add3(K(0x80000000), sigma1(w6), w1);
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), Add(K(0x983e5152), w8));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 25
- w9 = Add(sigma1(w7), w2);
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), Add(K(0xa831c66d), w9));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 26
- w10 = Add(sigma1(w8), w3);
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), Add(K(0xb00327c8), w10));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 27
- w11 = Add(sigma1(w9), w4);
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), Add(K(0xbf597fc7), w11));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 28
- w12 = Add(sigma1(w10), w5);
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), Add(K(0xc6e00bf3), w12));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 29
- w13 = Add(sigma1(w11), w6);
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), Add(K(0xd5a79147), w13));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 30
- w14 = Add3(sigma1(w12), w7, K(0x00400022));
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), Add(K(0x06ca6351), w14));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 31
- w15 = Add4(K(0x00000100), sigma1(w13), w8, sigma0(w0));
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), Add(K(0x14292967), w15));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
-
- // Round 32
- w0 = Add4(w0, sigma1(w14), w9, sigma0(w1));
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), Add(K(0x27b70a85), w0));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 33
- w1 = Add4(w1, sigma1(w15), w10, sigma0(w2));
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), Add(K(0x2e1b2138), w1));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 34
- w2 = Add4(w2, sigma1(w0), w11, sigma0(w3));
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), Add(K(0x4d2c6dfc), w2));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 35
- w3 = Add4(w3, sigma1(w1), w12, sigma0(w4));
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), Add(K(0x53380d13), w3));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 36
- w4 = Add4(w4, sigma1(w2), w13, sigma0(w5));
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), Add(K(0x650a7354), w4));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 37
- w5 = Add4(w5, sigma1(w3), w14, sigma0(w6));
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), Add(K(0x766a0abb), w5));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 38
- w6 = Add4(w6, sigma1(w4), w15, sigma0(w7));
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), Add(K(0x81c2c92e), w6));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 39
- w7 = Add4(w7, sigma1(w5), w0, sigma0(w8));
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), Add(K(0x92722c85), w7));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
-
- // Round 40
- w8 = Add4(w8, sigma1(w6), w1, sigma0(w9));
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), Add(K(0xa2bfe8a1), w8));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 41
- w9 = Add4(w9, sigma1(w7), w2, sigma0(w10));
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), Add(K(0xa81a664b), w9));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 42
- w10 = Add4(w10, sigma1(w8), w3, sigma0(w11));
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), Add(K(0xc24b8b70), w10));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 43
- w11 = Add4(w11, sigma1(w9), w4, sigma0(w12));
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), Add(K(0xc76c51a3), w11));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 44
- w12 = Add4(w12, sigma1(w10), w5, sigma0(w13));
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), Add(K(0xd192e819), w12));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 45
- w13 = Add4(w13, sigma1(w11), w6, sigma0(w14));
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), Add(K(0xd6990624), w13));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 46
- w14 = Add4(w14, sigma1(w12), w7, sigma0(w15));
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), Add(K(0xf40e3585), w14));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 47
- w15 = Add4(w15, sigma1(w13), w8, sigma0(w0));
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), Add(K(0x106aa070), w15));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
-
- // Round 48
- w0 = Add4(w0, sigma1(w14), w9, sigma0(w1));
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), Add(K(0x19a4c116), w0));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 49
- w1 = Add4(w1, sigma1(w15), w10, sigma0(w2));
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), Add(K(0x1e376c08), w1));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 50
- w2 = Add4(w2, sigma1(w0), w11, sigma0(w3));
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), Add(K(0x2748774c), w2));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 51
- w3 = Add4(w3, sigma1(w1), w12, sigma0(w4));
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), Add(K(0x34b0bcb5), w3));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 52
- w4 = Add4(w4, sigma1(w2), w13, sigma0(w5));
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), Add(K(0x391c0cb3), w4));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 53
- w5 = Add4(w5, sigma1(w3), w14, sigma0(w6));
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), Add(K(0x4ed8aa4a), w5));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 54
- w6 = Add4(w6, sigma1(w4), w15, sigma0(w7));
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), Add(K(0x5b9cca4f), w6));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 55
- w7 = Add4(w7, sigma1(w5), w0, sigma0(w8));
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), Add(K(0x682e6ff3), w7));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
-
- // Round 56
- w8 = Add4(w8, sigma1(w6), w1, sigma0(w9));
- let t1 = Add4(h, Sigma1(e), Ch(e, f, g), Add(K(0x748f82ee), w8));
- let t2 = Add(Sigma0(a), Maj(a, b, c));
- d = Add(d, t1);
- h = Add(t1, t2);
-
- // Round 57
- w9 = Add4(w9, sigma1(w7), w2, sigma0(w10));
- let t1 = Add4(g, Sigma1(d), Ch(d, e, f), Add(K(0x78a5636f), w9));
- let t2 = Add(Sigma0(h), Maj(h, a, b));
- c = Add(c, t1);
- g = Add(t1, t2);
-
- // Round 58
- w10 = Add4(w10, sigma1(w8), w3, sigma0(w11));
- let t1 = Add4(f, Sigma1(c), Ch(c, d, e), Add(K(0x84c87814), w10));
- let t2 = Add(Sigma0(g), Maj(g, h, a));
- b = Add(b, t1);
- f = Add(t1, t2);
-
- // Round 59
- w11 = Add4(w11, sigma1(w9), w4, sigma0(w12));
- let t1 = Add4(e, Sigma1(b), Ch(b, c, d), Add(K(0x8cc70208), w11));
- let t2 = Add(Sigma0(f), Maj(f, g, h));
- a = Add(a, t1);
- e = Add(t1, t2);
-
- // Round 60
- w12 = Add4(w12, sigma1(w10), w5, sigma0(w13));
- let t1 = Add4(d, Sigma1(a), Ch(a, b, c), Add(K(0x90befffa), w12));
- let t2 = Add(Sigma0(e), Maj(e, f, g));
- h = Add(h, t1);
- d = Add(t1, t2);
-
- // Round 61
- w13 = Add4(w13, sigma1(w11), w6, sigma0(w14));
- let t1 = Add4(c, Sigma1(h), Ch(h, a, b), Add(K(0xa4506ceb), w13));
- let t2 = Add(Sigma0(d), Maj(d, e, f));
- g = Add(g, t1);
- c = Add(t1, t2);
-
- // Round 62
- w14 = Add4(w14, sigma1(w12), w7, sigma0(w15));
- let t1 = Add4(b, Sigma1(g), Ch(g, h, a), Add(K(0xbef9a3f7), w14));
- let t2 = Add(Sigma0(c), Maj(c, d, e));
- f = Add(f, t1);
- b = Add(t1, t2);
-
- // Round 63
- w15 = Add4(w15, sigma1(w13), w8, sigma0(w0));
- let t1 = Add4(a, Sigma1(f), Ch(f, g, h), Add(K(0xc67178f2), w15));
- let t2 = Add(Sigma0(b), Maj(b, c, d));
- e = Add(e, t1);
- a = Add(t1, t2);
+ round!(a, b, c, d, e, f, g, h, K(0x5807aa98));
+ round!(h, a, b, c, d, e, f, g, K(0x12835b01));
+ round!(g, h, a, b, c, d, e, f, K(0x243185be));
+ round!(f, g, h, a, b, c, d, e, K(0x550c7dc3));
+ round!(e, f, g, h, a, b, c, d, K(0x72be5d74));
+ round!(d, e, f, g, h, a, b, c, K(0x80deb1fe));
+ round!(c, d, e, f, g, h, a, b, K(0x9bdc06a7));
+ round!(b, c, d, e, f, g, h, a, K(0xc19bf274));
+ round!(a, b, c, d, e, f, g, h, Add(K(0xe49b69c1), inc2!(w0, sigma0(w1))));
+ round!(h, a, b, c, d, e, f, g, Add(K(0xefbe4786), inc3!(w1, K(0x00a00000), sigma0(w2))));
+ round!(g, h, a, b, c, d, e, f, Add(K(0x0fc19dc6), inc3!(w2, sigma1(w0), sigma0(w3))));
+ round!(f, g, h, a, b, c, d, e, Add(K(0x240ca1cc), inc3!(w3, sigma1(w1), sigma0(w4))));
+ round!(e, f, g, h, a, b, c, d, Add(K(0x2de92c6f), inc3!(w4, sigma1(w2), sigma0(w5))));
+ round!(d, e, f, g, h, a, b, c, Add(K(0x4a7484aa), inc3!(w5, sigma1(w3), sigma0(w6))));
+ round!(c, d, e, f, g, h, a, b, Add(K(0x5cb0a9dc), inc4!(w6, sigma1(w4), K(0x00000100), sigma0(w7))));
+ round!(b, c, d, e, f, g, h, a, Add(K(0x76f988da), inc4!(w7, sigma1(w5), w0, K(0x11002000))));
+ round!(a, b, c, d, e, f, g, h, Add(K(0x983e5152), { w8 = Add3(K(0x80000000), sigma1(w6), w1); w8 }));
+ round!(h, a, b, c, d, e, f, g, Add(K(0xa831c66d), { w9 = Add(sigma1(w7), w2); w9 }));
+ round!(g, h, a, b, c, d, e, f, Add(K(0xb00327c8), { w10 = Add(sigma1(w8), w3); w10 }));
+ round!(f, g, h, a, b, c, d, e, Add(K(0xbf597fc7), { w11 = Add(sigma1(w9), w4); w11 }));
+ round!(e, f, g, h, a, b, c, d, Add(K(0xc6e00bf3), { w12 = Add(sigma1(w10), w5); w12 }));
+ round!(d, e, f, g, h, a, b, c, Add(K(0xd5a79147), { w13 = Add(sigma1(w11), w6); w13 }));
+ round!(c, d, e, f, g, h, a, b, Add(K(0x06ca6351), { w14 = Add3(sigma1(w12), w7, K(0x00400022)); w14 }));
+ round!(b, c, d, e, f, g, h, a, Add(K(0x14292967), { w15 = Add4(K(0x00000100), sigma1(w13), w8, sigma0(w0)); w15 }));
+ round!(a, b, c, d, e, f, g, h, Add(K(0x27b70a85), inc4!(w0, sigma1(w14), w9, sigma0(w1))));
+ round!(h, a, b, c, d, e, f, g, Add(K(0x2e1b2138), inc4!(w1, sigma1(w15), w10, sigma0(w2))));
+ round!(g, h, a, b, c, d, e, f, Add(K(0x4d2c6dfc), inc4!(w2, sigma1(w0), w11, sigma0(w3))));
+ round!(f, g, h, a, b, c, d, e, Add(K(0x53380d13), inc4!(w3, sigma1(w1), w12, sigma0(w4))));
+ round!(e, f, g, h, a, b, c, d, Add(K(0x650a7354), inc4!(w4, sigma1(w2), w13, sigma0(w5))));
+ round!(d, e, f, g, h, a, b, c, Add(K(0x766a0abb), inc4!(w5, sigma1(w3), w14, sigma0(w6))));
+ round!(c, d, e, f, g, h, a, b, Add(K(0x81c2c92e), inc4!(w6, sigma1(w4), w15, sigma0(w7))));
+ round!(b, c, d, e, f, g, h, a, Add(K(0x92722c85), inc4!(w7, sigma1(w5), w0, sigma0(w8))));
+ round!(a, b, c, d, e, f, g, h, Add(K(0xa2bfe8a1), inc4!(w8, sigma1(w6), w1, sigma0(w9))));
+ round!(h, a, b, c, d, e, f, g, Add(K(0xa81a664b), inc4!(w9, sigma1(w7), w2, sigma0(w10))));
+ round!(g, h, a, b, c, d, e, f, Add(K(0xc24b8b70), inc4!(w10, sigma1(w8), w3, sigma0(w11))));
+ round!(f, g, h, a, b, c, d, e, Add(K(0xc76c51a3), inc4!(w11, sigma1(w9), w4, sigma0(w12))));
+ round!(e, f, g, h, a, b, c, d, Add(K(0xd192e819), inc4!(w12, sigma1(w10), w5, sigma0(w13))));
+ round!(d, e, f, g, h, a, b, c, Add(K(0xd6990624), inc4!(w13, sigma1(w11), w6, sigma0(w14))));
+ round!(c, d, e, f, g, h, a, b, Add(K(0xf40e3585), inc4!(w14, sigma1(w12), w7, sigma0(w15))));
+ round!(b, c, d, e, f, g, h, a, Add(K(0x106aa070), inc4!(w15, sigma1(w13), w8, sigma0(w0))));
+ round!(a, b, c, d, e, f, g, h, Add(K(0x19a4c116), inc4!(w0, sigma1(w14), w9, sigma0(w1))));
+ round!(h, a, b, c, d, e, f, g, Add(K(0x1e376c08), inc4!(w1, sigma1(w15), w10, sigma0(w2))));
+ round!(g, h, a, b, c, d, e, f, Add(K(0x2748774c), inc4!(w2, sigma1(w0), w11, sigma0(w3))));
+ round!(f, g, h, a, b, c, d, e, Add(K(0x34b0bcb5), inc4!(w3, sigma1(w1), w12, sigma0(w4))));
+ round!(e, f, g, h, a, b, c, d, Add(K(0x391c0cb3), inc4!(w4, sigma1(w2), w13, sigma0(w5))));
+ round!(d, e, f, g, h, a, b, c, Add(K(0x4ed8aa4a), inc4!(w5, sigma1(w3), w14, sigma0(w6))));
+ round!(c, d, e, f, g, h, a, b, Add(K(0x5b9cca4f), inc4!(w6, sigma1(w4), w15, sigma0(w7))));
+ round!(b, c, d, e, f, g, h, a, Add(K(0x682e6ff3), inc4!(w7, sigma1(w5), w0, sigma0(w8))));
+ round!(a, b, c, d, e, f, g, h, Add(K(0x748f82ee), inc4!(w8, sigma1(w6), w1, sigma0(w9))));
+ round!(h, a, b, c, d, e, f, g, Add(K(0x78a5636f), inc4!(w9, sigma1(w7), w2, sigma0(w10))));
+ round!(g, h, a, b, c, d, e, f, Add(K(0x84c87814), inc4!(w10, sigma1(w8), w3, sigma0(w11))));
+ round!(f, g, h, a, b, c, d, e, Add(K(0x8cc70208), inc4!(w11, sigma1(w9), w4, sigma0(w12))));
+ round!(e, f, g, h, a, b, c, d, Add(K(0x90befffa), inc4!(w12, sigma1(w10), w5, sigma0(w13))));
+ round!(d, e, f, g, h, a, b, c, Add(K(0xa4506ceb), inc4!(w13, sigma1(w11), w6, sigma0(w14))));
+ round!(c, d, e, f, g, h, a, b, Add(K(0xbef9a3f7), inc4!(w14, sigma1(w12), w7, sigma0(w15))));
+ round!(b, c, d, e, f, g, h, a, Add(K(0xc67178f2), inc4!(w15, sigma1(w13), w8, sigma0(w0))));
// Transform 3: Store result
Write8(output, 0, Add(a, K(0x6a09e667)));
Risk score
Our methodology →Why this scored 18/100
Human-validated context
Community notes
Notes can correct, qualify, or add evidence to the AI analysis. Every note shown here has been validated by a human moderator.
No validated notes yet.
The AI analysis stands alone for now. Submit a note if you can add evidence or important context.