def x25519_raw
import bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/x25519.bend as X25519import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field.bend as F
123# X25519 on two 32-byte strings of bytes below 256
124def x25519_raw(+k: List<&2, U32>, u: List<&2, U32>) -> List<&2, U32>:
125 +x1 = F.of_bytes(u)
126 finish(ladder(nbits(k), a24(), clamp(k), x1, St{F.one(), F.zero(), x1, F.one(), 0}))
Uses (11)
Used by (5)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/x25519:x25519_if
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/curve25519/x25519:X25519.value
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/ladder:x25519_rel
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/ladder:x25519_value
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/proof:checked_by