def rung

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/curve25519/x25519.bend:115

import Base

115def rung(+one: Nat, +p: Nat, +x1: Nat, st: LSt, +kt: Nat) -> LSt:
116  match st:
117    case LSt{+x2, +z2, +x3, +z3, swap}:
118      +sw = bxor(swap, kt)
119      step(one, p, x1, cs_fst(sw, x2, x3), cs_fst(sw, z2, z3), cs_snd(sw, x2, x3), cs_snd(sw, z2, z3), kt)