見出し・要約・本文から、情報のつながりを探します。
マイクロソフト研究院は、表現力が高くセマンティックな対話型データ可視化を構築するための専用言語「Flint-interactive」を発表しました。この言語はコンパイラを通じて、ユーザーの操作（クリックやスワイプなど）を自動的にセマンティックなイベントにマッピングし、高レベルな演算子によってグラフ、テーブル、テキストなどの複数要素間の連動更新を駆動します。これにより、AIエージェントが信頼性の高い対話型可視化を生成する際に必要なコストと開発の複雑さを大幅に削減できます。
マイクロソフト研究院は、ゼロ知識証明における長年の三大課題——生成効率の低さ、開発ハードルの高さ、ポスト量子安全性の不足——を単一のシステムで同時に解決する初のゼロ知識仮想マシン「Magnetar」を発表しました。同システムは、RustやGo、Cなどの主流言語で記述されたプログラムを直接コンパイルして実行し、検証可能な証明を自動生成します。その性能は、現行で最も高速なzkVMに比べて平均で10～39倍速く、証明の検証にはわずか約12ミリ秒しか要しません。さらに、セキュリティ基盤はSHA-256やSHA-3といったNISTによって標準化され、数十年にわたり暗号学的検証を経てきた標準ハッシュ関数のみで構成されており、信頼できる初期設定や楕円曲線、あるいは十分に検証されていない斬新な数学的仮定を一切必要としません。
