PANews 11월 4일 보도: CryptoBriefing에 따르면, 이더리움 재단 연구원 Justin Drake는 11월 3일 leanVM이 엔드투엔드 형식 검증을 완료했다고 발표했다. leanVM은 해시 기반 포스트양자 서명을 효율적으로 집계해 다중 서명을 간결한 증명으로 묶는 미니멀 zkVM이다. 성능 면에서 leanVM은 초당 1000회 이상의 leanXMSS 집계를 처리할 수 있으며, leanXMSS는 합의 계층에서 BLS를 대체할 예정인 해시 기반 서명 방식이다.
Devcon 8에서 Drake는 이더리움이 포스트양자 보안으로 전면 전환하는 목표 시점을 2028년 12월로 조정해, 전환에 필요한 네트워크 포크를 위한 시간을 확보하겠다고 밝혔다. 이 계획은 leanVM, leanXMSS, leanSpec 세 가지 오픈소스 프로젝트에 의존하며, 이더리움 재단은 오픈소스 구현을 개발하고 형식 검증을 추진하는 한편 Poseidon Prize 등의 인센티브를 통해 혁신을 장려하고 있다. 보도에 따르면 leanVM의 형식 검증은 코드가 명세를 준수함을 증명한 것이지만, 2028년 12월은 여전히 목표일 뿐 약속은 아니다.
