トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

8748ed00c790a181559407e93ab97995d07830ec6fdcf62f79bb456268f888cc OP_CHECKSIG

208748ed00c790a181559407e93ab97995d07830ec6fdcf62f79bb456268f888ccac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

63b1b4993a29b78bdd0d60f0c9827066beb75ead41def89e1320632a58ad5ddf

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 63b1b4993a29b78bdd0d60f0c9827066beb75ead41def89e1320632a58ad5ddf
2. TapBranch(63b1b499…58ad5ddf, 46c7eccf…1725e9fa) = 2c4cc3ab6155e225e4ed8c7cedcceaeee8615a358948e93e7f75a4ceb63a03d7

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

2c4cc3ab6155e225e4ed8c7cedcceaeee8615a358948e93e7f75a4ceb63a03d7

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

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

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

3081116f4587bc21fb2f6e689cac64678808f925f62bf93e2fbe93b2b3502434ecf2f5263dfa62dbcce64a70e338104220d3853a064a06f95f2f51eb52f8ae62