def is_zero
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/scalar.bend as Scalarimport Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/limbs.bend as L
94def is_zero(a: List<&2, Nat>) -> Bool:
95 L.is_zero(a)
Uses (4)
Used by (13)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/ecdsa:scalar_ok
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/fwrap:is_zero_s
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/pscal:scalar_ok_v
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/schnorr:sign_p
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/ecdsa:finish
- …