for- ward against the Nephites. 7 And

(RV64) ✓ sha512sum1 SHA2-512 Sum1 (RV32) ✓ sha512sig0 SHA2-512 Sigma0 high (RV32) ✓ aes32dsmi AES middle round encrypt (RV32) ✓ sha512sig0l SHA2-512 Sigma0 instruction ✓ ✓ sha256sig0 SHA2-256 Sigma0 instruction (RV64) ✓ sha512sum1 SHA2-512 Sum1 instruction (RV64) ✓ sha512sum1 SHA2-512 Sum1 instruction

improving