TL；DR
보조 제목
zkEVM과 zkVM의 차이점은 주로 EVM의 호환성과 영지식 증명 지원에 있습니다.
개발자 및 개발 리소스 측면에서 이더리움은 가장 많은 개발자, 가장 완전하고 풍부한 개발 리소스 및 인프라를 보유하고 있으며 이더리움의 개발자 및 개발 리소스는 zkEVM으로 이전하기가 더 편리합니다. StarkNet 및 zkSync와 같은 zkVM의 개발자 및 개발 리소스는 Ethereum보다 훨씬 뒤떨어져 있습니다.
애플리케이션 생태계 측면에서 이더리움은 DApp이 가장 많고 DeFi의 58%를 차지합니다. 이더리움의 기존 애플리케이션은 zkEVM의 개발 배당금이 될 것입니다. EVM의 호환성이 좋지 않아 zkVM을 이식하기 어려울 것입니다. 그러나 zkVM 영지식 증명과 더 잘 호환되기 때문에 zkVM은 애플리케이션 혁신을 일으킬 가능성이 더 높습니다.
이 글은 "하나의 글로 zkEVM 이해하기" 시리즈의 세 번째 글에 속합니다.처음으로zkEVM의 기본 원리와 세분화 수준을 소개하고,두 번째 부분업계의 주류 zkEVM 프로젝트를 살펴본 후 이 기사에서는 서로 다른 두 ZKR 프로젝트인 zkEVM과 zkVM 간의 기본적인 차이점을 설명합니다.
보조 제목
zkEVM과 zkVM의 차이점을 알아야 하는 이유
보조 제목
기본 소개
기본 소개
zkEVM은 상대적으로 EVM opcode 및 bytecode 사양을 따르고 zkVM은 새로운 가상 머신을 설계하므로 zkEVM은 네이티브 EVM이라고도 하고 zkVM은 커스텀(컴파일된) EVM이라고도 합니다.
보조 제목
비교
zkEVM과 zkVM의 두 가지 방식은 ZKR 개발의 두 가지 방향을 나타냅니다.개발자 및 개발 리소스, 애플리케이션 생태계 및 기술 전망 측면에서 zkEVM과 zkVM ZKR 솔루션의 차이점을 비교할 것입니다.
보조 제목
개발자 및 개발 리소스
개발자 측면에서 Electric Capital이 집계한 "Developer Report 2021"의 데이터에 따르면 Ethereum의 월별 활성 개발자는 2021년에 4011명에 도달하여 모든 블록체인 중 1위를 차지하며 다른 블록체인보다 훨씬 앞서 있습니다.
"개발자 보고서 2021" 보고서
Github에 있는 Ethereum, StarkNet, zkSync 및 기타 zkVM 프로젝트의 인기 있는 코드 웨어하우스 데이터에 따르면 Ethereum에는 매우 큰 개발자 그룹과 코드 리소스가 있으며 StarkNet 및 zkSync는 Ethereum보다 훨씬 뒤떨어져 있음을 알 수 있습니다.
StarkNet의 개발 리소스는 비교적 완전하지만 그 수가 상대적으로 적고 Ethereum만큼 성숙하지 않습니다.
정리하자면 이더리움은 가장 많은 개발자와 가장 풍부한 개발 자원을 보유하고 있으며 이는 향후 zkEVM의 개발 배당금이 될 것입니다.
보조 제목
애플리케이션 생태계애플리케이션 생태학 측면에서 우리는애플리케이션 마이그레이션 및 애플리케이션 혁신
이미지 설명
데이터 소스:https://www.stateofthedapps.com/zh/stats
이미지 설명
데이터 소스:https://defillama.com/chains
Ethereum의 DApp 및 DeFi는 매우 큰 시장을 가지고 있으며 zkEVM은 애플리케이션 포팅에서 매우 좋은 개발 전망을 가지고 있습니다.
보조 제목
적용된 혁신
응용 프로그램 혁신 측면에서 zkVM은 zkEVM에 비해 EVM 호환성이 많이 부족하여 zkVM이 Ethereum의 응용 프로그램 배당금을 수행하기 어렵습니다. 그러나 zkVM 프로젝트는 영지식 증명을 위해 가상 머신을 조정하기 때문에 zkVM은 zkEVM ZKR이 달성할 수 없는 많은 혁신을 일으켰습니다.
예를 들어, StarkNet의 팀 Topology는 풀체인 게임 Issac을 실현했다고 주장합니다.
Issac의 자산 거래, 상태 저장 및 논리 실행은 모두 체인에 있습니다.
전체 체인은 또한 게임이 탈중앙화되고 라이선스가 없으며 결합 가능한 블록체인의 기본 속성을 준수한다는 것을 의미합니다. 어떤 주체도 게임의 기본 규칙을 변경할 수 없으며, 플레이어와 플레이어는 게임에 참여하고 허가 없이 게임을 만들 수 있으며, 개발자는 계약에 따라 게임의 프런트 엔드와 게임의 시설 및 자산을 스스로 만들 수 있습니다.토폴로지팀의Isaac의 디자인 철학에 중점을 둡니다.
보조 제목
기술 전망기술적 전망 측면에서 우리는알고리즘, 언어, 아키텍처 측면
zkEVM과 zkVM의 장단점을 비교합니다.
알고리즘 측면에서 대부분의 zkEVM ZKR은 SNARKs 알고리즘을 사용하는 반면 가장 극단적인 zkVMist인 StarkNet은 STARKS 알고리즘을 사용합니다.SNARKs는 Groth16, Halo, Fractal 및 Sonic.STARKs는 떠오르는 특정 SNARKs 알고리즘으로 둘 사이의 장단점을 비교할 것입니다.
STARK는 SNARK에 비해 보안성, 확장성, 성능 잠재력이 높으나 현재 STARK는 증명 규모가 크고 검증 시간이 길며 초기 단계로 인프라와 코드 베이스가 완전하지 않다. SNARK.。
텍스트
한편으로는 opcode와 bytecode 간의 불완전한 호환성으로 인해 Solidity 코드를 이식하고 변환하는 과정에서 알려지지 않은 취약점이 나타납니다.예를 들어 Polygon Hermez는 EVM 바이트 코드를 가상 머신 바이트 코드로 직접 변환합니다.
이미지 설명
출처: https://blog.hermez.io/introducing-hermez-zkevm/
한편, 영지식 증명 기술이 성숙해짐에 따라 zkEVM은 필연적으로 맞춤형 회로에 대한 수요로 나타날 것이고 Solidity와 같은 언어는 영지식 증명에 우호적이지 않아 엄청난 기술적 장애가 발생할 것입니다.
그리고 StarkNet 및 zkSync와 같은 zkVM은 Cairo 및 Zinc와 같은 영지식 증명 언어와 호환되도록 설계되었습니다. 개발자는 일련의 다항 방정식을 작성하고 이를 회로로 변환하기 위해 전문적인 영지식 증명 지식을 배울 필요 없이 이러한 언어를 통해 자신의 프로그램에 대한 영지식 증명을 직접 생성할 수 있습니다.
정리하자면, zkEVM은 단기적으로 미성숙한 호환성 기술로 인해 Solidity 언어의 작성 과정에서 알려지지 않은 취약점이 있을 수 있으며 zkVM의 프로그래밍 언어는 zkEVM보다 영지식 증명에 더 적합합니다.건축에 따르면,이더리움 옐로우 페이퍼
사양에 따르면 EVM은 스택 기반의 직렬 상태 머신으로 간단히 말해서 EVM은 본질적으로 영지식 증명과 호환되지 않습니다. zkVM은 영지식 증명에 맞춰진 가상 머신이며 기본 아키텍처의 영지식 증명에 더 적합합니다.Hardware Acceleration for Zero Knowledge Proofs》
zkVM 극단주의자인 StarkNet이 발명한 카이로 언어는 영지식 증명에 적합한 CPU 친화적인 고급 언어로, StarkNet이 CPU 수준에서 영지식 증명에 더 잘 적응할 수 있도록 만들고 이러한 목적을 위해 영지식 증명 하드웨어를 사용자 지정할 수도 있습니다. . 투자기관인 Paradium도 영지식증명의 하드웨어적 가능성에 주목하고 이를 위한 논문을 썼다.Cairo – a Turing-complete STARK-friendly CPU architecture》。
전체적으로 zkVM은 알고리즘, 언어 및 아키텍처 측면에서 zkEVM보다 영지식 증명에 더 적합하며 확장성 및 보안성이 더 높습니다.
보조 제목
미래 전망
Scroll 설립자 Ye Zhang은 Twitter에서 StarkWare가 StarkNet에서 카이로 언어로 작성된 증명 프로그램을 zkEVM을 통해 검증할 것을 제안했습니다. 간단히 말해서 하나의 L2에 또 다른 L2를 구축하는 것입니다. 이러한 제안은 기술적으로 실현 가능하며 확실히 더 상상력이 풍부하고 포괄적인 L2 세계를 설명합니다.
IOS
Android