def segment

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

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/argon2/types.bend as A
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/argon2/blamka.bend as G

360# Segment s of lane l in pass r; data-independent addressing (Argon2i) in the
361# first two slices of the first pass, data-dependent (Argon2d) otherwise.
362def segment(+r: Nat, +s: Nat, +l: Nat, +p: Nat, +q: Nat, +sl: Nat, +mm: Nat, +t: Nat, +mem: List<&2, A.Block>) -> List<&2, A.Block>:
363  +r0 = Nat.is_eq(r, 0n)
364  +st = start_index(Bool.and(r0, Nat.is_eq(s, 0n)))
365  seg_go(Nat.sub(sl, st), st, True{}, G.zero(), mem, r, l, s, p, q, sl, mm, t, Bool.and(r0, Nat.is_lt(s, 2n)))