def rows

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/argon2/blamka.bend:186

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/types.bend as A

186# (Q0, .., Q7) <- P(R0, .., R7), .., (Q56, .., Q63) <- P(R56, .., R63): P on
187# each row of eight 16-byte registers.
188def rows(b: A.Block) -> A.Block:
189  match b:
190    case A.B{r0, r1, r2, r3, r4, r5, r6, r7}:
191      permute(A.B{r0, r1, r2, r3, r4, r5, r6, r7}, rows_all())