def encode_u
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/curve25519/x25519.bend as X25519import Base
63def encode_u(+p: Nat, u: Nat) -> List<&2, U32>:
64 le_bytes(32n, Nat.mod(u, p))
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/curve25519/x25519.bend as X25519import Base
63def encode_u(+p: Nat, u: Nat) -> List<&2, U32>:
64 le_bytes(32n, Nat.mod(u, p))