トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e6d10cc3f3f4eb65b10d71fda9a5d140ead00b57df0a9a8678307e5d4708ef1b OP_CHECKSIG

20e6d10cc3f3f4eb65b10d71fda9a5d140ead00b57df0a9a8678307e5d4708ef1bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a0aa7b9b82a6fe2e4b404fc63f32fa92b106bd2d719b9823ac4a9b90a0e2bdfb

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a0aa7b9b82a6fe2e4b404fc63f32fa92b106bd2d719b9823ac4a9b90a0e2bdfb
2. TapBranch(a0aa7b9b…a0e2bdfb, 46c7eccf…1725e9fa) = 1c56555a6132cf509a90599ecc5ea3aef0933478390128ff2c93f597b49efcf8

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

1c56555a6132cf509a90599ecc5ea3aef0933478390128ff2c93f597b49efcf8

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

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

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

72642db8ffb61ad880b2a113f79985ee051579e19d698f808fdb5e234595e200aa4ca46f2e154c35a6cd8b5d7cae2eb49ca12e93dc51e7623fe0a2a1f0fbea7d