def tight
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/curve25519/field.bend as Fieldimport Base
57def tight(xs: List<&2, U32>) -> Bool:
58 bytes_ok(32n, xs)
Uses (4)
Used by (82)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/proof:ok
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/proof:tight_of
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/proof:x25519_checked
- 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_value
- …