Think OP_DATASIGVERIFY

[shohu]

Motivation

https://twitter.com/techmedia_think/status/1043155228290416640?s=19

Explain

https://techmedia-think.hatenablog.com/entry/2017/12/01/192732

Reference implementation

BitcoinUnlimited/BitcoinUnlimited@1bf5330

[shohu]

以下 https://techmedia-think.hatenablog.com/entry/2017/12/01/192732 より抜粋

このopcodeはトランザクションではなくスタック上のデータに対してOP_CHECKSIGVERIFYを行う。具体的には

1. スタックからトップ３アイテム（公開鍵ハッシュ、署名、任意のデータ）をポップする。
2. 署名が任意のデータに対する有効な署名か検証する。
3. 署名の公開鍵のハッシュが公開鍵ハッシュと一致するか検証する。

通常のP2PKHの場合のScript

[OUTPUT] scriptPubKey: OP_DUP OP_HASH160 <pubKeyHash> OP_EQUALVERIFY OP_CHECKSIG
[INPUT]  scriptSig: <sig> <pubKey>

つなげると ↓

<sig> <pubKey> OP_DUP OP_HASH160 <pubKeyHash> OP_EQUALVERIFY OP_CHECKSIG

これを OP_DATASIGVERIFY 使った形に直すといかになる？

• Oracle が使われている前提

<sig> <pubKey> <oracleData> <oracleSign> <オラクルの公開鍵ハッシュ> OP_DATASIGVERIFY OP_CHECKSIG

inputとoutputに分けると

[OUTPUT] scriptPubKey: <oracleData> <oracleSign> <オラクルの公開鍵ハッシュ> OP_DATASIGVERIFY OP_CHECKSIG
[INPUT]  scriptSig: <sig> <pubKey>

スタック内容の内訳

オラクルの公開鍵ハッシュ
オラクルの署名
オラクルのデータ
勝者の公開鍵 (標準のP2PKHの場合)
勝者のトランザクションの署名 (標準のP2PKHの場合)