def hchacha_rounds

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/chacha.bend:187

import Base

187# Entered through a match on the key, as block_rounds.
188def hchacha_rounds(+n: Nat, key: List<&2, U32>, +nonce: List<&2, U32>) -> List<&2, U32>:
189  match key:
190    case Nil{}: hchacha_body(n, Nil{}, nonce)
191    case b <> rest: hchacha_body(n, b <> rest, nonce)