~/jendhub

def block_body

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

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

111# chacha20_block with n double rounds: working state after n inner blocks,
112# added to the initial state, serialized little-endian (64 bytes).
113def block_body(+n: Nat, +key: List<&2, U32>, counter: U32, +nonce: List<&2, U32>) -> List<&2, U32>:
114  +s = state(words(key), counter, words(nonce))
115  serialize(add_words(s, inner_blocks(n, s)))

Uses (8)

Used by (1)