def block

bend-collections-laws-crypto@1.0.0.0 · src/crypto/chacha/core.bend:128

import Base

128# The block function with n double rounds: the rounds, then the input added.
129def block(+n: Nat, +s: State) -> State:
130  add(s, rounds(n, s))