def kbit

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

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/curve25519/x25519.bend as X25519

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/common.bend as C

66# k_t = (k >> t) & 1
67def kbit(+k: Nat, t: Nat) -> Nat:
68  C.bit(C.high(t, k))

Uses (3)

Used by (11)