def hchacha_body

bend-collections-laws-crypto@1.0.0.0 · src/crypto/chacha/chacha20.bend:109

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/chacha/core.bend as C

109def hchacha_body(+r: Nat, key_bytes: List<&2, U32>, nonce_bytes: List<&2, U32>) -> List<&2, U32>:
110  C.hbytes(C.rounds(r, hstate(key(key_bytes), words(nonce_bytes))))