def attempt
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/ecdsa.bend as Ecdsaimport Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/bytes.bend as B
104# the candidate k = bits2int(V) (RFC 6979 step h.3): used when 1 <= k < n
105def attempt(+z: List<&2, Nat>, +d: List<&2, Nat>, +v: List<&2, U32>) -> Attempt:
106 +k = B.of_be(v)
107 attempt_ok(z, d, k, scalar_ok(k))
Uses (7)
Used by (5)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/ecdsa:sign_drbg
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/ecdsa:sign_loop
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/psign:att_v
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/psign:drbg_sign
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/psign:sl