2023년 ZKR와 OR의 첫 논쟁: EVM 동등성은 하한선인가, 상한선인가?

저자:念青, ChainCatcher

작년 하반기부터 zk-Rollup 확장 프로젝트가 집중적으로 추진되기 시작했고, 관련된 제안과 프로젝트가 쏟아져 나오며 더 많은 자금과 관심을 얻고 있습니다. 모두가 zk가 밝은 미래를 가지고 있다고 칭찬할 때, 경쟁자인 Optimistic Rollup은 가만히 있을 수 없었습니다. 그래서 ZKR(zk-Rollup)과 OR(Optimistic Rollup)은 (여론상) 2023년 새해 첫 번째 정면 대결을 맞이하게 되었습니다.

며칠 전, Arbitrum 개발 팀 Offchain Labs의 공동 창립자 Steven Goldfeder는 다시 한 번 트윗으로 ZK Rollup과 zkEVM에 찬물을 끼얹었습니다.

Steven Goldfeder는 "ZK Rollup이 Optimistic Rollup을 더 잘 대체할 수 있다"는 주장에 동의하지 않으며, 현재 zkEVM이 생산 환경에서 구현되지 않았고, 현 단계에서 zk-Rollup이 op-Rollup보다 더 비싸고 호환성이 떨어진다고 밝혔습니다.

또한 Goldfeder는 "EVM 동등성은 하한선이지 상한선이 아니다"라고 언급하며, 이러한 관점에서 Arbitrum은 생산 환경에서 EVM 동등성을 완전히 구현한 첫 번째 Rollup으로서 장기적인 이점을 가지고 있다고 강조했습니다. 이 단계를 바탕으로 Arbitrum은 더 넓은 개발자와 사용자에게 개방하기 위해 EVM+를 개발하기 시작했습니다(예: Rust 또는 Move 지원). Nitro는 WASM 기반 설계에서 EVM+ 혁신에 큰 구조적 이점을 가지고 있으며, zk 팀은 단기적으로 "거의 불가능"하게 EVM+를 구현할 것이라고 합니다.

마지막으로 Goldfeder는 대담하게 예측했습니다: "어떤 기능이 완전한 zkEVM이 나오기 전까지 Arbitrum은 이미 Solidity, Rust 계약을 지원할 것이다!"

Steven Goldfeder의 다소 오만하고 무차별적으로 zk-Rollup 프로젝트를 비판하는 발언은 "흥미로운 논쟁"을 불러일으켰습니다.

Polygon zkEVM의 전 제로 지식 증명 개발 회사 Mir의 엔지니어 Brendan은 Goldfeder의 주장에 대해 하나하나 반박했습니다: Goldfeder는 Polygon zkEVM의 구조를 잘 이해하지 못하고 있습니다. 첫째, 시간적으로 Polygon은 이미 생산 준비가 완료된 zkEVM 테스트넷을 출시했으며 80,000개 이상의 블록 증명을 생성했습니다. 약 3개월 후에는 메인넷에上线될 수 있습니다. 비용 측면에서 Polygon zkEVM의 증명 비용은 그렇게 높지 않습니다. 예를 들어, Uniswap 거래 비용은 0.0019달러이며, 앞으로 이 비용은 현재의 1/100으로 줄어들 것입니다. 게다가 비싼 계산을 ZKP로 오프로드하는 것이 각 완전 노드가 다시 실행하는 모델보다 우수합니다.

또한 Brendan은 새로운 연산 코드 도입 후 EVM과의 호환성을 보장할 수 있는지가 더 큰 문제라고 생각합니다. 그는 "목표 지향적인" 예측도 했습니다: EVM을 지원하는 Optimistic Rollup이 허가 없는 사기 증명을 갖추기 전에, 기능이 완전한 zkEVM이 생산에 투입될 것이라고 합니다.

Scroll의 공동 창립자 Ye Zhang은 반박하며 Goldfeder가 zkEVM을 과소평가하고 있다고 주장했습니다. 그는 Scroll이 8개월 전에 발표한 블로그를 다시 살펴봐야 한다고 강조했습니다. Scroll의 zkEVM은 매우 모듈화된 방식으로 구축되었습니다. 게다가 지나치게 공격적으로 기능을 추가하는 것은 보안 위험을 증가시킬 수 있으며, 실제 수요에 기반하여 새로운 기능을 추가할 필요가 없다고 생각합니다.

그는 또한 몇 가지 추가적으로 논의해야 할 질문을 던졌습니다: 얼마나 많은 사람들이 Solidity와 함께 Rust 계약을 작성하는 것에 진정으로 관심이 있나요? 얼마나 많은 추가 도구 지원이 필요합니까? 조합 가능성을 지원합니까? 안전 가정은 무엇입니까?

zkSync의 공동 창립자 Alex G.는 부분적으로 인정하며 Goldfeder의 주장에 동의했습니다. 그는 EVM+ > EVM에 동의하며, Rust/Move 코드의 동기화 상호 운용성이 단순한 Solidity보다 훨씬 강력하다고 말했습니다. 그러나 이러한 개발은 Optimistic Rollup만 할 수 있는 것이 아니며, 우리는 zkSync가 현재 LLVM을 통해 Solidity를 컴파일하고 Rust와 Move를 추가하고 있다고 강조했습니다. 이렇게 비교하면 zk-Rollup이 쉽게 이길 수 있습니다.

Starkware는 CairoVM의 독특한 특성 때문에 이번 논쟁에 참여하지 않았습니다.

사실, zk-Rollup의 부상과 함께 ZKR과 OR 간의 충돌과 논쟁은 계속 존재해왔습니다.

작년 7월 Polygon이 기쁜 마음으로 zkEVM 코드를 오픈 소스한다고 발표했을 때, Goldfeder는 "zkEVM이 정상적으로 작동하기까지는 아직 멀었다"는 찬물을 끼얹었습니다. 그러나 Goldfeder가 지적한 현 단계의 zkEVM이 여전히 중앙 집중화 문제와 증명자에 대한 오픈 소스 부족 등의 문제는 사실입니다.

더욱 흥미로운 것은 작년 보고타 Devcon 기간 동안이었습니다.

zkSync 2.0의 출시와 함께 zkSync는 자신이 "세계 최초의 기능이 완전한 오픈 소스 zkEVM 네트워크"라고 대대적으로 홍보하기 시작했습니다. Polygon zkEVM이 Devcon 기간 동안 공식 출시될 때도 자신이 "첫 번째이자 유일한 탈중앙화 zkEVM 테스트넷"이라고 주장했습니다.

그러나 이 두 사람은 "첫 번째 zkEVM"을 두고 논쟁하는 동안 많은 의혹을 불러일으켰습니다. 그 중에는 자연스럽게 Steven Goldfeder도 포함되어 있습니다. 그는 zkSync의 zkEVM 테스트넷이 zk-proofs를 활성화하지 않았고, 보안 감사도 받지 않았다고 주장했습니다. Polygon은 zkEVM 증명자(zk prover)의 소스 코드가 Github에서 사용할 수 있지만 아직 오픈 소스 라이센스가 없다는 의혹을 받았습니다. "완전 동등하다"고 주장하지만, Github 코드베이스는 현재 97%의 호환성 커버리지를 보여주고 있습니다. 이에 대해 Polygon 팀은 "고의로 숨기지 않았으며, 일부 내용은 더 나은 문서를 작성 중"이라고 응답했습니다.

Steven Goldfeder는 "현재 많은 팀이 zkEVM을 안정적으로 추진하고 있지만, 아직 '황금 시대'에는 도달하지 못했다. 이러한 서사를 추진하는 팀은 커뮤니티에 해를 끼치고 있다"고 중립적인 발언을 했습니다.

ZKR과 OPR의 논쟁은 2021년 말로 거슬러 올라갈 수 있습니다. Offchain Labs는 " 왜 Optimistic Rollup이 ZK Rollup보다 이더리움 확장의 미래를 더 잘 대표한다고 말하는가?"라는 제목의 기사를 발표하며 ZK Rollups와 Optimistic Rollup 두 가지 확장 기술을 비교했습니다. 그때부터 Offchain Labs는 Optimistic Rollup 시스템이 확장성과 비용에서의 장점을 강조하며 EVM 및 기존 도구와 완전히 호환된다고 주장해왔습니다.

이후 Polygon의 제로 지식 증명 엔지니어 Brendan Farmer(위에서 언급한 그 사람)는 "Polygon ++반박++ Offchain Labs: ZK Rollup이 이더리움 확장의 미래다"라는 기사를 발표하며 Optimistic Rollup에 비해 zk가 동등한 보안성과 더 높은 자본 효율성을 제공한다고 반박했습니다. 또한 OR은 L1에 제한되어 있으며, 사기 증명이 이더리움에서 실행될 수 있어야 하지만 ZK는 이러한 제한이 없다고 주장했습니다.

이 두 진영의 논쟁은 올해까지 이어지며 논의의 내용은 본질적으로 변화하지 않았습니다. 그러나 이러한 논의는 의미가 있으며, 주제에 대해 더 많은 확장을 할 수 있다면 좋겠습니다.

비록 Optimistic Rollup이 선발 우위를 점하고 현재 80% 이상의 시장 점유율을 차지하고 있지만, Vitalik을 포함한 의견 리더들은 장기적으로 ZKR을 더 긍정적으로 보고 있습니다. 작년 하반기부터 자본과 개발자들이 zk 분야로 대거 유입되었고, 관련 프로젝트가 계속해서 등장하고 있으며, zk-Rollup 개발 속도도 점차 빨라지고 있습니다. OR 계열도 현재 자만심을 가지고 있지만, 경쟁자의 점진적인 강력함에 직면하여 왕좌에 앉아 있는 Arbitrum도 다소 불안할 수 있으며, 따라서 자주 비판하는 것도 이해할 수 있는 일입니다. zk-Rollup에 대한 좋은 자극이기도 합니다.

전반적으로 L2라는 유망한 트랙은 다른 분야에 비해 약간 덜 영향을 받았으며, 2023년 초 이 충돌은 매우 활발하게 진행되고 있으며, 번창하는 기세를 보이고 있습니다. 그러나 여론 전선에서의 경쟁보다 우리는 OR과 ZKR이 실제로 맞붙는 결전을 더 기대합니다.