検証可能性の演劇：何もコントロールについて証明しない証明

OpenGradientは、信頼できないAIの解決策としてzkML + TEEを市場に打ち出している。推論が正しく実行されたことを裏付ける暗号学的証明だ。紙の上では本物の説明責任に聞こえる。
しかし力は？ノード運営者側に残る。EigenLayerの再ステーカーたち。最大の<a>$OPG </a>ステークを持つ者が、ネットワークが実際にどう動くかを決める。推論そのものの検証可能性は、誰がネットワークを運用しているのか、あるいは誰が出力を検閲しうるのかを検証することには及ばない。それらは別の問いだ。そして問題は、誰もあまりそこを話したがらないことだ。彼らは「答えが正しい」ことを暗号学的に証明してくれるが、「あなたが尋ねることを許された問いを誰が決めたのか」については示さない。“その一言がすべてを言い当てている”。正直に言うと、これはほとんど芝居だ。証明が扱うのは一つの狭い範囲にすぎない。システムに対する集中したコントロールというより大きな問題は？依然として、ほぼそのままの状態で残っている。

<a>#opg $OPG </a>
<a></a>