def decode_u
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/curve25519/x25519.bend as X25519import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/curve25519/field.bend as FS
52def decode_u(bs: List<&2, U32>) -> Nat:
53 FS.value(mask_last(bs))
Uses (5)
Used by (4)
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/curve25519/x25519:x25519_p
- 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:spec_tight