イーサリアム財団、量子耐性向けリンVM検証完了

イーサリアム財団（Ethereum Foundation）は、イーサリアムの量子耐性アップグレードに使われる中核ツールのリンVM（leanVM）がここ数日で全工程にわたる形式検証を完了したと明らかにした。 同財団は、防御側もAIベースの攻撃者と同じツールを活用でき、暗号技術は防御側に有利に働くと説明した。そのうえで、イーサリアムの量子耐性暗号への移行は、こうした防御側の優位を維持することにつながるとの見方を示した。