Tác giả: 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, thì Optimistic Rollup với tư cách là một đối thủ cạnh tranh không thể ngồi yên, vì vậy ZKR (zk-Rollup) và OR (Optimistic Rollup) đã mở ra-đối đầu trực diện (về mặt dư luận) vào đầu năm 2023.

Hai ngày trước, Steven Goldfeder, đồng sáng lập của Offchain Labs, nhóm phát triển Arbitrum, đã tweet một lần nữa để dội gáo 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ính tương đương EVM là giới hạn dưới, không phải giới hạn trên." 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 tính tương đương hoàn toàn của EVM trong môi trường 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 cũng mạnh dạn dự đoán: 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 trận chiến tranh luận gay gắt".

Polygon zkEVM, cựu công ty phát triển bằng chứng không kiến ​​thức Mir, kỹ sư Brendan lần lượt trả lời quan điểm của Goldfeder: Goldfeder không hiểu đầy đủ về kiến ​​trúc của 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 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ần cấp phép, thì phải có một zkEVM đầy đủ chức năng trong quá trình sản xuất.

Ye Zhang, người đồng sáng lập Scroll, phản pháo lại rằng Goldfeder đã đánh giá thấp zkEVM và nên xem lại blog của Scroll 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, xuất phát từ nhu cầu thực tế nên việc thêm chức năng mới là không cần thiết.

Ngoài ra, anh ấy đặ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ì?

Alex G., người đồng sáng lập zkSync, đã khẳng định một phần quan điểm của Goldfeder, ông cũng đồng ý với EVM+ > EVM, và khả năng tương tác đồng bộ với mã Rust/Move 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ỉ khả thi đối vớ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 tồn tại.

Khi Polygon vui vẻ 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 vẫn còn lâu mới hoạt động bình thường", nhưng Goldfeder chỉ ra rằng zkEVM vẫn có một số vấn đề về tập trung nhất định ở giai đoạn này và không có người chứng nhận Các vấn đề như mã nguồn mở thực sự đúng.

Và sôi động hơn là trong Devcon ở Bogotá năm ngoái.

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

Tuy nhiên, khi hai người này tranh luận về "zkEVM đầu tiên", họ cũng thu hút rất nhiều nghi ngờ, trong số đó 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 định 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 đã bắt đầu từ cuối năm 2021. Phòng thí nghiệm Offchain đã xuất bản một bài viết đặc biệt có tiêu đề "Tại sao Bản tổng hợp lạc quan lại đại diện cho tương lai của việc mở rộng Ethereum hơn Bản tổng hợp ZK?" ” 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 (người đã đề cập ở trên) đã xuất bản "Polygon bác bỏ Offchain Labs: ZK Rollup là tương lai của việc mở rộng Ethereum" và trả lời rằng so với Optimistic rollup, zk có thể cung cấp bảo mật tương tự và hiệu quả 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 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. Bộ phận OR hiện tại có vốn kiêu ngạo, nhưng trước sức mạnh ngày càng tăng 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ó một chút bồn chồn, vì vậy việc thường xuyên nói bất đồng là điều hợp lý. và nó cũng là một sự thôi thúc tốt cho zk-Rollup.

Nói chung, L2, một đường đua của Triều Dương, sẽ ít bị ảnh hưởng bởi thị trường gấu hơn các lĩnh vực khác, vào đầu năm 2023, cuộc đối đầu này sẽ sôi động và thịnh vượng. Nhưng thay vì chiếm lấy vị trí dư luận, chúng ta lại mong chờ hơn vào trận chiến quyết định giữa OR và ZKR ở cấp độ đạn thật.