よく広まっている技術的説明の誤りをまず1つ訂正します。 $SXT はSpace and Timeで、分散型データウェアハウスを行うものです。中核となる技術はProof of SQLで、二次報道や多くの取引所の資料ページでは「ゼロ知識証明」と書かれています。しかしプロジェクトの公式ドキュメントは非常にはっきりしていて、これはZKPではなく、SQLとリレーショナル代数に対して行う領域特化型の算術化に基づくSNARGだと言っています。 この2つの違いはどこにありますか?ZKPの目的はデータそのものを隠すこと、SNARGの目的は「このクエリが正しく実行されたこと」を証明することです。公式ドキュメントではこの点を特別に強調しています――彼らが解決しようとしているのはデータの検証であって、データの機密性ではありません。多くの資料がこの2つを混同しているのを見かけますが、この誤りは指摘する価値があります。