zkVM이란 무엇입니까? 이 기사에서 zkVM에 대해 자세히 알아보세요.

zkVM은 이러한 문제를 아주 잘 해결하기 위해 출시되었는데, zkVM이란 무엇일까요? 데이터의 현실에 따르면 zkVM은 보안, 검증 가능성 및 신뢰성을 보장하기 위해 영지식 증명을 사용하는 가상 머신입니다. 간단히 말해서 사용자는 다음을 통해 새로운 상태로 돌아갈 수 있습니다. 이전 상태와 프로그램을 입력합니다.

zkVM이 무엇인가요?

zkVM은 영지식 증명, 즉 원래 상태를 입력하면 프로그램이 새로운 상태를 출력하는 방식을 통해 신뢰할 수 있는 기능의 보안을 보장할 수 있는 가상 머신입니다. zkVM은 사용 용이성, 다양성, 단순성 및 재귀성을 달성합니다. 개발자는 영지식 개발을 마스터할 필요가 없으며 전체 가상 머신의 회로를 반복적으로 생성할 필요가 없습니다. 가상 머신을 통해 가상 머신의 검증을 수행할 수 있습니다.

zkVM은 스마트 계약 실행, 데이터 처리, 복잡한 알고리즘 연산을 포함한 다양한 컴퓨팅 작업을 수행할 수 있는 영지식 증명 기반의 일반 컴퓨팅 플랫폼입니다. 핵심 기능은 실행 세부 사항을 공개하지 않고 계산의 정확성을 확인하는 영지식 증명을 생성하는 것입니다. SNARK의 기술을 통해 이러한 증명은 오프체인에서 검증이 가능하며 검증자는 전체 계산 과정을 블록체인에서 다시 실행하고 값비싼 계산 비용을 지불할 필요가 없습니다.

zkVM의 설계는 암호화폐 거래에만 국한되지 않습니다. 그 다양성 덕분에 의료 데이터 처리, 공급망 관리, 비밀 투표 시스템 등과 같은 다양한 애플리케이션 시나리오에 배포할 수 있습니다. 이러한 애플리케이션은 모두 데이터를 보장해야 합니다. 보안과 동시에 처리 논리의 정확성을 확인합니다.

zkVM 프로젝트란 무엇인가요?

현재 zkVM 프로젝트에는 주로 Jolt, RISCZero, Succinct 등이 포함됩니다. zk 기술의 어려움에도 불구하고 zkVM 솔루션 개발에서 기술적 강점을 입증한 일부 프로젝트가 시장에 여전히 있습니다. 오후에는 자세한 소개가 있습니다:

1. Jolt

Jolt는 새로운 유형의 zkVM입니다. 주요 특징은 빠르게 실행되고 개발자가 코드 감사를 더 쉽게 확장하고 수행할 수 있다는 것입니다.

STARK 프레임워크를 기반으로 하는 다른 zkVM과 달리 Jolt는 Lasso 조회 매개변수와 sumcheck 기반 기술을 활용합니다. 이 혁신적인 접근 방식은 새로운 가상 머신 명령의 구현을 단순화할 뿐만 아니라 시스템의 전체 속도도 향상시킵니다.

Jolt의 디자인은 사용 편의성과 효율성을 강조합니다. Jolt의 각 CPU 명령은 단 50줄의 Rust 코드로 구현할 수 있습니다. 또한 Jolt의 성능도 매우 우수하여 예비 벤치마크 테스트에서 RISC Zero보다 5배 이상, SP1보다 2배 빠른 영지식 증명을 수행할 수 있습니다.

2. RISC Zero

RISC Zero는 재귀적 SNARK 구조를 갖춘 zkVM으로, 증명 중첩을 지원하는 재귀적 방법이 특징입니다. SNARK 기술에서 재귀는 복잡한 증명을 더 작고 관리하기 쉬운 증명으로 나눌 수 있습니다. 이러한 작은 증명은 독립적으로 검증될 수 있으며 결국에는 증명의 타당성에 영향을 주지 않는 프로세스인 완전한 대규모 증명으로 결합될 수 있습니다. RISCZero는 재귀 구현에 대한 접근 방식이 독특하여 여러 계층의 증명을 단일 증명 체인으로 원활하게 통합하여 계산 부하와 처리해야 하는 데이터의 양을 줄일 뿐만 아니라 여러 계산 단계에서 검증 프로세스를 유지합니다. . 보안 및 무결성.

RISC Zero의 또 다른 독특한 특징은 확장성과 확장성을 위해 설계된 개방형 표준 ISA(Instruction Set Architecture)인 RISC-V 명령어 세트를 사용한다는 것입니다. 이러한 선택을 통해 RISC Zero는 광범위한 도구 및 지원 에코시스템을 활용할 수 있으므로 독점적이거나 덜 범용적인 아키텍처를 사용할 수 있는 다른 zkVM보다 기존 시스템에 더 쉽게 액세스하고 통합할 수 있습니다.

3. Succinct

Succinct는 Rust 또는 LLVM으로 컴파일할 수 있는 다른 언어로 작성된 코드를 더 유연하고 사용하기 쉽게 실행하도록 맞춤화된 zkVM SP1을 개발했습니다. SP1은 모듈식 아키텍처를 지원하므로 개발자는 "사전 컴파일"을 통해 기능을 사용자 정의하고 확장할 수 있습니다. 사전 컴파일은 개발자가 추가하거나 수정할 수 있는 특정 모듈을 의미합니다. 이러한 모듈은 특정 작업이나 작업을 보다 효율적으로 처리할 수 있도록 핵심 가상 머신의 기능을 향상시킵니다.

또한 SP1은 분산형 증명자 네트워크를 구축하여 증명 배포 및 실행을 단순화함으로써 고급 암호화 방법을 사용하는 임계값을 낮춥니다. 네트워크는 개발자가 단 한 번의 클릭으로 효율적으로 증명을 생성할 수 있도록 함으로써 간소화된 접근 방식을 제공합니다.

위 내용은 zkVM이란 무엇입니까? 이 기사에서 zkVM에 대해 자세히 알아보세요.의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!