SHA-3 code changes for verification#1482

Open

karthikbhargavan wants to merge 1 commit into

pr2-intrinsicsfrom

Commits on Jun 18, 2026

sha3: split simd/{arm64,avx2}.rs into load/store/wrappers submodules
karthikbhargavan
committed