def init
import bend-collections-laws-crypto@1.0.0.0/src/crypto/chacha/core.bend as Coreimport Base
132# The ChaCha20 input state: constants, key, block counter, nonce.
133def init(k0: U32, k1: U32, k2: U32, k3: U32, k4: U32, k5: U32, k6: U32, k7: U32, counter: U32, n0: U32, n1: U32, n2: U32) -> State:
134 S{1634760805, 857760878, 2036477234, 1797285236, k0, k1, k2, k3, k4, k5, k6, k7, counter, n0, n1, n2}