V18, V16, V13, V14) SHA512ROUND(V0, V1, V2, V3, V4, V26, V30, V18, V19, V17, V14, V15) SHA512ROUND(V3, V0, V4, V2, V1, V27, V31, V19, V12, V18, V15, V16) SHA512ROUND_NO_UPDATE(V2, V3, V1, V4, V0, V28, V24, V12) SHA512ROUND_NO_UPDATE(V4, V2, V0, V1, V3, V29, V25, V13) SHA512ROUND_NO_UPDATE(V1, V4, V3, V0, V2, V30, V26, V14) SHA512ROUND_NO_UPDATE(V0, V1, V2, V3, V4, V31, V27, V15) SHA512ROUND_LAST(V3, V0, V4, V2, V1, V24, V16) SHA512ROUND_LAST(V2, V3, V1, V4, V0, V25, V17) SHA512ROUND_LAST(V4, V2,...