def masked

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/blake/blake2s/bytes.bend:244

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2s/blake2s.bend as K

244# The last block: the implementation masks word j with pad_word(w, i + 4j, len).
245def masked(ws: List<&2,U32>, +i: Nat, +len: Nat) -> List<&2,U32>:
246  match ws:
247    case Nil{}: Nil{}
248    case w <> rest: K.pad_word(w,i,len) <> masked(rest,4n+i,len)