def x25519

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

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/curve25519/field.bend as FS

142def x25519(+one: Nat, k: List<&2, U32>, u: List<&2, U32>) -> List<&2, U32>:
143  x25519_p(one, FS.prime(one), k, u)