zkVM의 미래, 왜 RISC-V 아키텍처를 기반으로 할까요?

출처: hyperstructured.greg zkVM 트랙에는 이미 프로덕션에 투입할 수 있는 플레이어가 있지만 대부분의 사람들은 종종 "zkEVM"이라는 말을 귀에서 들을 수 있지만 "zkVM"이라는 단어가 무엇인지 이해하지 못합니다. 이 기사에서는 대부분의 zkVM이 선택하는 명령어 세트의 장점을 소개합니다. zkVM에 대한 자세한 내용은 이 기사를 통해 알아볼 수 있습니다. zkVM은 zkEVM보다 더 일반적이어서 일반 언어로 프로그램을 작성하고 Solidity 라이브러리 외부에서 코드를 작성할 수 있는 가능성을 열어주며 요즘 인기 있는 트랙이 되었습니다. a16z가 구축한 트랙의 상위 프로젝트인 RISC Zero, Succint, Lita 및 jolt는 모두 RISC-V 명령어 세트를 기반으로 합니다. 장점은 무엇입니까? zkVM의 미래가 RISC-V 아키텍처를 기반으로 하는 이유는 무엇입니까? @rv_inc가 RISC-V 수준에서 공식 검증을 허용하는 도구를 구축하는 이유는 무엇입니까?

RISC-V 명령어 세트에는 주로 다음과 같은 장점이 있습니다.

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

RISC-V는 모든 유형의 목적에 무료사용할 수 있는 개방형 표준 명령어 세트 아키텍처(ISA)입니다. 적응력이 뛰어나고 사용자 정의가 가능합니다. 이를 통해 zkVM 개발자는 증명 작업에 맞게 아키텍처를 맞춤화하여 성능과 효율성을 최적화할 수 있습니다. Linux가 서버 시스템에서 가장 큰 비중을 차지하는 이유는 무엇입니까? "무료"라는 단어는 정말 중요합니다!

모듈화 및 유연성:

RISC-V의 모듈화 기능을 통해 zkVM 개발자는 불필요한 복잡성과 오버헤드를 피하면서 필요한 기능만 구현할 수 있습니다. 이번 주기에서는 모듈화의 장점이 너무 많이 강조되었으므로 여기서는 반복하지 않겠습니다.

표준화 및 생태계 지원:

RISC-V는 RISC-V ISA 도구에 대한 공식 검증을 구축하고 있는 @rv_inc와 같은 컴파일러 및 디버거를 포함한 광범위한 도구 체인 지원을 통해 빠르게 성장하는 생태계를 보유하고 있습니다. 빠르게 발전하는 생태는 혁신을 위한 광대한 공간을 의미하며 때로는 일석이조의 시너지 효과를 가져올 수도 있습니다.

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

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가 데뷔했고, 나머지는 시간을 두고 검증될 예정이다.

위 내용은 zkVM의 미래, 왜 RISC-V 아키텍처를 기반으로 할까요?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!