이더리움이 미래 양자컴퓨터 위협에 대비한 암호체계 전환 작업에서 진전을 발표했다. 핵심 도구인 린VM(leanVM)의 전 과정 형식 검증을 완료했다는 소식으로 양자내성 기술의 정확성과 신뢰성을 높이기 위한 개발 성과로 평가된다.

이더리움 재단은 최근 며칠 사이 린VM의 전 과정에 걸친 형식 검증이 이뤄졌다고 밝혔다. 재단은 인공지능(AI)을 활용하는 공격자에 맞서 방어자도 같은 도구를 사용할 수 있으며 암호학이 제공하는 방어상의 이점을 양자내성 전환 이후에도 유지하겠다는 방향을 제시했다.

린VM은 이더리움의 양자내성 서명을 효율적으로 집계하기 위해 개발되는 최소형 증명 가상머신이다.

이더리움 재단의 공식 기술 안내에 따르면 양자내성 서명은 기존 검증자 서명보다 크고 집계 방식에도 차이가 있어, 이를 그대로 적용하면 네트워크의 데이터 처리 부담이 커질 수 있다. 린VM은 증명 기술을 활용해 이러한 부담을 줄이는 역할을 맡는다.

현재 이더리움 합의 계층에서 사용하는 BLS 서명은 여러 검증자의 서명을 하나로 모아 효율적으로 처리할 수 있다는 장점이 있다.

하지만 장기적으로 양자컴퓨터에 취약할 수 있어 대체 기술이 연구되고 있다. 이더리움은 해시 기반 서명인 린XMSS(leanXMSS)와 린VM을 함께 개발해 보안성과 처리 효율을 확보하는 방안을 추진하고 있다.

형식 검증은 정해진 명세와 가정 아래 시스템이 의도한 성질을 만족하는지 수학적으로 확인하는 절차다.

일반적인 테스트가 개별 실행 사례를 점검한다면 형식 검증은 논리적인 증명을 통해 오류 가능성을 줄이는 데 초점을 맞춘다. 다만 검증한 명세와 구현 범위, 전제 조건을 벗어나는 모든 위험까지 제거했다는 뜻은 아니다.

이번 발표와 공개 개발 자료 사이에는 확인이 필요한 부분도 있다. 현재 확인되는 린VM 공식 저장소 안내에는 형식 검증이 진행 중이며 아직 실서비스에 투입할 준비가 되지 않았다는 경고가 남아 있다.

최신 성과가 어느 버전과 구성 요소까지 포함하는지는 후속 기술 자료를 통해 구체적으로 확인할 필요가 있다.

이더리움 전체의 양자내성 전환도 별도의 단계적 과제다. 재단은 실행 계층의 사용자 인증, 합의 계층의 검증자 서명, 데이터 계층의 보안 기술을 함께 바꾸는 작업이라고 설명한다.

따라서 린VM의 검증 성과를 곧바로 메인넷 업그레이드 완료나 모든 지갑의 양자내성 확보로 해석하기는 어렵다.

재단은 암호체계를 실제로 위협할 수준의 양자컴퓨터가 임박했다고 보지는 않지만, 글로벌 분산 네트워크의 전환에는 수년의 개발과 조정이 필요하다는 입장이다.

린VM의 검증 성과는 이러한 준비 과정의 한 단계이며, 향후 구현 검증과 네트워크 통합, 단계적 적용이 이어져야 한다.