#sxt $SXT @SpaceandTime Space and Timeについて興味深いと思うのは、SQLクエリが正しいことを証明しても、その答えが真実だと自動的に証明されるわけではないという点です。

これは、見落とされがちな点だと思います。

Space and Timeは、クエリがコミット済みデータと一致することを検証できます。しかし、元のデータが不完全だったり、間違っていたりしたらどうでしょう？証明自体は完全に有効であり続ける可能性があります。

だからこそ、ZK技術だけでなく、$SXT がデータの来歴、入力の検証、バリデーターの独立性をどう扱うかに、より関心があります。

AIや金融の分野では、誤った入力が、計算自体は完璧でも誤った判断につながることがあるからです。

必要なのは、検証可能な計算だけではありません。計算を始める前に、信頼できるデータが必要です。