トランザクション

入力 0 の P2MR スクリプトパス支出

ノードはこの支出を次のように検証します：公開されたリーフをハッシュし、コントロールブロック内の Merkle パスをたどってルートまで計算し、そのルートが出力の 32 バイトのウィットネスプログラムと等しいことを求めます。このページでも同じ手順で計算し直しています。

リーフバージョン

0xc0

リーフスクリプト

67de09926d6cbb87a06d9328d686c68ef6982a290ee8e06ec5ce4052d38206ad OP_CHECKSIG

2067de09926d6cbb87a06d9328d686c68ef6982a290ee8e06ec5ce4052d38206adac

コントロールブロック

c1adceb7dd0dd0a5633456916a075f2237f033c4b28025a979fe7999c6dbbc0956 (33 B)

コントロールバイトの最下位ビット

1

深さ（パス長 m）

1

Merkle パス

adceb7dd0dd0a5633456916a075f2237f033c4b28025a979fe7999c6dbbc0956

リーフハッシュ（TapLeaf）

0ef31ec62af31a007067b4b6edec66f3e051712280b8c8a937d02b0b0e5accbc

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0ef31ec62af31a007067b4b6edec66f3e051712280b8c8a937d02b0b0e5accbc
2. TapBranch(0ef31ec6…0e5accbc, adceb7dd…dbbc0956) = d40c66fdfcabda80ac173e00280968a13d7547f2909cd479ef0b8ff80438899e

出力のウィットネスプログラム

d40c66fdfcabda80ac173e00280968a13d7547f2909cd479ef0b8ff80438899e

✓ 一致：公開されたリーフは、この出力がコミットしているものです。

リーフスクリプトは実行されました（リーフバージョン 0xc0、深さ 1 以上）。

スクリプトに渡されたスタック要素

a8f170c70fe12f735104d4544cb7d5fd82bdf37a6fc363c6eb0db2dcc010cc3c221c99133d43ea846e4209be7277619af9ff9d2c193d632f5b030eb93da9c80b