トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a9327684b7cb14b460a35bb515532cbba4817559cd4892c679d6a3f5cffa0f86 OP_CHECKSIG

20a9327684b7cb14b460a35bb515532cbba4817559cd4892c679d6a3f5cffa0f86ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ddc7e95322720fd3d5161a3cea36e05493b91e2321a63e8c4e4373b275365fbe

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ddc7e95322720fd3d5161a3cea36e05493b91e2321a63e8c4e4373b275365fbe
2. TapBranch(ddc7e953…75365fbe, 46c7eccf…1725e9fa) = 26acf783828a081b8d4cace961f160a3c98f152ab01d6d17d49f5243afa3e179

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

26acf783828a081b8d4cace961f160a3c98f152ab01d6d17d49f5243afa3e179

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

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

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

7d659cd03acc747375bcec862864bdb4f0462153a1976bd2eda808731c5f5234767b1c5d1b45819ceffba37bed452ce72e5487ff024ae643400fd65dcf81ae75