トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0facab783fedd11c19838d7b772b0ff230f803c2b33cac51ecadb9d5817605fa OP_CHECKSIG

200facab783fedd11c19838d7b772b0ff230f803c2b33cac51ecadb9d5817605faac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

3c14d6ca8b6e7ed34c53299b0c4fe90c68d08bddbf68895bc451163cf1aa5010

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3c14d6ca8b6e7ed34c53299b0c4fe90c68d08bddbf68895bc451163cf1aa5010
2. TapBranch(3c14d6ca…f1aa5010, 46c7eccf…1725e9fa) = 836a3c24b84799ff03afd61dc599b925b4c4e353112e78179352c57d767deffd

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

836a3c24b84799ff03afd61dc599b925b4c4e353112e78179352c57d767deffd

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

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

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

7ee0235eb47c2180b40c21f976988a5fbb4845870c73a245a5610f41e3f6d18eef0719ad1a0667a7a6a01823ccd271d7363ffccd63b7e428bfb74598a17710d2