トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

421c2cccf00066cd779959347d10e1314db4851b0abf5ae8de8e55aefe498c5f OP_CHECKSIG

20421c2cccf00066cd779959347d10e1314db4851b0abf5ae8de8e55aefe498c5fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ebcb76e80cd8aced68f468e880b48d1cfe2c691396753a7c6998265843783da2

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ebcb76e80cd8aced68f468e880b48d1cfe2c691396753a7c6998265843783da2
2. TapBranch(ebcb76e8…43783da2, 46c7eccf…1725e9fa) = 9a511e45e14b76ef432d0f4f39f9220c7c2587777ae15ae0a8cba71b0b1a9e96

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

9a511e45e14b76ef432d0f4f39f9220c7c2587777ae15ae0a8cba71b0b1a9e96

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

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

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

6ddc1fd1fdcf4e84dbc9c4af8f15d1c4012d2dc4686d9c3399026b3026ed477e6305b3b8e9ad16685b422bcb6ca8c1f1e707c3a9309930b7c0a86cbc2e986b2d