def col_pairs

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/argon2/blamka.bend:150

import Base

150# Column i: the 16-byte registers i, i + 8, .., i + 56, that is lanes
151# 2i, 2i + 1, 2i + 16, 2i + 17, .., 2i + 112, 2i + 113.
152def col_pairs(n: Nat, +first: Nat) -> List<&2, Nat>:
153  match n:
154    case 0n:
155      Nil{}
156    case 1n+k:
157      first <> Nat.add(first, 1n) <> col_pairs(k, Nat.add(first, 16n))