52 	MUST_HAVE((h_ctx != NULL), ret, err);  in _bip0340_hash()
87 	MUST_HAVE((isone), ret, err);  in _bip0340_set_scalar()
112 	MUST_HAVE((out_pub != NULL), ret, err);  in bip0340_init_pub_key()
140 	MUST_HAVE((siglen != NULL), ret, err);  in bip0340_siglen()
141 	MUST_HAVE(((p_bit_len <= CURVES_MAX_P_BIT_LEN) &&  in bip0340_siglen()
190 	MUST_HAVE((key_pair != NULL) && (sig != NULL) && (adata == NULL), ret, err);  in _bip0340_sign()
193 	MUST_HAVE((sig_type == BIP0340), ret, err);  in _bip0340_sign()
200 	MUST_HAVE((hm != NULL), ret, err);  in _bip0340_sign()
225 	MUST_HAVE((siglen == BIP0340_SIGLEN(p_bit_len, q_bit_len)), ret, err);  in _bip0340_sign()
226 	MUST_HAVE((p_len == BIP0340_R_LEN(p_bit_len)), ret, err);  in _bip0340_sign()
227 	MUST_HAVE((q_len == BIP0340_S_LEN(q_bit_len)), ret, err);  in _bip0340_sign()
232 	MUST_HAVE((!iszero) && (cmp < 0), ret, err);  in _bip0340_sign()
246 	MUST_HAVE((rand == nn_get_random_mod), ret, err);  in _bip0340_sign()
257 	MUST_HAVE((siglen >= q_len), ret, err);  in _bip0340_sign()
294 	MUST_HAVE((!iszero), ret, err);  in _bip0340_sign()
376 	MUST_HAVE((((const void *)(A)) != NULL) && \
400 	MUST_HAVE((ctx->h != NULL) && (ctx->h->digest_size <= MAX_DIGEST_SIZE) &&  in _bip0340_verify_init()
402 	MUST_HAVE((sig != NULL), ret, err);  in _bip0340_verify_init()
416 	MUST_HAVE((siglen == BIP0340_SIGLEN(p_bit_len, q_bit_len)), ret, err);  in _bip0340_verify_init()
417 	MUST_HAVE((p_len == BIP0340_R_LEN(p_bit_len)), ret, err);  in _bip0340_verify_init()
418 	MUST_HAVE((q_len == BIP0340_S_LEN(q_bit_len)), ret, err);  in _bip0340_verify_init()
431 	MUST_HAVE((cmp < 0), ret, err);  in _bip0340_verify_init()
556 	MUST_HAVE((!iszero), ret, err);  in _bip0340_verify_finalize()
560 	MUST_HAVE((!isodd), ret, err);  in _bip0340_verify_finalize()
664 	MUST_HAVE((stream != NULL), ret, err);  in _bip0340_chacha20_block()
665 	MUST_HAVE((stream_len <= CHACHA20_MAX_ASKED_LEN), ret, err);  in _bip0340_chacha20_block()
704 	MUST_HAVE((seedlen == SHA256_DIGEST_SIZE) && (scalar_len <= CHACHA20_MAX_ASKED_LEN), ret, err);  in _bip0340_compute_batch_csprng_one_scalar()
726 	MUST_HAVE((seed != NULL) && (scalar != NULL) && (num != NULL) && (a != NULL), ret, err);  in _bip0340_compute_batch_csprng_scalars()
727 	MUST_HAVE((scalar_len >= q_len), ret, err);  in _bip0340_compute_batch_csprng_scalars()
732 		MUST_HAVE((*num) < 0xffffffff, ret, err);  in _bip0340_compute_batch_csprng_scalars()
777         MUST_HAVE((hm != NULL), ret, err);  in _bip0340_compute_batch_csprng_seed()
779 	MUST_HAVE((seedlen == hm->digest_size), ret, err);  in _bip0340_compute_batch_csprng_seed()
843         MUST_HAVE((s != NULL) && (pub_keys != NULL) && (m != NULL), ret, err);  in _bip0340_verify_batch_no_memory()
845         MUST_HAVE((num > 0), ret, err);  in _bip0340_verify_batch_no_memory()
854         MUST_HAVE((pub_key0 != NULL), ret, err);  in _bip0340_verify_batch_no_memory()
859         MUST_HAVE((hm != NULL), ret, err);  in _bip0340_verify_batch_no_memory()
871 		MUST_HAVE((pub_key->params) == (pub_key0->params), ret, err);  in _bip0340_verify_batch_no_memory()
886 		MUST_HAVE((siglen == BIP0340_SIGLEN(p_bit_len, q_bit_len)), ret, err);  in _bip0340_verify_batch_no_memory()
887 		MUST_HAVE((siglen == (BIP0340_R_LEN(p_bit_len) + BIP0340_S_LEN(q_bit_len))), ret, err);  in _bip0340_verify_batch_no_memory()
890 		MUST_HAVE((key_type == sig_type), ret, err);  in _bip0340_verify_batch_no_memory()
921 		MUST_HAVE((cmp < 0), ret, err);  in _bip0340_verify_batch_no_memory()
993         MUST_HAVE((q != NULL) && (G != NULL), ret, err);  in _bip0340_verify_batch_no_memory()
1065         MUST_HAVE((s != NULL) && (pub_keys != NULL) && (m != NULL), ret, err);  in _bip0340_verify_batch()
1067 	MUST_HAVE((scratch_pad_area_len != NULL), ret, err);  in _bip0340_verify_batch()
1068 	MUST_HAVE(((2 * num) >= num), ret, err);  in _bip0340_verify_batch()
1069         MUST_HAVE(((2 * num) + 1) >= num, ret, err);  in _bip0340_verify_batch()
1096         MUST_HAVE((expected_len < 0xffffffff), ret, err);  in _bip0340_verify_batch()
1107                 MUST_HAVE((*scratch_pad_area_len) >= expected_len, ret, err);  in _bip0340_verify_batch()
1111         MUST_HAVE((pub_key0 != NULL), ret, err);  in _bip0340_verify_batch()
1116         MUST_HAVE((hm != NULL), ret, err);  in _bip0340_verify_batch()
1128 		MUST_HAVE((pub_key->params) == (pub_key0->params), ret, err);  in _bip0340_verify_batch()
1143 		MUST_HAVE((siglen == BIP0340_SIGLEN(p_bit_len, q_bit_len)), ret, err);  in _bip0340_verify_batch()
1144 		MUST_HAVE((siglen == (BIP0340_R_LEN(p_bit_len) + BIP0340_S_LEN(q_bit_len))), ret, err);  in _bip0340_verify_batch()
1147 		MUST_HAVE((key_type == sig_type), ret, err);  in _bip0340_verify_batch()
1173 		MUST_HAVE((cmp < 0), ret, err);  in _bip0340_verify_batch()
1250         MUST_HAVE((q != NULL) && (G != NULL) && (q_bit_len != 0), ret, err);  in _bip0340_verify_batch()
1304 		MUST_HAVE((scratch_pad_area_len != NULL), ret, err);  in bip0340_verify_batch()