Tổng hợp lạc quan: Hiện tại và tương lai của quy mô Ethereum

Tác giả gốc: phòng thí nghiệm offchain

Ngày nay, chúng tôi nghe rất nhiều cuộc nói chuyện về cách ZK Rollup được coi là tương lai của các hệ thống hợp đồng thông minh có mục đích chung. Và chúng tôi không đồng ý - và bài viết này giải thích tại sao. Nó được xây dựng dựa trên những bài học thực tế mà chúng tôi đã học được từ việc vận hành một chuỗi L2 mở, an toàn, tương thích với EVM với hàng trăm dapp, hàng trăm nghìn người dùng và hàng triệu giao dịch.

Chúng tôi đã xây dựng Arbitrum dưới dạng Bản tổng hợp lạc quan (OR) vì chúng tôi tin rằng OR là cách tốt nhất để đáp ứng nhu cầu trong thế giới thực của người dùng về một L2 tương thích với EVM an toàn, đáng tin cậy vô điều kiện. Chúng tôi đã chọn Optimistic Rollup thay vì ZK vì khả năng mở rộng vốn có và lợi thế về chi phí của hệ thống; chúng tôi sẽ vẫn đưa ra lựa chọn tương tự ngày hôm nay. Nếu bạn muốn biết tại sao, hãy đọc tiếp.

Michael Johnson - ban đầu được đăng lên Flickr là táo và cam - chúng không so sánh được, CC BY 2.0, https://commons.wikimedia.org/w/index.php?curid=4289506)

vân vân! Bài viết này dài bao lâu?

Vâng, bài đăng này dài và hơi kỹ thuật ở những nơi. Những gì mọi người muốn từ on-chain rất đơn giản, nhưng nói về công nghệ cần thiết để mang lại những lợi thế này thì chúng ta cần phải đi sâu vào một số chi tiết. Chúng tôi hy vọng cộng đồng kỹ thuật hiểu quan điểm của chúng tôi.

Nếu bạn không muốn đọc toàn bộ bài viết, đây là một phác thảo ngắn gọn.

1. Mọi người muốn một chuỗi có thể được tin tưởng vô điều kiện để cung cấp bảo mật, tiến độ được đảm bảo, khả năng hiển thị và các đặc tính nhanh - đồng thời họ muốn có chi phí thấp và khả năng tương thích với các công cụ hiện có.

2. So với ZK Rollup, chúng tôi đã đi sâu vào chi tiết về cách sử dụng Optimistic Rollup để cung cấp các thuộc tính này.

3. Vì chi phí ngoài chuỗi của ZK rất cao nên Optimistic có thể cung cấp các thuộc tính mà người dùng muốn với chi phí thấp hơn.

4. Vì bằng chứng ZK rất tốn kém, nên việc tham gia đầy đủ vào giao thức ZK có thể yêu cầu phần cứng chuyên dụng và/hoặc tính song song lớn, giúp mạng tập trung hơn một cách hiệu quả.

5. Những lợi thế mà ZK tuyên bố áp dụng cho hệ thống Tổng hợp lạc quan hoặc yêu cầu hy sinh các tính năng bảo mật hoặc khả năng sử dụng quan trọng.

6. Bản tổng hợp lạc quan thắng về mặt chi phí vận hành, bởi vì việc thực thi mã rẻ hơn nhiều so với việc tính toán các bằng chứng mật mã phức tạp.

bắt đầu từ đầu

Hãy bắt đầu với Ethereum trước. Người dùng Ethereum tạo giao dịch để triển khai hoặc tương tác với hợp đồng thông minh. Bạn có thể xem xét các giao dịch Ethereum theo một số cách khác nhau. Một mặt, nó có thể được coi là dữ liệu không rõ ràng. Nhưng nếu bạn nhìn vào nội dung của nó, một giao dịch dĩ nhiên là nhiều hơn thế; đó là yêu cầu một hợp đồng thông minh làm một việc gì đó: ghi lại một số thông tin, di chuyển một số tài sản, v.v.

Khi một giao dịch được đăng trên Ethereum, có hai điều quan trọng xảy ra. Đầu tiên, nó bao gồm việc Ethereum đạt được sự đồng thuận trên một tập hợp các giao dịch được đặt hàng. Thứ hai, Ethereum thực hiện các giao dịch này và tính toán các cập nhật trạng thái kết quả.

Tổng hợp: Điểm chung của Lạc quan và ZK

Để mọi nút Ethereum thực thi mọi giao dịch đều rất tốn kém và Rollup là một loại giải pháp mở rộng quy mô có thể giảm tải đáng kể lượng tải này. Việc thực hiện giao dịch thực tế không được thực hiện trên Ethereum mà được chuyển sang khu vực Lớp 2 (“L2”).

Nhưng chờ đã - Rollup phải được đảm bảo bởi Ethereum. Điều này có nghĩa là chúng tôi cần Ethereum để bằng cách nào đó đảm bảo tính chính xác của việc thực hiện giao dịch, ngay cả khi nó xảy ra trên L2. Vì vậy, làm thế nào mà Ethereum có được dấu phê duyệt cho trạng thái rollup?

Tóm lại, câu trả lời là: bằng chứng. Rollup sử dụng bằng chứng độc quyền để chứng minh tính đúng đắn của nó đối với Ethereum, bằng chứng này có thể được xác minh ngay cả khi không thực hiện giao dịch.

Tổng hợp: sự khác biệt giữa Lạc quan và ZK

Những bằng chứng này có vẻ khá kỳ diệu: cho phép Ethereum xác minh trạng thái Rollup mà không thực sự thực thi nó. Bạn có thể tự hỏi những bằng chứng này trông như thế nào và chúng được thực hiện như thế nào trong thực tế. Đây là nơi các Rollup khác nhau khác nhau.

ZK Rollup sử dụng bằng chứng về tính hợp lệ. ZK dựa vào một bên đưa ra bằng chứng mã hóa ngắn gọn rằng bên đó biết về một chuỗi hợp lệ kết thúc ở một trạng thái cụ thể. Điều này yêu cầu trình xác minh thực thi chuỗi để nó biết cách xây dựng xác minh, sau đó xây dựng xác minh bằng cách thực hiện một loạt các hoạt động mã hóa phức tạp. Bằng chứng được kiểm tra bởi hợp đồng L1 trên chuỗi. Bằng chứng ZK ngắn gọn và chi phí xác minh đủ rẻ để thực hiện với các giao dịch Ethereum.

Optimistic Rollup sử dụng một loại bằng chứng khác: bằng chứng gian lận. Như tên cho thấy, Bản tổng hợp lạc quan mang tính lạc quan và khi họ xuất bản trạng thái cập nhật lên Ethereum, họ hoàn toàn không phải xuất bản bất kỳ bằng chứng nào. Bất kỳ ai cũng có thể xuất bản khối Tổng số chứa các xác nhận quyền sở hữu về kết quả chính xác của việc thực hiện các giao dịch nhất định. Các nút khác thực hiện cùng một giao dịch và có thể đưa ra thách thức nếu họ không đồng ý với yêu cầu của nút đầu tiên. Một giao thức tranh chấp hiệu quả có thể giải quyết bất kỳ sự bất đồng nào, đảm bảo rằng bên phù hợp sẽ giành chiến thắng trong thử thách. Tất cả các bên đều có động cơ mạnh mẽ để chỉ đưa ra các xác nhận đúng và không thách thức các xác nhận sai, do đó, trong trường hợp thông thường, tất cả các nút chỉ cần thực hiện tất cả các giao dịch và không bao giờ cần gọi mã bằng chứng. Toàn bộ quá trình được quản lý bởi hợp đồng L1.

Ok, vậy loại Rollup nào tốt hơn? Trong phần sau đây, chúng tôi sẽ so sánh ZK và Bản tổng hợp lạc quan ở nhiều khía cạnh và giải thích lý do tại sao chúng tôi cho rằng tương lai là Lạc quan, trong khi Bản tổng hợp lạc quan như Arbitrum vốn có khả năng mở rộng hơn.

Tổng hợp lạc quan so với ZK: Chi phí

Có lẽ sự khác biệt quan trọng nhất giữa Optimistic Rollup và ZK là chi phí.

Bản tổng hợp lạc quan yêu cầu các nút thực hiện hợp đồng một cách đơn giản. Ví dụ: nếu một hợp đồng thực hiện thao tác thêm, nút sẽ thực hiện thao tác thêm đó.

Mặt khác, ZK cần tạo ra một bằng chứng mật mã phức tạp đòi hỏi hàng trăm hoặc hàng nghìn thao tác đường cong elip đắt tiền để đưa thao tác cộng vào bằng chứng. ZK chịu khoản phí này cho mọi hướng dẫn trong mọi hợp đồng. Nhu cầu tạo bằng chứng mật mã phức tạp cho mọi lệnh, không chỉ thực thi, là một bất lợi về chi phí cố hữu đối với ZK — và là một bất lợi lớn ở điểm đó.

Những người ủng hộ ZK đôi khi lập luận rằng chỉ cần một bên để tạo bằng chứng, trong khi Bản tổng hợp lạc quan yêu cầu hệ thống phải có nhiều nút. Tuy nhiên, nếu bạn đang chạy một chuỗi lớn, nó sẽ có nhiều nút cho dù bạn sử dụng hệ thống xác minh nào. Một chuỗi thực sẽ yêu cầu nhiều nút để phục vụ nhật ký sự kiện cuộc gọi không đột biến, hiển thị dữ liệu giao dịch cho người dùng, cung cấp cho người dùng dữ liệu họ cần để rút tiền về L1, v.v. Tính bảo mật của chuỗi Tổng số lạc quan phụ thuộc vào việc các nút này thực hiện những gì chúng cần làm — thực hiện các giao dịch và theo dõi trạng thái chính xác của chuỗi.

Mặt khác, ZK xây dựng các đường cong elip đắt tiền chứng tỏ là một chi phí bổ sung rất lớn. Bạn cần phần cứng có mục đích đặc biệt hoặc tính song song lớn — hoặc cả hai — để có thể thực hiện các bằng chứng quy mô lớn với ZK, nhưng điều đó rất tốn kém.

Kết luận: Hệ thống Tổng số Lạc quan có lợi thế về chi phí vốn có và rất lớn.

Bản tổng hợp lạc quan và khả năng tương thích ZK: EVM

Một cân nhắc quan trọng đối với chúng tôi khi xây dựng Arbitrum là khả năng tương thích với EVM. Arbitrum hoàn toàn tương thích với EVM; nó có cùng giao diện RPC và chấp nhận mã byte giống như EVM. Trên thực tế, điều này có nghĩa là bất kỳ mã nào được viết cho Ethereum đều có thể chạy trên Arbitrum ngay lập tức.

Chúng tôi đã chạy một chuỗi mở, tương thích với EVM (bao gồm cả mạng thử nghiệm) trong hơn một năm nay và chúng tôi đã biết được mức độ khó khăn của việc tuân thủ thực sự. Khả năng tương thích trong 95% đầu tiên không khó, nhưng nó không đủ tốt trong thực tế và để làm tốt hơn đòi hỏi rất nhiều nỗ lực và kiến ​​trúc sản phẩm không gây cản trở.

Hệ thống ZK hoạt động trên phạm vi rộng về khả năng tương thích. Một số coi đó là một công cụ kế thừa và khuyến khích mọi người học ngôn ngữ tùy chỉnh của họ.

Nhưng một số hệ thống ZK không cố gắng tương thích. Tất nhiên, điều đó tốt cho các nhà phát triển và người dùng không quan tâm đến khả năng tương thích.

Về mặt khách quan, chúng tôi không tranh cãi rằng EVM là tốt nhất từ ​​trước đến nay. Điều chúng tôi nghĩ là EVM có rất nhiều lợi thế thực tế do số lượng nhà phát triển, mã và công cụ dành cho nhà phát triển đã hoạt động với nó. Hãy xem xét một dự án được triển khai trên Ethereum, nếu muốn mở rộng quy mô thành Rollup, thì phải viết lại mã bằng ngôn ngữ mới, thực hiện kiểm tra bảo mật mới và duy trì nhiều cơ sở mã, vốn cồng kềnh và dễ bị lỗi. Nhưng ngay cả đối với các dự án mới chưa viết bất kỳ mã nào, khả năng tương thích với EVM là một lợi thế lớn vì nó cho phép các dự án đó tận dụng lợi thế của mã, công cụ và nhóm tài năng tồn tại xung quanh EVM.

Một vài dự án ZK đang làm việc trên các phiên bản tương thích với EVM, nhưng bất chấp những tuyên bố mơ hồ của họ, chúng tôi không biết bất kỳ mã nào được phát hành cho đến nay sẽ cho phép mọi người chạy hợp đồng EVM trong khi ZK Rollup. Các hệ thống sơ bộ hiện tại có sự không tương thích nghiêm trọng. Ví dụ: một hệ thống ZK tuyên bố khả năng tương thích với EVM không triển khai được các opcode ADDMOD, SMOD, MULMOD, EXP, SELFDESTRUCT và CREATE2; việc loại bỏ hỗ trợ cho XOR, AND và OR đang được xem xét; không hỗ trợ các định dạng giao dịch tiêu chuẩn; không hỗ trợ bất kỳ biên dịch trước nào và có thể giới hạn số lần gọi hợp đồng trong một giao dịch. Dường như có sự không tương thích cơ bản với mẫu ZK, điều này đảm bảo rằng ngay cả trong trường hợp tốt nhất, khả năng tương thích của ZK EVM sẽ đi kèm với các trang in chi tiết mà không kích hoạt khả năng tương thích hoàn toàn mà Bản tổng hợp lạc quan đạt được.

Điều đáng làm rõ là ngày nay có một số ví dụ về các hệ thống ZK dành riêng cho ứng dụng (ví dụ: Zcash, ZKSync 1.0, Loop). Trên thực tế, một số hệ thống này hoạt động khá tốt. Sự khác biệt cốt lõi là chúng chỉ được tinh chỉnh và tối ưu hóa cụ thể cho các ứng dụng cụ thể phù hợp với việc triển khai ZK. Thứ không tồn tại ngày nay là trình biên dịch đa năng cho phép một người thực hiện quá trình chuyển đổi từ EVM sang ZK theo cách tương thích. Mặc dù có một số nhóm tuyên bố đang làm việc với nó, nhưng không có mã công khai hoặc điểm chuẩn nào về bằng chứng chi phí cho các hợp đồng ZK-EVM do người dùng xác định. Dựa trên hiểu biết của chúng tôi và tất cả các dữ liệu có sẵn công khai, chúng tôi tin rằng chi phí của chúng quá cao.

Kết luận: Chỉ có Optimistic hỗ trợ tương thích hoàn toàn với EVM với chi phí thấp nhất.

Bản tổng hợp lạc quan và ZK: Khả năng hiển thị và khả năng nén với niềm tin vô điều kiện

Một trong những thuộc tính quan trọng của chúng tôi khi thiết kế Arbitrum là khả năng hiển thị của niềm tin vô điều kiện. Nói tóm lại, khả năng hiển thị với sự tin tưởng vô điều kiện có nghĩa là bất kỳ ai cũng có thể xem hoặc truy cập nội dung trên chuỗi mà không cần tập trung hóa. Điều quan trọng là, điều này không chỉ có nghĩa là mọi người đều có thể xem ảnh chụp nhanh trạng thái; mà có nghĩa là mọi người có thể xem toàn bộ lịch sử của chuỗi — làm thế nào chuỗi đạt đến trạng thái hiện tại. UtilityChain cho phép mọi người chạy một nút có thể hỗ trợ các lệnh gọi không thay đổi, tìm kiếm lịch sử sự kiện và xem mọi giao dịch—mà không cần phụ thuộc vào các nhà cung cấp dữ liệu tập trung. Tầm nhìn không đáng tin cậy làm cho điều này có thể.

Thành thật mà nói, một số hệ thống ZK ít được nhìn thấy hơn một chút và cố gắng tạo ra các cuộc trò chuyện xung quanh thực tế là chúng không cung cấp chức năng blockchain đầy đủ. Khi bạn nghe nói về "nén", vui lòng lắng nghe cẩn thận: họ có nói rằng họ đang mã hóa nội dung trên chuỗi hiệu quả hơn không (Arbitrum đã làm điều này và sẽ làm tốt hơn trong bản phát hành Nitro của chúng tôi)? Hay họ đang nói rằng các phần của lịch sử trên chuỗi sẽ không bao giờ có sẵn trừ khi nhà cung cấp dữ liệu tập trung sẵn sàng chia sẻ nó với bạn sau này?

Hãy nhớ lại rằng bằng chứng ZK chỉ chứng minh rằng người chứng minh biết chuỗi hợp lệ. Bằng chứng không cho bạn biết chuỗi là gì và ngay cả khi bạn có đủ dữ liệu để xác minh bằng chứng, bạn có thể không có đủ dữ liệu để xây dựng lại lịch sử của chuỗi.

Ví dụ: giả sử Alice liên tục gửi giao dịch 1 ETH cho Bob và Bob liên tục gửi giao dịch 1 ETH cho Charlie. Sau đó, bạn xác minh bằng chứng rằng Alice ít hơn trước 1 ETH, số dư của Bob không thay đổi và Charlie có nhiều hơn trước 1 ETH.

Nhưng chuyện gì đã xảy ra? Alice có trả tiền cho Bob không? Bob có trả tiền cho Charlie không? Có thể Alice trả tiền trực tiếp cho Charlie. Có thể Alice đã đốt một ETH và Charlie được người khác trả tiền. Có lẽ Diana là người trung gian, không phải Bob. Bob tìm kiếm bằng chứng về chuỗi khối, nhưng một số ZK Rollup không cung cấp khả năng hiển thị chuỗi và anh ấy không thể phân biệt được.

Nhiều ứng dụng hợp đồng thông minh thỉnh thoảng yêu cầu nhiều hơn là biết một điểm kiểm tra. Họ cần hiểu về chuỗi - biết điều gì đã xảy ra và làm thế nào để đạt đến trạng thái cuối cùng. Bản tổng hợp ZK đôi khi tự hào về khả năng "nén" tốt hơn Bản tổng hợp lạc quan, nhưng trên thực tế, ẩn dữ liệu của chuỗi để chỉ người kiểm chứng biết đó không phải là nén - nó loại bỏ dữ liệu quan trọng. Nếu một nhà cung cấp ZK nói rằng họ "không cần" xuất bản lịch sử trên chuỗi, thì điều họ thực sự muốn nói là họ không thể đảm bảo khả năng hiển thị của chuỗi. Từ bỏ các đảm bảo về khả năng hiển thị trên chuỗi không phải là một sự thỏa hiệp mà chúng tôi sẵn sàng thực hiện.

Kết luận: Hệ thống Tổng hợp Lạc quan cung cấp khả năng hiển thị với sự tin tưởng vô điều kiện với chi phí tối thiểu.

Lạc quan Rollup và ZK: tin tưởng vô điều kiện, kết thúc đúng lúc

Một yêu cầu quan trọng khi xem xét Rollup là liệu nó có mang lại kết quả cuối cùng kịp thời, đáng tin cậy vô điều kiện hay không. Nói tóm lại, điều này có nghĩa là sau khi bạn gửi một giao dịch, bạn nên biết kết quả của giao dịch cho chính mình và những người khác một cách nhanh chóng và chắc chắn, và không ai nên thay đổi hoặc đảo ngược nó.

Chúng tôi tin rằng cách tốt nhất để đạt được kết quả cuối cùng kịp thời là tách thứ tự giao dịch khỏi việc thực hiện chúng. Việc sắp xếp tạo ra một chuỗi cuối cùng của các giao dịch được đề xuất và việc thực thi sẽ cố gắng thực hiện các giao dịch trong chuỗi đó. Nếu việc thực hiện các giao dịch là xác định, như trong một đại biểu, thì thứ tự các giao dịch được hoàn thành là đủ để hoàn thành kết quả, vì kết quả là một chức năng xác định của chuỗi giao dịch. Nếu mọi người biết thứ tự giao dịch, mọi người có thể dễ dàng xác định kết quả.

Việc hoàn thiện trình tự yêu cầu xuất bản trình tự lên chuỗi L1 với đủ thông tin để bất kỳ ai cũng có thể tự thực hiện giao dịch để biết kết quả với sự tin tưởng vô điều kiện. Rollup lý tưởng là xuất bản dữ liệu giao dịch tuần tự lên chuỗi L1 thường xuyên nhất có thể.

Trong hệ thống Tổng hợp lạc quan, chi phí xuất bản lên chuỗi L1 là tối thiểu. Trên thực tế, Arbitrum thường xuất bản dữ liệu giao dịch được tuần tự hóa lên chuỗi L1 cứ sau 1 phút hoặc lâu hơn, cung cấp cho người dùng kết quả cuối cùng nhanh chóng và đảm bảo rằng không ai có thể hoàn tác chúng giao dịch. Một xác nhận kết quả Tổng số Lạc quan mới được thực hiện mỗi giờ hoặc lâu hơn, nhưng vì trình tự đã hoàn tất và việc thực thi mang tính quyết định nên điều này không làm chậm kết quả cuối cùng.

Về nguyên tắc, một hệ thống ZK có thể hoạt động theo cách tương tự; tức là tách thứ tự giao dịch (thường có thể được xuất bản lên L1) khỏi quá trình xác minh diễn ra sau đó, đôi khi cung cấp bằng chứng về tính hợp lệ. Tuy nhiên, ZK Rollup hoạt động theo cách này yêu cầu đăng dữ liệu trên chuỗi L1 về cơ bản được xuất bản với các hệ thống Optimistic Rollup; không có (cái gọi là) kỹ thuật "nén" nào được thảo luận ở trên sẽ khả dụng. Để các kỹ thuật "nén" này hoạt động, mỗi khi một lô giao dịch L2 được xuất bản, trong cùng một giao dịch L1, tính hợp lệ của một loạt giao dịch L2 phải được xác minh theo thời gian thực.

Do đó, ZK Rollup đang tìm cách sử dụng kỹ thuật "nén" được quảng cáo chỉ còn lại hai tùy chọn:

1) Xuất bản các giao dịch nối tiếp và bằng chứng thực hiện mỗi phút hoặc lâu hơn: Điều này giúp duy trì tốc độ, nhưng yêu cầu ZK-Proof phải được tạo bên ngoài chuỗi mỗi phút và được xác minh trên chuỗi L1. Tùy thuộc vào việc triển khai, chi phí phát hành bằng chứng ZK trên chuỗi được ước tính là từ 500.000 đến 5 triệu gas.

2) Xuất bản các giao dịch tuần tự và bằng chứng mỗi giờ: Điều này làm cho chi phí kiểm tra bằng chứng ZK hợp lý, nhưng kéo dài thời gian hoàn thành đến một giờ. Trong vài giờ kể từ khi người dùng gửi giao dịch tới nhà điều hành ZK và được xuất bản trên chuỗi, người dùng thậm chí không thể đảm bảo rằng giao dịch của họ sẽ được đưa vào, mà chỉ cần tin tưởng vào thông báo của nhà điều hành.

Nếu chúng tôi đang xây dựng một hệ thống ZK, chúng tôi sẽ thấy hai tùy chọn này không thể chấp nhận được - tùy chọn thứ nhất quá đắt và tùy chọn thứ hai không cung cấp kết quả cuối cùng kịp thời. Vì vậy, cuối cùng chúng tôi sử dụng cùng một trình sắp xếp thứ tự như phiên bản Tổng hợp lạc quan và xuất bản về cơ bản cùng một dữ liệu trực tuyến trong phiên bản ZK của Arbitrum.

Hãy cẩn thận nếu bạn nghe ai đó khoe khoang rằng ZK có thể nén hàng giờ dữ liệu vào một nút thời gian duy nhất. Nếu họ chỉ xuất bản một điểm dữ liệu duy nhất vào cuối một khoảng thời gian dài, thì điều đó có nghĩa là họ không chấm dứt trong khoảng thời gian đó.

Kết luận: Những cân nhắc thực tế buộc các hệ thống Optimistic Rollup và ZK phải xử lý việc hoàn thiện theo cùng một cách kịp thời.

Optimistic Rollup và ZK: Sức sống của niềm tin vô điều kiện

Tính năng động của niềm tin vô điều kiện có nghĩa là bất kỳ ai cũng có thể buộc hệ thống phải tiến bộ. (Tính chất bảo đảm của niềm tin vô điều kiện đảm bảo rằng tiến trình này là chính xác.)

Tổng hợp được tối ưu hóa cho phép bất kỳ nút nào tuyên bố thực thi chính xác. Việc đưa ra yêu cầu chỉ đơn giản là yêu cầu một nút thực hiện giao dịch trực tuyến và sau đó gửi tiền đặt cọc, số tiền này có thể được hoàn lại sau khi yêu cầu được xác nhận bởi giao thức.

Trên hệ thống ZK, tiến trình yêu cầu bất kỳ nút nào cũng có thể tạo và đưa ra một trong các bằng chứng ZK cần thiết để nâng cao trạng thái của chuỗi. Điều này phải sử dụng phần cứng và phần mềm có sẵn cho bất kỳ ai. Như vậy, nó không được yêu cầu xây dựng hoặc mua phần cứng có mục đích đặc biệt, cũng như không thể thực hiện tính toán song song hàng loạt. Phải có một cách để xây dựng bằng chứng ZK phù hợp trên các thiết bị phổ biến. Nhà cung cấp ZK không cung cấp dịch vụ này hoặc phát hành mã để tạo bằng chứng cho hệ thống của mình, không cung cấp sự tin tưởng vô điều kiện về tiến độ cũng như hệ thống không có đảm bảo về tính sống động. Hệ thống của họ được tập trung bởi vì chỉ những bên được trang bị đặc biệt mới có thể thúc đẩy tiến độ. (Không rõ liệu các nhà cung cấp ZK Rollup hàng đầu có cung cấp bằng chứng khả thi cho người dùng thông thường hay không.)

Kết luận: Trong một hệ thống Tổng hợp Lạc quan, việc có được sự tiến bộ với sự tin tưởng vô điều kiện sẽ dễ dàng hơn.

ZK so với Tổng hợp lạc quan: Kết nối

Một lĩnh vực mà ZK Rollup có lợi thế là làm cầu nối với Ethereum. Hệ thống Tổng số Lạc quan dự đoán sẽ có sự chậm trễ một tuần trong việc chuyển tiền từ Tổng số sang L1, trong khi ZK Rollup cho phép dựng ngay lập tức sau khi bằng chứng ZK được cấp cho L1. Trên thực tế, điều này không tạo ra nhiều sự khác biệt, vì người dùng Optimistic Rollup có thể tận dụng dịch vụ bắc cầu nhanh và đổi tiền L2 lấy tiền L1 có độ trễ thấp. Do đó, lợi thế của ZK chủ yếu là người dùng của nó có thể tránh phải trả các khoản phí nhỏ do các dịch vụ bắc cầu tính (các dịch vụ này cạnh tranh với nhau về giá). Đây không chỉ là lý thuyết: ngày nay có nhiều dịch vụ cầu nối nhanh theo thời gian thực có thể cung cấp các khoản rút tiền ngay lập tức từ Arbitrum.

Điều quan trọng là, lợi thế bắc cầu của ZK Rollups khá hẹp: nó chỉ hoạt động để bắc cầu từ L2 sang Ethereum. Ngày xửa ngày xưa (khoảng năm 2019), nhiều người nghĩ rằng Rollup sẽ cung cấp việc triển khai chậm một hoặc hai dapp trực tiếp. Trong một thế giới như vậy, người dùng Rollup sẽ liên tục thấy mình chuyển đổi qua lại giữa L1 ​​và L2. Nhưng đó không phải là thế giới chúng ta đang sống. Arbitrum có một hệ sinh thái phát triển mạnh với hàng trăm dApp ở mọi ngóc ngách của Defi và nhiều người dùng đang xây dựng cầu nối với Arbitrum và ở đó lâu dài. Ngoài ra, vì người dùng nhảy qua nhiều chuỗi, nên họ không chỉ đến Ethereum. Họ cũng sẽ sử dụng các L1 và sidechains khác, và đối với cầu nối trực tiếp này, ZK Rollup không có lợi thế hơn so với Optimistic Rollup.

tóm tắt

tóm tắt

So sánh Tổng hợp lạc quan với hệ thống ZK, chúng tôi cho rằng hệ thống Tổng hợp lạc quan rõ ràng là người chiến thắng. Lạc quan rẻ hơn nhiều, hoàn toàn tương thích với EVM và các công cụ hiện có, và nhược điểm thực sự duy nhất trong thực tế là cầu nối L1 chậm hơn nhiều nếu không có dịch vụ cầu nối nhanh. Các lợi thế được cho là khác của ZK đòi hỏi phải hy sinh khả năng hiển thị hoặc độ bền của chuỗi, điều mà chúng tôi không nghĩ là sự đánh đổi mà người dùng muốn.

Không ai trong số này có khả năng thay đổi. Việc thực thi hợp đồng tương thích với ZK-proof EVM sẽ vẫn đắt hơn đáng kể so với thực thi Optimistic Rollup và các yêu cầu để đạt được tiến độ được đảm bảo, khả năng hiển thị trên chuỗi và phân cấp cũng sẽ không thay đổi. Mặc dù chúng tôi luôn sẵn sàng chuyển Arbitrum sang thực thi dựa trên ZK nếu hoàn cảnh thay đổi, nhưng chúng tôi không nghĩ rằng họ sẽ làm như vậy.

Cuối cùng, chúng tôi thận trọng kết luận. Mọi người có xu hướng so sánh những gì Arbitrum cung cấp hôm nay với những gì hệ thống ZK đại diện để cung cấp trong tương lai. Nhưng sự so sánh này là vô nghĩa, bởi vì nếu chúng ta so sánh các hệ thống tồn tại ngày nay, thì Optimistic Rollup như Arbitrum là hệ thống duy nhất hỗ trợ triển khai mở các hợp đồng thông minh nói chung. Hoặc, nếu chúng ta so sánh các hệ thống trong tương lai, thì chúng ta nên so sánh các hệ thống Arbitrum trong tương lai và ZK trong tương lai. Chúng tôi không ngừng cải thiện Arbitrum — ví dụ: bản phát hành Nitro sắp tới của chúng tôi bao gồm chi phí thấp hơn và khả năng nén dữ liệu trên chuỗi không mất dữ liệu được tối ưu hóa tốt hơn. Chúng tôi đang làm việc không mệt mỏi để cải thiện Arbitrum và giảm chi phí xuống mức giới hạn lý thuyết. Như chúng tôi đã chỉ ra trong bài đăng này, chúng tôi tin rằng Bản tổng hợp lạc quan là người chiến thắng rõ ràng khi xem xét các hệ thống tồn tại ngày nay và các ràng buộc lý thuyết tương ứng của chúng.