leanVM 양자 내성 증명, 해시만으로 만드는 실행 증명
Strawmap I* (2028) · leanVM PQ proofs
이더리움이 추진하는 단순한 실행 가상머신 leanVM 이 처리한 결과가 맞다는 것을, 양자 컴퓨터로도 깨기 어려운 해시 기반 증명으로 보여 주는 항목입니다.
왜 필요한가
지금 이더리움의 모든 노드는 블록에 담긴 거래를 하나하나 다시 실행해 결과를 확인합니다. 이 방식은 안전하지만 노드가 할 일이 많아 블록을 키우기 어렵습니다. 그래서 거래를 다시 실행하는 대신, 실행이 올바르게 끝났다는 짧은 증명(zero-knowledge proof)만 확인하는 방향으로 가고 있습니다. 그런데 지금 널리 쓰이는 증명 방식 상당수는 타원곡선 암호에 기대고 있습니다. 타원곡선 암호는 충분히 큰 양자 컴퓨터가 나오면 깨질 수 있습니다. 증명이 위조되면 틀린 상태를 모두가 맞다고 믿게 되므로, 증명 체계는 양자 컴퓨터에도 버텨야 합니다. 이 항목은 이더리움 재단이 Lean Ethereum 이라는 이름으로 추진하는 단순한 실행 가상머신 leanVM 위에서, 해시 함수만 쓰는 양자 내성(post-quantum) 증명을 만들고 검증하는 것을 목표로 합니다. 해시 기반 증명은 양자 컴퓨터로도 깨기 어렵다고 알려져 있습니다. 명령어가 적고 구조가 단순한 leanVM 에서는 증명을 만드는 일도 더 쉽습니다. 다만 Strawmap 의 I* 칸은 예상 위치일 뿐입니다. 이 항목은 아직 연구 단계라 내용이 바뀌거나 빠질 수 있습니다.
어떻게 동작하나
- 거래를 leanVM 에서 실행 증명을 만드는 쪽이 블록 안의 거래를 단순한 가상머신 leanVM 에서 실행해 결과를 얻습니다.
- 해시만으로 증명 만들기 실행 과정을 수학적으로 요약해 타원곡선 대신 해시 함수만 쓰는 방식으로 이 실행이 올바르다는 짧은 증명을 만듭니다.
- 노드는 증명만 확인 다른 노드는 거래를 다시 실행하지 않고 증명만 검증합니다. 해시 기반이라 양자 컴퓨터가 나와도 증명을 위조하기 어렵습니다.