リサーチ・論文

【速報】Microsoft Research、AI向けデジタルID検証「Vega」を発表

Microsoft Researchは2026年5月21日(現地時間)、AI時代におけるデジタルアイデンティティのためのゼロ知識証明技術「Vega」を発表した。Vegaは政府発行の資格情報から年齢、身元、専門的地位などの事実を、資格情報自体を公開することなく証明することを可能にする。この技術は、商品クライアントデバイス上で100ミリ秒未満でゼロ知識証明を生成し、信頼できる設定なしで、秘密裡のID検証を大規模に実用化する。

リサーチ・論文

ミッチェル・ハシモト氏、プログラミング言語の代替性進化を強調

ミッチェル・ハシモト氏は2026年5月14日(現地時間)、Simon Willison's Weblogが報じたところによると、現代のプログラミング言語が以前のような「ロックイン」状態から脱却し、その代替可能性が飛躍的に高まっているとの見解を示した。同氏は、特定の技術への深い依存から解放されつつある現状を強調し、特にBunプロジェクトがZigからRustへ移行した事例を、言語が交換可能であることを示す象徴的な動きとして挙げている。