def rounds

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

import Base

116# n double rounds (2n rounds).
117def rounds(n: Nat, s: State) -> State:
118  match n:
119    case 0n: s
120    case 1n+p: rounds(p, double_round(s))