Ethereumの量子耐性化、leanVMツールが形式検証を達成

Cointelegraphによると、Ethereumが3つのレイヤー全体での量子耐性化に向けて進展し、leanVMツールが end-to-end の形式検証を達成したという。

⚡️ NEW: Ethereum advances toward quantum resistance across all three layers as its leanVM tool achieves end-to-end formal verification. https://t.co/1myUNSyxuC
— @Cointelegraph

出典: Cointelegraph (https://x.com/Cointelegraph/status/2117728644747464871)

本記事は報道にもとづく初期報です。発表元の一次情報は続報で確認します。