def x25519

bend-collections-laws-crypto@1.0.0.0 · src/crypto/curve25519/x25519.bend:151

import Base

151# X25519(k, u); None unless both are 32 bytes below 256
152def x25519(+k: List<&2, U32>, +u: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
153  x25519_if(Bool.and(valid_bytes(32n, k), valid_bytes(32n, u)), k, u)