졸트 바이트코드 67개 중 60개 검증…크립토브리핑 보도

본문

레이어제로 리서치가 Jolt zkVM의 RISC-V 바이트코드 확장 67개 가운데 60개를 검증했다는 내용이 전해졌다. 나머지 7개 명령어와 Jolt 전체 구현의 검증 여부는 별도 확인이 필요하다. 크립토브리핑(CryptoBriefing)은 레이어제로 리서치가 약 2개월 반 동안 Lean 정리증명기를 활용해 이 같은 검증을 진행했다고 보도했다. 다만 해당 수치와 검증 논문은 레이어제로 공식 채널에서 같은 내용으로 확인되지는 않았다. Jolt의 바이트코드 확장은 ELF 파일에 담긴 원시 RISC-V 명령어를 디코드해 피연산자와 주소, 회로 플래그, 룩업 플래그 등을 포함한 내부 표현으로 바꾸는 과정이다. 확장된 바이트코드 인덱스와 ELF 메모리 주소는 서로 다른 역할을 한다. 바이트코드 인덱스는 실행 사이클에서 명령어에 접근하는 데 쓰이고, ELF 메모리 주소는 프로그램 카운터 제약을 확인하는 데 사용된다.

안드리센호로위츠는 2024년 기술 글에서 Jolt의 검증 작업을 룩업 의미론, 다항식 대화형 증명, 제약 시스템, RISC-V 명세, 실제 Rust 구현 사이의 정합성을 단계적으로 확인하는 과정으로 설명했다. 이번 Lean 기반 작업은 기존 검증 연구와 다른 정리증명기를 사용해 바이트코드 확장 범위를 확인한 사례로 볼 수 있다. Zero의 실행 로직은 증명 생성과 검증 절차를 거치며, Jolt는 프로그램 실행 결과가 올바른지 증명하는 zkVM 역할을 맡는다. 레이어제로와 안드리센호로위츠가 공개한 아키타와 래티스 졸트 관련 기술 발표 는 영지식 증명 인프라의 암호 구성요소를 다룬 사례다. 검증된 60개 명령어와 검증되지 않은 7개 명령어의 구체적인 목록은 공개되지 않았다.