証明可能

AI安全スタートアップのAttestableは正式に設立され、2000万ドルのシードラウンド資金調達を完了した。このラウンドの資金調達は、Altimeter CapitalのJamin BallとTLV PartnersのYonatan Mandelbaumが主導し、Halcyon Futures、Cerca Partnersなどの機関および複数の投資家が参加した。Attestableの創業者Yogiは、AIが重要なインフラ、国家安全保障、大企業システムに徐々に浸透する中で、AIの運用過程の信頼性を検証する方法が世界的な課題となっていると述べた。同社は、最前線のAIラボ、重要なインフラ、国家レベルのアプリケーション向けの汎用検証レイヤーを構築することを目指している。紹介によると、Attestableはゼロ知識証明（Zero-Knowledge Proof）技術を通じて、AIシステムへの信頼をデータセンターから数学的検証メカニズムに移行させる。この技術は、承認されたモデル、モデルの重み、入力データおよび実行戦略が特定の出力を生成したことを証明できるが、モデルのパラメータやユーザーのプライバシーデータを漏洩させることはなく、モデルを再実行することなく検証を完了できる。Attestableは、その技術が現在、単一のNVIDIA H100 GPU上でMeta Muse Glimmer 30Bモデルの検証推論を実現し、毎秒85トークンの速度に達していると述べている。生成された証明書は小さく、量子耐性特性を備えており、迅速に検証を完了できる。これに対し、イーサリアム共同創設者のVitalik Buterinは投稿し、この成果が大規模言語モデルのゼロ知識証明の性能損失が単位数レベルに近づいていることを意味すると述べた。彼は、次の課題は全同態暗号（FHE）などの技術の性能オーバーヘッドをさらに低減することだと述べた。

ChainCatcher のメッセージ、Consensys の創設者であり、Ethereum の共同創設者である Joseph Rubin が X プラットフォームで発表したところによると、Ethereum エコシステムの第2層ネットワーク Linea は現在 100% 証明可能/検証可能であり、シミュレーションや「翻訳」は不要で、内部のマイルストーンが次々と打破されているとのことです。Joseph Rubin は、Web3 プロトコルが通常トークンに依存して複数のプロトコルを運営するため、今後トークンが順次発行されることを明らかにしました。最初にトークンを発行するのは LINEA です。