def rounds

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/blake/blake3.bend:123

import Base

123def rounds(n: Nat, +v: List<&2,U32>, +m: List<&2,U32>) -> List<&2,U32>:
124  match n:
125    case 0n: v
126    case 1n+k: rounds(k,round(v,m),permute(m))