トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

37e2181a5473c2ec9518cdb27f3023fd8bbb2a513223ba46886779fbf541889f OP_CHECKSIG

2037e2181a5473c2ec9518cdb27f3023fd8bbb2a513223ba46886779fbf541889fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

199745013e6710441e42d87d8e1e67bde3a6f431e2b97a4222cd40541d0fb17f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 199745013e6710441e42d87d8e1e67bde3a6f431e2b97a4222cd40541d0fb17f
2. TapBranch(19974501…1d0fb17f, 46c7eccf…1725e9fa) = df18f810258e70ec64853633c4706bcc2db8abc5bff612de83329499af067b8b

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

df18f810258e70ec64853633c4706bcc2db8abc5bff612de83329499af067b8b

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

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

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

b62d3dcb61a9c13bf58d59d2df45bfdd80ef4bf53c50d7b57363b4b0ac2d36cff04941d21c31f2a56bea87a9786cec581113884612e6cb7ae03aed7946aa7929