トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

01d29767ff6e9e07500924616f169a86dbe3248a62c069ae8571e03ca853ca21 OP_CHECKSIG

2001d29767ff6e9e07500924616f169a86dbe3248a62c069ae8571e03ca853ca21ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

aae7367169afffbbd9b367fa37a295453fba2f051828afcf145d4445ffe820b3

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = aae7367169afffbbd9b367fa37a295453fba2f051828afcf145d4445ffe820b3
2. TapBranch(aae73671…ffe820b3, 46c7eccf…1725e9fa) = 755a6cbd09315b13ff756830d3e92f7a981b5f732c33632136cdf208fe42d789

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

755a6cbd09315b13ff756830d3e92f7a981b5f732c33632136cdf208fe42d789

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

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

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

d5ee5814ea9ae267c1de6e695fc5b11a2f836a0eeb8712790530e3f2bb16773150e922cc334470256360bf419dad67e867fb17a02f332ac08937fbd2cbfcf97f