def c6.ops

bend-osdev-legacy-ciphers@0.1.0.0 · cast6.bend:149

import Base
import bend-osdev-legacy-ciphers@0.1.0.0/cast5.bend as C5

149# the steps from quad-round i on: Q up to i = 5, then QBAR
150def c6.ops(n: Nat, +i: Nat, +t: C5.LcCastTabs, st: LcCast6Kst) -> List<&2, LcCast6Op>:
151  match n:
152    case 0n:
153      Nil{}
154    case 1n+p:
155      +st2 = c6.octave(t, c6.octave(t, st))
156      Con{LcCast6Op{Nat.is_lt(i, 6n), c6.ks.of(t, st2)}, c6.ops(p, Nat.add(i, 1n), t, st2)}