トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

aa94e2c5152c9ede5f1fadc985f294c745e02cde701b4f00e8c9b491f58eb70c OP_CHECKSIG

20aa94e2c5152c9ede5f1fadc985f294c745e02cde701b4f00e8c9b491f58eb70cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

4b7e3332ee0061280ce5b05ad6618c9b19cbd33b3e2893e995d4cbb458e79ffa

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 4b7e3332ee0061280ce5b05ad6618c9b19cbd33b3e2893e995d4cbb458e79ffa
2. TapBranch(4b7e3332…58e79ffa, 46c7eccf…1725e9fa) = d8dd1e3caadf9cc0fa24d6a367f17c972fde5f0f592297b11ff9b3e8a45b7657

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

d8dd1e3caadf9cc0fa24d6a367f17c972fde5f0f592297b11ff9b3e8a45b7657

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

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

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

b54aa7038722f707c74713bc8e5ae20a45cb9df530180c1241b6b115369152476bf148e69b20319ea802e750dd2e7f2f97b9cb22cf23dcf15e72c4da8dec8512