ZKR과 OR 간의 대립과 논쟁: EVM 등가물은 상한이 아니라 하한입니까?

원작자: Nian Qing, ChainCatcher

원작자: Nian Qing, 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 등가를 완전히 달성하는 첫 번째 롤업으로서 장기적인 이점이 있습니다. 이 단계를 기반으로 Arbitrum은 더 넓은 범위의 개발자와 사용자(예: Rust 또는 Move 지원)에게 개방되는 것을 목표로 하는 더 높은 수준의 EVM+를 개발하기 시작했습니다. Nitro의 WASM 기반 설계는 EVM+ 혁신에서 엄청난 구조적 이점을 가지고 있으며 zk 팀은 단기적으로 EVM+를 달성하는 것이 "거의 불가능"합니다.

마지막으로 Goldfeder는 대담한 예측을 내놓았습니다. 완전한 기능을 갖춘 zkEVM이 출시되기 전에 Arbitrum은 이미 Solidity 및 Rust 계약을 지원하고 있습니다!

zk-Rollup 프로젝트에서 Steven Goldfeder의 약간 거만하고 무차별적인 촬영은 "멋진 토론 (욕) 토론 (전쟁)"으로 이어졌습니다.Polygon zkEVM의 엔지니어이자 이전 영지식 증명 개발 회사인 Mir의 Brendan은 Goldfeder의 관점을 취했습니다.항목별로 응답

: Goldfeder는 Polygon zkEVM 아키텍처를 잘 이해하지 못합니다. 우선 시간적으로 Polygon은 프로덕션 준비가 된 zkEVM 테스트 네트워크를 출시하고 80,000개 이상의 블록 증명을 생성했으며 약 3개월 후에 메인 네트워크가 시작됩니다. 비용 측면에서 Polygon zkEVM의 증명 비용은 그리 높지 않습니다. 예를 들어 Uniswap 트랜잭션 비용은 $0.0019이며 이 비용은 향후 현재 비용의 1/100로 감소합니다. 또한 값비싼 계산을 ZKP로 오프로드하는 것이 모든 전체 노드를 다시 실행하도록 강제하는 모델보다 낫습니다.

또한 Brendan은 새로운 opcode를 도입한 후 EVM과의 호환성을 보장할지 여부가 더 큰 문제라고 생각합니다. 그리고 그는 또한 "표적화된" 예측을 했습니다. EVM을 지원하는 낙관적 롤업이 무허가 사기 증명을 갖기 전에 프로덕션에서 완전히 작동하는 zkEVM이 있어야 합니다.스크롤 공동 창립자 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월 오픈소스 zkEVM 코드를 기쁜 마음으로 발표했을 때 골드페더는 "zkEVM은 아직 정상 운영과 거리가 멀다"며 찬물을 끼얹었다.

그리고 작년 보고타에서 열린 Devcon에서는 더욱 활기가 넘쳤습니다.

zkSync 2.0의 출시와 함께 zkSync는 "세계 최초의 완전한 기능을 갖춘 오픈 소스 zkEVM 네트워크"로 자신을 광고하기 시작했으며 Polygon zkEVM은 또한 "Devcon에서 공식적으로 출시되었을 때 최초이자 유일한 분산 네트워크"라고 주장했습니다. . zkEVM 테스트넷".

그러나 두 사람이 "최초의 zkEVM"에 대해 논쟁할 때 많은 의심을 불러일으켰습니다. 물론 Steven Goldfeder는 필수 불가결합니다. 그는 zkSync의 zkEVM 테스트 네트워크가 zk-proofs를 활성화하지 않았으며 보안 감사를 통과하지도 못했다고 믿습니다. . Polygon은 zkEVM 증명기(zk 증명기)의 소스 코드가 Github에서 제공되지만 오픈 소스 라이선스가 없다는 질문을 받았습니다. 97% 호환성 범위를 테스트했습니다. 이에 대해 폴리곤팀은 "의도적으로 숨긴 것은 없으며, 더 나은 문서화를 위해 일부 내용을 작성하고 있다"고 답했다.

Steven Goldfeder는 "많은 팀이 꾸준히 zkEVM을 발전시키고 있지만 '황금기'와는 거리가 멀다. 이 내러티브를 홍보하는 모든 팀은 커뮤니티에 해를 끼치고 있습니다."라고 말했습니다.ZKR과 OPR 간의 논쟁은 2021년 말로 거슬러 올라갑니다. Offchain Labs는 "라는 제목의 특별 기사를 게시했습니다.낙관적 롤업이 ZK 롤업보다 이더리움 확장의 미래를 더 잘 나타내는 이유는 무엇입니까?

》ZK Rollup과 Optimistic Rollup의 두 가지 확장 기술을 비교한 기사입니다. 그 이후로 Offchain Labs는 EVM 및 기존 도구와 완벽하게 호환되는 Optimistic Rollup 시스템의 확장성과 비용 이점을 강조해 왔습니다.그런 다음 Polygon의 영지식 증명 엔지니어인 Brendan Farmer(위에서 언급한 동일인)가 "Polygon은 Offchain Labs를 반박합니다. ZK Rollup은 Ethereum 확장의 미래입니다.

"대응으로 zk는 낙관적 롤업과 비교하여 동일한 보안과 더 높은 자본 효율성을 제공할 수 있습니다. 그리고 OR은 L1에 의해 제한됩니다. 사기 증명은 이더리움에서 실행 가능해야 하므로 ZK에는 이러한 제한이 없습니다.

올해 이 두 파벌 간의 논쟁이 크게 바뀌지 않았다는 것을 알게 될 것입니다. 그러나 주제에 대해 좀 더 확장할 수 있다면 이러한 논의는 의미가 있습니다.

옵티미스틱 롤업이 선점자 우위를 가지고 있고 여전히 현재 시장 점유율의 80% 이상을 독점하고 있지만 Vitalik을 포함한 오피니언 리더들은 일반적으로 장기적으로 ZKR에 대해 더 낙관적입니다. 지난해 하반기부터 zk 분야에 많은 자본과 개발자들이 쏟아져 들어오면서 관련 프로젝트들이 속속 등장하면서 zk-Rollup의 개발 진행 속도도 점차 빨라졌다. OR 시스템은 현재 오만함의 수도를 가지고 있지만 점점 더 강해지는 경쟁자들의 힘에 직면하여 왕좌에 단단히 앉은 Arbitrum은 조금 불안할 것이므로 자주 diss를 말하는 것이 합리적입니다. zk-Rollup에 대한 좋은 충동이기도 합니다.