zkVM의 미래, 왜 RISC-V 아키텍처에 기반하는가?

출처：hyperstructured.greg X 계정

저자: hyperstructured.greg

편집: Alex Liu, Foresight News

4000만 달러의 자금을 유치한 ZK 인프라 회사 RISC Zero가 오늘 zkVM 1.0을 공식 출시했습니다. 이는 그들의 범용 zkVM의 생산 준비 버전입니다. zkVM 트랙에는 생산에 투입할 수 있는 참가자가 있지만, 대부분의 사람들은 "zkEVM"이라는 용어는 자주 듣지만, 단어 하나 차이인 "zkVM"이 무엇인지 잘 모를 수 있습니다. 본문에서는 대부분의 zkVM이 선택한 명령어 집합의 장점을 소개하며, zkVM에 대한 더 많은 정보는 이 기사를 통해 확인할 수 있습니다.

zkVM은 zkEVM보다 더 범용적이며, 범용 언어로 프로그램을 작성하고 Solidity 라이브러리 외부에서 코드를 작성할 수 있는 가능성을 열어주며, 현재 인기 있는 트랙이 되었습니다. 트랙의 주요 프로젝트인 RISC Zero, Succint, Lita, 그리고 a16z가 만든 jolt는 모두 RISC-V 명령어 집합을 기반으로 하고 있습니다. 그 장점은 무엇일까요? 왜 zkVM의 미래는 RISC-V 아키텍처에 기반할까요? 왜 @rv_inc가 RISC-V 수준에서 형식 검증을 허용하는 도구를 구축하고 있을까요?

RISC-V 명령어 집합의 주요 장점은 다음과 같습니다:

개방적이고 확장 가능한 아키텍처:

RISC-V는 개방형 표준 명령어 집합 아키텍처(ISA)로, 무료로 모든 유형의 용도로 사용할 수 있으며, 높은 적응성과 사용자 정의 가능성을 가지고 있습니다. 이는 zkVM 개발자들이 증명 작업, 성능 및 효율성을 최적화하기 위해 아키텍처를 맞춤화할 수 있게 합니다. 리눅스가 서버 시스템에서 최대 점유율을 차지하는 이유는 무엇일까요? "무료"라는 단어는 정말 중요합니다!

모듈화 및 유연성:

RISC-V의 모듈화 특성은 zkVM 개발자들이 필요한 기능만 구현할 수 있게 하여 불필요한 복잡성과 비용을 피할 수 있게 합니다. 모듈화의 장점은 이번 주기에 이미 너무 많이 강조되었으므로 여기서는 더 이상 언급하지 않겠습니다.

표준화 및 생태계 지원:

RISC-V는 빠르게 발전하는 생태계를 가지고 있으며, 컴파일러와 디버거를 포함한 광범위한 도구 체인 지원을 제공합니다. 예를 들어, @rv_inc는 RISC-V ISA를 위한 형식 검증 도구를 구축하고 있습니다. 빠르게 발전하는 생태계는 광범위한 혁신 공간을 의미하며, 때로는 일석이조의 시너지 효과를 낼 수 있습니다.

효율적인 증명 생성 및 검증:

RISC-V의 설계 단순성은 제로 지식 증명에 관련된 복잡한 알고리즘을 보다 효율적으로 실행하는 데 도움이 됩니다. RISC-V 명령어 집합 아키텍처를 활용함으로써, "zkVM"은 속도와 자원 활용 측면에서 더 나은 성능을 달성할 수 있으며, 이는 증명의 집합에 매우 중요합니다.

안전성 및 형식 검증:

RISC-V의 명확하고 잘 정의된 아키텍처는 형식 검증 기술의 적용을 더욱 용이하게 하며, 이는 zkVM의 안전성과 정확성을 보장하는 데 매우 중요합니다. RISC-V를 사용함으로써 개발자들은 형식 검증 도구와 방법을 활용하여 더 안전한 zkVM을 구축할 수 있습니다.

크로스 플랫폼 호환성:

RISC-V는 다양한 하드웨어 플랫폼(X86, x64 및 ARM, 즉 일반적인 Windows, Mac 및 다양한 간단한 전자 기기)과의 호환성을 가지고 있어 zkVM이 광범위한 환경에 배포될 수 있습니다. 이러한 유연성은 증명 집합 솔루션의 광범위한 채택의 핵심이며, 이는 서로 다른 시스템에 원활하게 통합될 수 있게 합니다.

언어의 범용성:

RISC-V는 내장된 지갑 주소나 다른 블록체인 구조의 개념이 없습니다. 이 명령어 집합은 주로 메모리 위치 간의 데이터 이동과 데이터에 대한 수학적 연산을 수행하는 연산자로 구성되어 있습니다. 동시에, EVM과 비교할 때, 기본 RISC-V 시뮬레이터는 프로그래머가 Rust, C/C++ 및 Go와 같은 언어로 zkVM을 위한 프로그램을 작성할 수 있게 합니다. 이는 zkVM의 프로그래머가 해당 언어의 생태계에서 다른 사람들이 개발한 관련 라이브러리를 사용할 수 있음을 의미합니다. 예를 들어 Solana를 위해 개발된 Rust 라이브러리 등이 있습니다.

"범용 컴퓨팅" 개념이 점차 뜨거워지는 지금, zkVM은 현재 치열한 VM 경쟁(MoveVM, SVM, EVM, zkEVM …)에 어떤 불꽃을 가져올까요? 상당한 채택을 이끌어내고 자리 잡을 수 있을까요? 첫 번째 참가자 RISC Zero가 이미 등장했으니, 나머지는 시간이 검증해 줄 것입니다.