이더리움 재단(Ethereum Foundation)은 이더리움의 양자내성 업그레이드에 쓰이는 핵심 도구 린VM(leanVM)이 최근 며칠 사이 전 과정에 걸친 형식 검증을 완료했다고 밝혔다. 재단은 방어자도 AI 기반 공격자와 같은 도구를 사용할 수 있고 암호학이 방어자에게 유리하게 작용한다며, 이더리움의 양자내성 암호 전환이 이러한 방어자의 우위를 유지할 것이라고 설명했다.