トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9ea6db6e1b0413b9f096002371245f71be2dd517ccfb27ac4e46421571d94572 OP_CHECKSIG

209ea6db6e1b0413b9f096002371245f71be2dd517ccfb27ac4e46421571d94572ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

3cdaa371dc76a2c015e44c71b1a16ddfbe6fe2aa037fdf9c3810395b20de14b7

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3cdaa371dc76a2c015e44c71b1a16ddfbe6fe2aa037fdf9c3810395b20de14b7
2. TapBranch(3cdaa371…20de14b7, 46c7eccf…1725e9fa) = fad5a1fbcc49e0ab05d13708a5adc3f6f150025694cec0fd867414773c32098b

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

fad5a1fbcc49e0ab05d13708a5adc3f6f150025694cec0fd867414773c32098b

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

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

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

3bf8fba28e21813a4e6ca4ad0fe48c68a35572e537300a0420a8a8ed644fa685a72c7b03567ba87c1b3ff6612337afff97c5aa667e1b186ba74b73e0d9d57d8a