이더리움 재단: leanVM이 엔드 투 엔드 형식 검증을 완료했으며, 포괄적인 후양자 안전 전환 목표는 2028년 12월로 설정되었습니다

CryptoBriefing에 따르면, 이더리움 재단 연구원 저스틴 드레이크는 11월 3일 leanVM이 엔드 투 엔드 형식 검증을 완료했다고 발표했습니다. leanVM은 해시 기반의 후량자 서명을 효율적으로 집계하기 위한 극소형 zkVM으로, 다중 서명을 압축된 증명으로 패키징합니다. 성능 면에서 leanVM은 초당 1000회 이상의 leanXMSS 집계를 처리할 수 있습니다; leanXMSS는 합의 계층에서 BLS를 대체할 계획인 해시 기반 서명 솔루션입니다.

Devcon 8에서 드레이크는 이더리움의 후량자 안전으로의 전환 목표 시간을 2028년 12월로 조정하여 전환에 필요한 네트워크 분기를 위한 공간을 확보할 것이라고 밝혔습니다. 이 계획은 leanVM, leanXMSS 및 leanSpec의 세 가지 오픈 소스 프로젝트에 의존하며, 이더리움 재단은 오픈 소스 구현을 개발하고 형식 검증을 추진하고 있으며, Poseidon Prize와 같은 인센티브를 통해 혁신을 장려하고 있습니다. 보도에 따르면, leanVM의 형식 검증은 코드가 규격에 부합함을 증명했지만, 2028년 12월은 여전히 목표일 뿐 약속은 아닙니다.