def check_sign(self, blinded_tx: CTransaction, signed_tx: CTransaction,
bundle: Dict[str, Any]) -> None:
tx_to_sign = blinded_tx.to_mutable()
for n, vin in enumerate(tx_to_sign.vin):
utxo = bundle['vin_utxo'][n]
amount = -1 if utxo['amount'] == -1 else coins_to_satoshi(
utxo['amount'])
scriptPubKey = CScript(x(utxo['scriptPubKey']))
a = CCoinAddress(utxo['address'])
if 'privkey' in utxo:
privkey = CCoinKey(utxo['privkey'])
assert isinstance(a, P2PKHCoinAddress),\
"only P2PKH is supported for single-sig"
assert a == P2PKHElementsAddress.from_pubkey(privkey.pub)
assert scriptPubKey == a.to_scriptPubKey()
sighash = SignatureHash(scriptPubKey,
tx_to_sign,
n,
SIGHASH_ALL,
amount=amount,
sigversion=SIGVERSION_BASE)
sig = privkey.sign(sighash) + bytes([SIGHASH_ALL])
tx_to_sign.vin[n].scriptSig = CScript(
[CScript(sig), CScript(privkey.pub)])
else:
pk_list = [CCoinKey(pk) for pk in utxo['privkey_list']]
redeem_script_data = [utxo['num_p2sh_participants']]
redeem_script_data.extend([pk.pub for pk in pk_list])
redeem_script_data.extend([len(pk_list), OP_CHECKMULTISIG])
redeem_script = CScript(redeem_script_data)
assert isinstance(a, P2SHCoinAddress),\
"only P2SH is supported for multi-sig."
assert scriptPubKey == redeem_script.to_p2sh_scriptPubKey()
assert a == P2SHElementsAddress.from_scriptPubKey(
redeem_script.to_p2sh_scriptPubKey())
sighash = SignatureHash(redeem_script,
tx_to_sign,
n,
SIGHASH_ALL,
amount=amount,
sigversion=SIGVERSION_BASE)
sigs = [
pk.sign(sighash) + bytes([SIGHASH_ALL]) for pk in pk_list
]
tx_to_sign.vin[n].scriptSig = CScript([b''] + sigs +
[redeem_script])
VerifyScript(tx_to_sign.vin[n].scriptSig,
scriptPubKey,
tx_to_sign,
n,
amount=amount)
self.assertEqual(tx_to_sign.serialize(), signed_tx.serialize())
def test_immutable(self):
tx = CTransaction()
self.assertFalse(tx.is_coinbase())
with self.assertRaises(AttributeError):
tx.nVersion = 2
with self.assertRaises(AttributeError):
tx.vin.append(CTxIn())
mtx = tx.to_mutable()
mtx.nVersion = 2
mtx.vin.append(CTxIn())
itx = tx.to_immutable()
with self.assertRaises(AttributeError):
itx.nVersion = 2
with self.assertRaises(AttributeError):
itx.vin.append(CTxIn())
def test_immutable(self) -> None:
tx = CTransaction()
self.assertFalse(tx.is_coinbase())
# check that immutable property holds
with self.assertRaises(AttributeError):
tx.nVersion = 2 # type: ignore
with self.assertRaises(AttributeError):
tx.vin.append(CTxIn()) # type: ignore
mtx = tx.to_mutable()
mtx.nVersion = 2
mtx.vin.append(CMutableTxIn())
itx = tx.to_immutable()
with self.assertRaises(AttributeError):
itx.nVersion = 2 # type: ignore
with self.assertRaises(AttributeError):
itx.vin.append(CTxIn()) # type: ignore
def ConsensusVerifyScript(
scriptSig: CScript,
scriptPubKey: CScript,
txTo: CTransaction,
inIdx: int,
flags: Union[Tuple[ScriptVerifyFlag_Type, ...],
Set[ScriptVerifyFlag_Type]] = (),
amount: int = 0,
witness: Optional[CScriptWitness] = None,
consensus_library_hanlde: Optional[ctypes.CDLL] = None) -> None:
"""Verify a scriptSig satisfies a scriptPubKey, via libbitcoinconsensus
`bitcoinconsensus_verify_script_with_amount()` function.
The arguments are compatible with `VerifyScript()` from
`bitcointx.core.scripteval`
scriptSig - Signature. Must be present in the transaction input at
inIdx. Redundant, but is there for compatibility of
arguments with VerifyScript() that allow to supply
different scriptSig than the one in the input
scriptPubKey - PubKey
txTo - Spending transaction
inIdx - Index of the transaction input containing scriptSig
flags - Script execution flags (flags defined in
`bitcointx.core.scripteval`). Only a subset of flags
are allowed (see BITCOINCONSENSUS_ACCEPTED_FLAGS in
`bitcointx.core.bitcoinconsensus`)
amount - amount of the input
witness - CScriptWitness() for the corresponding input.
If None, the witness will be taken from the transaction.
If not None, the witness in the transaction must be empty,
or the same as supplied value.
consensus_library_hanlde - if supplied, the function
`bitcoinconsensus_verify_script_with_amount()` will be
called via this handle. If not, default libbitcoinconsensus
handle will be used, and the attempt to load the library
will be performed on first use.
Raises a ValidationError subclass if the validation fails.
May rise ValueError or TypeError if supplied arguments are incorrect.
May rise RuntimeError if there's some problems with interfaceing with
the library
"""
global _libbitcoin_consensus
if not MoneyRange(amount):
raise ValueError('amount out of MoneyRange')
ensure_isinstance(scriptSig, CScript, 'scriptSig')
if not type(scriptSig) == type(scriptPubKey):
raise TypeError(
"scriptSig and scriptPubKey must be of the same script class")
if txTo.vin[inIdx].scriptSig != scriptSig:
raise ValueError(
f'supplied scriptSig is not present in input {inIdx} of '
f'the supplied transaction')
if witness is not None:
ensure_isinstance(witness, CScriptWitness, 'witness')
if not txTo.wit.vtxinwit[inIdx].scriptWitness.is_null() \
and txTo.wit.vtxinwit[inIdx].scriptWitness != witness:
raise ValueError(
'transaction has witness for input {}, '
'but it is different from what is supplied as witness kwarg'.
format(inIdx))
txTo = txTo.to_mutable()
txTo.wit.vtxinwit[inIdx].scriptWitness = witness
handle = consensus_library_hanlde
if handle is None:
if _libbitcoin_consensus is None:
_libbitcoin_consensus = load_bitcoinconsensus_library()
handle = _libbitcoin_consensus
tx_data = txTo.serialize()
libconsensus_flags = _flags_to_libconsensus(flags)
# bitcoinconsensus_error type is enum, as declared in the C header.
# enum can be of any size, as chosen by the compiler.
# most likely it will be of the size of u_int, but there's no guarantee.
# While teoretically possible, enum is very unlikely to be larger than
# size of u_int (you do not need billions of enum values, and u_int
# is just convenient, being the size of the machine word).
# It conceivable that it may be smaller in size than u_int, though.
# At least on little-endian architectures, this is not a problem.
# On big-endian, if the compiler choses u_int8_t for enum, the error
# that we read afterwards may be wrong. In this case, we will raise
# RuntimeError.
error_code = ctypes.c_uint()
error_code.value = 0
result = handle.bitcoinconsensus_verify_script_with_amount(
scriptPubKey, len(scriptPubKey), amount, tx_data, len(tx_data), inIdx,
libconsensus_flags, ctypes.byref(error_code))
if result == 1:
# script was verified successfully - just return, no exception raised.
return
assert result == 0
err = error_code.value
if err > BITCOINCONENSUS_LAST_ERROR_VALUE:
raise RuntimeError(
'bitcoinconsensus_verify_script_with_amount failed with '
'unknown error code {}'.format(err))
if err != bitcoinconsensus_ERR_OK:
# The errors returned are all about the input values.
# Therefore it seems appropriate to raise ValueError here
raise ValueError(BITCOINCONSENSUS_ERROR_NAMES[err])
raise VerifyScriptError('script verification failed')