def x25519_p

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

import Base

138def x25519_p(+one: Nat, +p: Nat, +k: List<&2, U32>, u: List<&2, U32>) -> List<&2, U32>:
139  +x1 = Nat.mod(decode_u(u), p)
140  finish(p, ladder(one, p, bits(k), decode_scalar(k), x1, LSt{1n, 0n, x1, 1n, 0n}))