체인피드 요약:
Jolt는 고성능, 보안 및 개발자 친화성을 결합한 오픈 소스 RISC-V zkVM입니다.
기사 출처:
https://x.com/a16zcrypto/status/2021348447656476841
기사 작성자:
에이16즈
관점:
a16z: Jolt는 완전한 오픈 소스입니다. 오픈 소스는 궁극적인 증폭기 역할을 하여 더 많은 사람들이 감사 , 재사용, 수정 및 혁신에 참여할 수 있도록 합니다. a16z crypto가 연구소를 설립한 이유는 바로 학문적 이론과 산업 공학 사이의 간극을 메우기 위함입니다. 많은 근본적인 암호화 연구 프로젝트는 단기적인 상업적 인센티브로는 완료할 수 없습니다. 벤처 캐피털의 구조는 장기적이고 역발상적인 체계적 투자를 가능하게 합니다. Jolt는 역방향 합의에 대한 투자입니다. 핵심 아이디어는 합산-검증 상호작용 증명 패러다임으로 회귀하여 지난 30년간 주류였던 SNARK 아키텍처에 정면으로 도전합니다. 암호화 증명 시스템의 발전은 정적 증명(고대 그리스 형식 논리, NP), 상호작용 증명(IP, 1985), 확률적 검증 가능 증명(PCP, 1990), 상호작용 + PCP → 간결한 증명(Kilian), 그리고 Fiat-Shamir → 비상호작용 SNARK(Micali)를 거쳐 왔습니다. 하지만 전체적인 진화 과정에서 핵심적인 오해가 하나 있습니다. 업계는 두 번이나 상호작용 기능을 제거했다가 결국 피아트-샤미르(Fiat-Shamir) 방식을 사용하여 다시 상호작용 기능을 추가했습니다. 만약 상호작용 기능을 궁극적으로 제거해야 한다면, 왜 PCP(Proof-Computational Proof)를 건너뛰고 상호작용 증명과 합계 검사부터 직접 시작하지 않았을까요? 바로 이것이 Jolt의 핵심 아이디어입니다. PCP를 건너뛰고 합계 검사를 기반으로 SNARK를 직접 구축하는 것입니다. 이러한 아키텍처적 도약은 수십 년에 걸친 SNARK 연구 역사에서 극히 드문 사례입니다. Jolt의 가장 큰 혁신은 CPU 실행 과정의 반복적인 구조를 최대한 활용한 것입니다. 모든 CPU는 '가져오기 → 디코딩 → 실행' 패턴을 따릅니다. Jolt는 이 구조가 배치 검증, 메모리 검사, 합계 검사에 이상적이라는 것을 발견했고, 이를 통해 매우 높은 효율성, 매우 낮은 복잡성, 그리고 매우 뛰어난 다용성을 달성했습니다. 반면, 다른 zkVM 구현체들은 사전 컴파일(ASIC의 전용 가속 모듈 과 유사)에 대량 의존하는데, 이는 빠르기는 하지만 복잡하고 버그 발생 가능성이 높으며 암호학 전문가에 의존적이고 개발 경험을 심각하게 저해합니다. Jolt는 사전 컴파일을 완전히 없애 zkVM 엔지니어링을 진정으로 민주화합니다. Jolt에서는 각 명령어를 약 10줄의 Rust 코드로 표현할 수 있으므로 복잡한 회로를 설계할 필요가 없습니다.
콘텐츠 출처 
