BitVMの発表で、対比されてるZKCP(Zero-Knowledge Contingent Payment)。
https://bitcoincore.org/en/2016/02/26/zero-knowledge-contingent-payments-announcement/
BitVMの発表で、対比されてるZKCP(Zero-Knowledge Contingent Payment)。
https://bitcoincore.org/en/2016/02/26/zero-knowledge-contingent-payments-announcement/
ZKCPは、データの購入をアトミックにできる。たとえば、支払いによって暗号化されたデータの秘密鍵をアトミックかつトラストレスに交換できる。Bitcoin上ではそのハッシュロックを使って、支払いと同時にその秘密鍵を入手できるようにし、ハッシュ値は、そのコンテンツの復号に使用できる秘密鍵のハッシュ値であることを別のゼロ知識証明システム(zk-SNARKsとか)を使って証明する。
ZKCPの場合、証明者は証明したい問題の解(例では暗号化に使った秘密鍵)を知っている必要があるけど、BitVMの場合は証明者は必ずしも証明する問題の解を知っている必要はないと。