Cuộc đối đầu và tranh luận giữa ZKR và OR: EVM tương đương giới hạn dưới chứ không phải giới hạn trên?

Tác giả gốc: Nian Qing, ChainCatcher

Tác giả gốc: Nian Qing, ChainCatcher

Kể từ nửa cuối năm ngoái, dự án mở rộng zk-Rollup đã bắt đầu tập trung nỗ lực và không ngừng bắt kịp tiến độ, các chương trình và dự án liên quan cũng bắt đầu xuất hiện, đồng thời cũng thu hút được nhiều vốn và sự chú ý hơn. Khi mọi người ca ngợi rằng zk có một tương lai tươi sáng, Optimistic Rollup với tư cách là đối thủ cạnh tranh không thể ngồi yên, vì vậy ZKR (zk-Rollup) và OR (Optimistic Rollup) đã mở ra (theo dư luận) vào đầu năm 2023 Cuộc đối đầu đầu tiên -đối đầu.Hai ngày trước, Steven Goldfeder, đồng sáng lập Offchain Labs, nhóm phát triển Arbitrum, một lần nữatiếng riu ríu

Đổ nước lạnh vào ZK Rollup và zkEVM.

Steven Goldfeder cho biết ông không đồng ý với nhận định "ZK Rollup có thể thay thế Optimistic Rollup tốt hơn". Hiện tại, zkEVM còn lâu mới được triển khai trong môi trường sản xuất và zk-Rollup đắt hơn và tương thích hơn op-Rollup ở giai đoạn này.Sự khác biệt.

Ngoài ra, Goldfeder đã đề cập rằng "tương đương EVM là giới hạn dưới, không phải giới hạn trên" và theo quan điểm này, Arbitrum có lợi thế lâu dài khi là Bản tổng hợp đầu tiên đạt được hoàn toàn tương đương EVM trong sản xuất. Dựa trên bước này, Arbitrum bắt đầu phát triển EVM+ cấp cao hơn, nhằm mục đích mở rộng cho nhiều nhà phát triển và người dùng hơn (chẳng hạn như hỗ trợ Rust hoặc Move). Thiết kế dựa trên WASM của Nitro có lợi thế cấu trúc rất lớn trong đổi mới EVM+ và nhóm zk "gần như không thể" đạt được EVM+ trong thời gian ngắn.

Cuối cùng, Goldfeder đã đưa ra một dự đoán táo bạo: trước khi bất kỳ zkEVM đầy đủ chức năng nào ra mắt, Arbitrum đã hỗ trợ các hợp đồng Solidity và Rust!

Hành động bắn súng hơi kiêu ngạo và bừa bãi của Steven Goldfeder vào các dự án zk-Rollup đã dẫn đến một "cuộc thảo luận (chửi thề) (chiến tranh) tuyệt vời".Brendan, một kỹ sư tại Polygon zkEVM và trước đây là công ty phát triển bằng chứng không kiến ​​thức Mir, đã đưa ra quan điểm của Goldfeder.Trả lời từng mục

: Goldfeder không hiểu lắm về kiến ​​trúc Polygon zkEVM. Trước hết, về mặt thời gian, Polygon đã phát hành mạng thử nghiệm zkEVM sẵn sàng sản xuất và tạo ra hơn 80.000 bằng chứng khối, và mạng chính sẽ ra mắt sau khoảng 3 tháng nữa. Về chi phí, chi phí chứng minh của Polygon zkEVM không quá cao. Ví dụ: chi phí của một giao dịch Uniswap là $0,0019 và chi phí này sẽ giảm xuống 1/100 so với chi phí hiện tại trong tương lai. Hơn nữa, việc giảm tải các tính toán đắt tiền cho ZKP tốt hơn so với các mô hình buộc mọi nút đầy đủ phải thực thi lại.

Ngoài ra, Brendan tin rằng câu hỏi lớn hơn là liệu có đảm bảo khả năng tương thích với EVM sau khi giới thiệu các opcode mới hay không. Và anh ấy cũng đưa ra một dự đoán "có mục tiêu": trước khi Bản tổng hợp lạc quan hỗ trợ EVM có bằng chứng gian lận không được phép, thì phải có một zkEVM đầy đủ chức năng trong sản xuất.Đồng sáng lập Scroll Ye Zhangbác bỏ

, Goldfeder đã đánh giá thấp zkEVM, nên xem lại blog của Scroll từ 8 tháng trước, zkEVM của Scroll được xây dựng theo cách rất mô-đun. Hơn nữa, việc thêm chức năng quá mạnh sẽ làm tăng rủi ro bảo mật, từ góc độ nhu cầu thực tế, việc thêm chức năng mới được coi là không cần thiết.

Ngoài ra, ông đặt ra một số câu hỏi cần được khám phá thêm: Có bao nhiêu người thực sự quan tâm đến việc viết hợp đồng Rust với Solidity? Cần bao nhiêu công cụ hỗ trợ bổ sung? Nó có hỗ trợ khả năng tổng hợp không? Các giả định bảo mật là gì?Và người đồng sáng lập zkSync Alex G.tích cực một phần

Tiếp tục quan điểm của Goldfeder, anh cũng đồng ý với EVM+ > EVM, so sánh khả năng tương tác đồng bộ với Rust/Move code mạnh hơn nhiều so với Solidity thuần túy. Nhưng kiểu phát triển này không chỉ có thể được thực hiện bởi Optimistic Rollup, zkSync của chúng tôi hiện đang biên dịch Solidity thông qua LLVM, đồng thời bổ sung thêm Rust và Move. Trong một cuộc so sánh như vậy, zk-Rollup dễ dàng giành chiến thắng.

Starkware đã không tham gia vào cuộc tranh luận này vì tính khí độc đáo của CairoVM.

Trên thực tế, với sự nổi lên của zk-Rollup, cuộc đối đầu và tranh luận giữa ZKR và OR vẫn tiếp tục.

Khi Polygon hân hoan công bố mã nguồn mở zkEVM vào tháng 7 năm ngoái, Goldfeder đã dội một gáo nước lạnh vào “zkEVM còn lâu mới hoạt động bình thường”.

Và nó thậm chí còn sống động hơn trong Devcon ở Bogotá năm ngoái.

Với sự ra mắt của zkSync 2.0, zkSync bắt đầu tự quảng cáo với nhiều sự phô trương là "mạng zkEVM nguồn mở đầy đủ chức năng đầu tiên trên thế giới" và Polygon zkEVM cũng tuyên bố là "mạng phi tập trung đầu tiên và duy nhất khi nó được ra mắt chính thức trong Devcon" . zkEVM mạng thử nghiệm".

Tuy nhiên, khi cả hai tranh luận về "zkEVM đầu tiên", họ cũng thu hút rất nhiều nghi ngờ, tất nhiên không thể thiếu Steven Goldfeder, ông cho rằng mạng thử nghiệm zkEVM của zkSync chưa kích hoạt zk-proofs, cũng như chưa vượt qua kiểm toán bảo mật . Polygon đã đặt câu hỏi rằng mặc dù mã nguồn của chứng minh zkEVM của nó (zk prover) có sẵn trên Github, nhưng nó không có giấy phép nguồn mở; mặc dù tuyên bố rằng nó "hoàn toàn tương đương", cơ sở mã Github của nó cho thấy rằng nó chỉ có đã kiểm tra khả năng tương thích 97%. Đáp lại, nhóm Polygon đã trả lời: "Không có sự che giấu cố ý nào và một số nội dung đang được viết để làm tài liệu tốt hơn."

Steven Goldfeder có một câu thích hợp hơn: "Mặc dù nhiều đội đang dần thăng tiến zkEVM, nhưng nó còn lâu mới đến 'thời kỳ hoàng kim'. Bất kỳ đội nào quảng bá câu chuyện này đều đang gây hại cho cộng đồng."Cuộc tranh luận giữa ZKR và OPR có thể bắt đầu từ cuối năm 2021. Offchain Labs đã xuất bản một bài viết đặc biệt có tiêu đề "Tại sao Optimistic Rollup đại diện cho tương lai mở rộng Ethereum hơn ZK Rollup?

》Bài viết so sánh hai công nghệ mở rộng ZK Rollups và Optimistic Rollup. Kể từ đó, Offchain Labs đã nhấn mạnh đến khả năng mở rộng và lợi thế về chi phí của hệ thống Optimistic Rollup, hoàn toàn tương thích với EVM và các công cụ hiện có.Sau đó, kỹ sư bằng chứng không có kiến ​​thức của Polygon, Brendan Farmer (cùng một người đã đề cập ở trên) đã xuất bản "Polygon bác bỏ Offchain Labs: ZK Rollup là tương lai của quy mô Ethereum

"Đáp lại, so với bản cập nhật Lạc quan, zk có thể cung cấp mức độ bảo mật tương tự và hiệu quả sử dụng vốn cao hơn. Và OR bị giới hạn bởi L1, vì bằng chứng gian lận phải được thực thi trên Ethereum, ZK không có giới hạn này.

Bạn sẽ thấy rằng cuộc tranh luận giữa hai phe này đã không thay đổi đáng kể trong năm nay. Nhưng những cuộc thảo luận này rất có ý nghĩa nếu có thể thực hiện thêm một số phần mở rộng về chủ đề này.

Mặc dù Optimistic Rollup có lợi thế của người đi đầu và vẫn độc chiếm hơn 80% thị phần hiện tại, nhưng những người dẫn đầu quan điểm, bao gồm cả Vitalik, nhìn chung lạc quan hơn về ZKR trong dài hạn. Kể từ nửa cuối năm ngoái, một lượng lớn vốn và các nhà phát triển đã đổ vào lĩnh vực zk, các dự án liên quan tiếp tục xuất hiện và tiến độ phát triển của zk-Rollup cũng dần được đẩy nhanh. Hệ thống OR lúc này đúng là có vốn kiêu ngạo, nhưng trước sức mạnh ngày càng lớn của các đối thủ cạnh tranh, Arbitrum, người đang ngồi vững vàng trên ngai vàng, sẽ có chút bồn chồn, vì vậy việc thường xuyên phát ngôn là điều hợp lý. và nó cũng là một sự thôi thúc tốt cho zk-Rollup.