zkEVM에 대해 알아야 할 모든 것 (1)

Maxlion

读者

2022-07-26 13:28

이 기사는 약 2296자로, 전체를 읽는 데 약 4분이 소요됩니다

zkEVM의 기본 원리 및 세분화 수준.

최근 여러 ZKR(zk-rollup) 프로젝트에서 최신 진행 상황 및 경로 계획을 집중적으로 발표했습니다.

7월 19일, zkEVM 기반 ZKR 프로젝트 Scroll이 테스트넷 출시를 발표했습니다.

7월 20일, Polygon은 "최초의 EVM과 동등한 zkEVM ZKR 프로젝트"인 Polygon(Hermez)의 출시를 발표했습니다.

같은 날 zkSync는 zkSync가 100일 후에 메인넷에서 실행되는 최초의 zkEVM 기반 ZKR이 될 것이라고 발표했습니다.

키워드 중 하나인 zkEVM은 트위터 사용자들 사이에서 열띤 토론을 불러일으켰습니다. 어떤 사람들은 이러한 발전이 "L2 Summer"의 도래를 의미한다고 생각합니다.

zkEVM이 왜 그렇게 많은 관심을 받고 있습니까? zkEVM은 ZKR 프로젝트의 핵심입니다. 높은 수준에서 EVM과 호환(또는 동등)하면서 성능을 향상할 수 있으므로 Ethereum L1의 애플리케이션을 수정 없이 L2로 직접 마이그레이션할 수 있습니다. 따라서 zkEVM은 L2 Rollup의 "마지막 게임"이자 "Ethereum 킬러의 킬러"로 간주됩니다.

zkEVM을 명확하게 설명하기 위해 Odaily는 이 시리즈를 얕은 것에서 깊은 것까지 세 개의 기사로 나눕니다.

1. zkEVM의 기본 도입 및 세분화 수준

2. zkEVM 및 zkVM 프로젝트 인벤토리

3. zkEVM과 zkVM 프로젝트의 비교 분석

기본 정보

이미지 설명

이미지 출처: https://www.cth.group/insights/page/zk/

zkEVM은 두 단어의 조합입니다. ZK는 Zero Knowledge의 약자이고 EVM은 Ethereum Virtual Machine의 약자입니다.

이미지 설명

이미지 출처: Miden ETH Amsterdam 프레젠테이션

zkEVM을 구현하는 ZKR은 한편으로는 ZK 기술의 고성능을 활용할 수 있고, 다른 한편으로는 실제로 테스트 및 감사를 거친 코드 베이스, 도구, 문서 및 수많은 개발자 이더리움의 애플리케이션, 자산 및 사용자는 손실, 단순성 및 속도 없이 더 높은 TPS와 더 낮은 가스로 ZKR L2로 전송할 수 있습니다. 따라서 ZKR은 V God을 비롯한 많은 전문가들이 가장 유망한 L2 솔루션으로 간주합니다.

일반적인 오해

zkEVM은 때때로 "EVM 호환"과 혼동됩니다. 전문가들의 논의에서 zkEVM은 종종 바이트코드 또는 opcode 수준에서 EVM 호환성을 구현하는 ZKR 프로젝트를 지칭하며, EVM 호환성에는 Solidity 언어 수준에서의 호환성뿐만 아니라 바이트코드, opcode 및 합의 수준에서의 호환성도 포함됩니다.

예를 들어 StarkNet은 언어 수준에서 EVM 호환성을 달성하지만 zkEVM이 아닌 zkVM이며 Polygon Hermez, Scroll 및 zkSync와 같은 ZKR 프로젝트는 Solidity 언어와 호환될 뿐만 아니라 대부분의 개발 도구, 프로토콜 표준과도 호환됩니다. , 바이트 코드, zkEVM을 구현하는 ZKR입니다.

요약하면 EVM과 호환되는 프로젝트는 여러 수준의 호환 가능한 EVM이 있기 때문에 반드시 zkEVM일 필요는 없습니다. zkEVM을 구현하는 프로젝트는 EVM과 호환되어야 합니다. zkEVM과 EVM 호환성의 자세한 차이점은 아래에서 설명하겠습니다.

호환성 차이

Suning Yao는 "Foresight Ventures: Interpreting the Current Status and Future of zk, zkVM, and zkEVM"에서 EVM 호환성의 정의를 언급했습니다.

EVM 호환성: Solidity와 같은 언어 수준의 적응.
EVM 동등성: EVM 바이트코드 수준에서의 적응.
EVM 사양 적응: 소위 진정한 zkEVM은 대부분의 경우 이전 버전과의 호환성이 최적화된 상위 집합일지라도 계정 추상화(즉, 각 계정이 스마트 계약임) 및 EVM이 특성을 제공하지 않는 다른 것들을 제공할 수 있습니다.

Fundamental Labs는 또한 "FL 연구 | Incomplete Guide to ZK: Why ZK Matters?"에서 EVM 호환성에는 세 가지 수준(낮음에서 높음)이 있다고 언급했습니다.

언어 수준: 이 상태에는 실제 zkEVM이 없습니다. 트랜스파일러는 Solidity를 EVM과 완전히 다른 ZK 친화적 VM으로 변환합니다. StarkNet(zkVM)은 이 방식을 채택하고 있으며, Solidity를 StarkNet의 모국어로 번역하기 위해 번역기 Warp가 개발되었습니다.
바이트코드 레벨: ZK 증명 시스템은 이 zkEVM에서 중요한 역할을 합니다. 이 단계에서 zkEVM에 의해 생성된 상태 루트는 Ethereum EVM과 호환되지 않지만 Ethereum의 응용 프로그램은 그대로 zkEVM으로 포팅될 수 있습니다. Polygon Hermez를 포함하여 Scroll은 이 방식을 채택했습니다. zkSync의 원래 방향은 zkVM이었으나 지금은 zkEVM으로 변경되었으며, 최근 발표에 따르면 이더리움의 opcode 대부분을 지원하지만 현재 클로즈드 소스 상태여서 자세히 검토할 수 없습니다.
합의 수준: zkEVM은 이더리움의 상태 루트에 대한 증명을 생성하는 이더리움의 EVM과 동일합니다. Vitalik은 이더리움 로드맵에서 이더리움이 미래에 합의 수준의 zkEVM을 통합할 것이라고 선언했습니다.

이미지 설명