私はずっと「秘密契約」とは、コードやデータをすべて鍵のかかった場所に閉じ込めて、よそ者には中で何が起きているのか分からないようにするものだと思っていました。でも、Duskの中のXSCという標準が実際にはどう動いているのか調べてみて、方向性を間違えていたことに気づいたのです。

たとえばこのロジックは、選挙における「密封された投票箱」に少し似ています。投票用紙を入れたあと、箱の外の人はあなたが誰に投票したのか具体的には見えません。しかし開票が終わって結果が公開されると、誰もが「その結果が本当に集計されたものだ」と確認できる。誰もこっそり票を追加したり数を改ざんしたりできません。なぜなら、全体の手順には皆が納得して認める検証方式があり、個別の投票用紙を開かなくても結果を信じられるからです。XSCがやっていることもそれに近いです。秘密契約の実行内容そのものは外部に公開されませんが、ゼロ知識証明によって、その契約がルールに従って確かに実行されたことが保証されます。見えないところでこっそり細工をする余地はありません。監査が必要になったときも、規制当局は合規性を検証でき、内容を誰もが見て分かる形にさらす必要がありません。

私はこれが、「隠すだけ」よりずっと賢いと思います。なぜなら「隠すこと」と「信頼されること」は本来、ちょっと相反するからです。隠し方が厳しければ厳しいほど、どうして他人は「不正していない」と信じられるのでしょうか？XSCが解決しようとしているのは、まさにこの矛盾で、「見えない」と「信頼できる」を同時に成立させることなのです。…ただ、私の頭にも新しい疑問が浮かびました。この検証は本当にコードのロジックだけで成り立つのか、それとも最終的にはどこかの機関がスタンプを押して確認する必要があるのか？今のところ、まだ完全には理解できていません。さらに掘り下げます。

あなたなら、どちらの「見えないけれど信頼できる」仕組みをより信じたいですか？

@Dusk_Foundation $DUSK #dusk