金曜日の雰囲気が違う感じ ☕

最近AIがとんでもない結果を出してるけど、ここで問題なのは――全部のアルゴリズムを公開せずにどうやってその結果を検証するのかってこと。

そこで「推論の証明」が活躍する。zk-snarkが入力データを計算して、コンパクトな証明を出してくれる。それはまさに「検証済み、嘘じゃない」と叫んでるようなもの。数学は隠されたままで、信頼は守られる。

暗号技術が、僕たちが気づいてもいなかった問題まで解決し続けてるのは本当にすごい。