def hsl

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/chacha/stream.bend:89

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/chacha.bend as R

89def hsl(+k0: U32, +k1: U32, +k2: U32, +k3: U32, +k4: U32, +k5: U32, +k6: U32, +k7: U32, l: List<&2, U32>) -> List<&2, U32>:
90  match l:
91    case n0 <> n1 <> n2 <> n3 <> rest: R.hstate([k0, k1, k2, k3, k4, k5, k6, k7], [n0, n1, n2, n3])
92    case _: Nil{}