Verify Cardano はネットワークに関する主張の検証を容易にする

Verify Cardano はパブリックブロックチェーンにとって難しい問いに取り組んでいる。外部の人間は、ネットワークが自らについて述べる内容をどのように確認できるのか。

Cardano Over Coffee の場で、Adam Rusch はこのプロジェクトを、Cardano の運用とガバナンスを検証する研究者、政策立案者、ビルダーのためのリソースとして紹介した。

議論では、今後の開発が計画された動作版が紹介された。その中核となる提案は明快だ。測定値を公開する際に、読者が精査できるだけの十分な情報を併せて提示する。

検証の仕組み

10月20日の SEC への提出文書で、Rusch は日次の測定記録が IPFS に保存され、その暗号学的サマリーが Cardano にコミットされると説明している。

検証ツールは、公開された値がそのコミットメントと一致するかどうかを確認する。計算を再現することは別の段階であり、そのためには手法と基礎となる入力が必要だ。

この書簡は、検証対象の事実として、ブロック生成、ステーク分布、投票集中度などを挙げている。

例えば、公開された投票集中度の測定値を考えてみよう。読者は、どの投票クレデンシャルが含まれたのか、いつスナップショットが取得されたのか、集中度がどのように計算されたのかを知る必要がある。公開記録がオンチェーンのコミットメントと一致していることを確認することは一つの問いに答える。計算を検証することは別の問いに答える。

この区別により、単に説明のない数字を並べるダッシュボードよりも、プロジェクトの目的が明確になる。

政策議論に証拠を持ち込む

Rusch の提出文書は、発行体、開発者、ガバナンス参加者は、その実際の役割に即して評価されるべきだと主張する。

ソフトウェアを書くこと、変更を提案すること、その有効化を承認することは、互いに異なる活動だ。この書簡は、公開記録がこれらの責任の検証にどのように役立つかを示す例として Cardano を取り上げている。

Rusch はこのコメントを個人の資格で提出した。SEC による公開は、そのポータルや結論を支持することを意味しない。

議論の中で、Rusch はこの取り組みを教育的な貢献だと述べた。政策立案者に、何をどのように検査できるのかを示すことだ。

Cardano にとって、これは実践的な関与の形を提供する。分散化に関する大まかな主張を受け入れるよう求めるのではなく、外部の読者に調査すべき材料を与える。

[NEWSBREAK]

有用な記録は限界を示さなければならない

書簡は重要な限界を認めている。台帳上のクレデンシャルからは、最終的に誰がそれを支配しているかは確定できない。現時点では、ポータル記録の公開承認は Intersect が管理している。一方で、読者はそれらの記録を独立に検証できる。

プロジェクトが進む中でも、これらの区別は可視のままであるべきだ。記録の独立した検証と、その公開の独立した管理は別個の性質だ。

Space の途中で、Rusch は、初期のプロトタイプ作業に続いて EPOC がコードレビューと実装に関与するようになったと述べた。参加者は、今後数か月に予定されているさらなる改良についても説明した。

次の最も力強い一歩は、一つの測定値について、ソースデータから計算、検証に至るまでの公開ウォークスルーを行うことだ。そうすれば、読者はプロセスを直接評価でき、研究者には結果に異議を唱えたり再現したりするための明確な出発点が与えられる。