def rounds

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/blake/blake2b.bend:166

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/types.bend as T

166# Rounds i, i+1, .., i+n-1.
167def rounds(n: Nat, +i: Nat, v: T.State, +m: List<&2,T.Lane>) -> T.State:
168  match n:
169    case 0n: v
170    case 1n+p: rounds(p,1n+i,round(v,m,sigma(Nat.mod(i,10n))),m)