Tranh chấp lộ trình ZK/OP của RaaS: tại sao ZK-RaaS tốt hơn?

##TL; DR

So với Optimistic Rollups, ZK-Rollups có những ưu điểm sau:

• Dữ liệu giao dịch được nén giúp tiết kiệm chi phí Gas L1
• An toàn hơn và không cần tin cậy
• Tốc độ xác nhận giao dịch nhanh hơn và thời gian rút tiền ngắn hơn

Ngoài những lợi ích này, ZK-RaaS còn có những lợi thế ở các khía cạnh sau thông qua hiệu ứng mạng:

• ZK-RaaS cung cấp sức mạnh tính toán quy mô lớn cho ZK-Rollups lớn thông qua ZK-PoW, do đó giảm chi phí tính toán ZKP
• Nhờ tốc độ xác nhận giao dịch nhanh hơn (mức phút) của ZK-Rollup, ZK-Rollups có thể triển khai giao thức truyền thông cuộn chéo (NCRC) gốc, do đó giải quyết được vấn đề phân mảnh thanh khoản

##RaaS là gì?

Rollups-as-a-Service (RaaS) cung cấp một lớp trừu tượng trên khung Rollup và SDK để dễ dàng triển khai, bảo trì và xây dựng dựa trên các Rollups ứng dụng cụ thể ở cấp sản xuất (AppRollups). Tương tự như các dịch vụ phần mềm dưới dạng dịch vụ, RaaS cho phép các nhà phát triển tập trung vào việc xây dựng lớp ứng dụng, biến một quy trình từng mất hàng chục giờ với nhiều kỹ sư thành quy trình triển khai không cần mã trong 10 phút.

Hai loại Tổng hợp chính là Tổng hợp lạc quan và Tổng hợp ZK. Chúng khác nhau về xác thực giao dịch và xử lý tranh chấp, đồng thời có điểm mạnh và điểm yếu khác nhau. Theo loại Rollup được cung cấp, bài viết này chia RaaS thành Op-RaaS và ZK-RaaS.

1. Chi phí

Chi phí Gas L1 của ZK-Rollups thấp hơn so với Optimistic Rollups

Một trong những mục tiêu chính của giải pháp Rollup là tăng thông lượng giao dịch trên Ethereum và giảm chi phí gas cho người dùng. Optimistic Rollups và ZK-Rollups đạt được điều này bằng cách gộp các giao dịch theo nhóm và gửi chúng lên mạng chính theo định kỳ. Vì vậy, tất cả họ đều phải chịu phí Gas cho dữ liệu được gửi tới L1.

• Do có bằng chứng gian lận, Optimistic Rollups phải xuất bản tất cả dữ liệu giao dịch trên chuỗi. Do đó, họ yêu cầu nhiều Gas hơn để gửi các lô dữ liệu lên chuỗi chính.
• Vì ZK-Rollups có kỹ thuật nén dữ liệu hiệu quả (chẳng hạn như sử dụng chỉ mục để thể hiện tài khoản người dùng thay vì địa chỉ, điều này giúp tiết kiệm 28 byte dữ liệu). Điều này giúp giảm chi phí xuất bản dữ liệu giao dịch trên chuỗi cơ bản.

Do đó, ZK-Rollups có thể tiết kiệm nhiều Gas L1 hơn so với Optimistic Rollups.

ZK-RaaS giảm chi phí tính toán ZKP thông qua sự tham gia của thợ mỏ quy mô lớn

Tuy nhiên, ZK-Rollups yêu cầu chi phí tính toán bổ sung để tạo ra bằng chứng không có kiến thức. Đây chính xác là điều ZK-RaaS hướng tới giải quyết.

Với việc triển khai ZK-Rollup trên quy mô lớn, việc tạo ra ZKP đòi hỏi một số lượng lớn CPU, GPU, FPGA cũng như các máy khai thác và phần cứng khác để cung cấp sức mạnh tính toán. Opside( ) cũng đề xuất khái niệm ZK-PoW, giới thiệu vai trò của thợ mỏ tham gia vào việc duy trì các nút zkEVM và tính toán ZKP. Giao thức Opside ZK-PoW sẽ được triển khai trên nhiều chuỗi, bao gồm nhưng không giới hạn ở Ethereum, Chuỗi BNB, Polygon PoS và chính Chuỗi Opside.

Để khuyến khích nhiều người khai thác hơn tham gia vào các nhiệm vụ tính toán ZKP cùng lúc, Opside đã đề xuất Thuật toán gửi hai bước của ZKP. Phần thưởng PoW tương ứng với ZKP sẽ được phân bổ cho những người gửi ZKP hợp lệ, tức là những người khai thác, theo các quy tắc nhất định.

1. Gửi proofhash: Trong một khoảng thời gian, đối với một trình tự nhất định, nhiều người khai thác được phép tham gia tính toán bằng chứng không có kiến thức. Sau khi mỗi người khai thác tính toán bằng chứng, họ không trực tiếp gửi bằng chứng ban đầu mà tính toán bằng chứng (bằng chứng/địa chỉ) và gửi bằng chứng cho hợp đồng.
2. Gửi ZKP: Sau khoảng thời gian, người khai thác gửi bằng chứng ban đầu và xác minh nó bằng proofhash đã gửi trước đó. Những người khai thác vượt qua quá trình xác minh có thể nhận được phần thưởng PoW và số tiền thưởng được phân phối theo tỷ lệ số tiền cam kết của người khai thác.

Trong Opside, thuật toán gửi ZKP hai bước thực hiện tính toán song song và gửi ZKP nối tiếp, cho phép các máy khai thác thực hiện nhiều nhiệm vụ tạo ZKP cùng một lúc, do đó tăng tốc đáng kể hiệu quả tạo ZKP.

2. Tính cuối cùng của giao dịch và hiệu quả sử dụng vốn

• Tổng hợp lạc quan: Có thời gian thử thách lên tới 7 ngày và giao dịch sẽ không được hoàn tất trên chuỗi chính cho đến khi kết thúc thời gian thử thách. Do đó, Bản tổng hợp lạc quan có độ trễ cao đối với tính chất cuối cùng của giao dịch.
• ZK-Rollups: Ưu điểm của ZK-Rollups là độ trễ của giao dịch cuối cùng thấp, thường là hàng chục phút hoặc thậm chí vài phút. Khi bằng chứng về tính hợp lệ được nhà điều hành nút xác minh, điều này sẽ dẫn đến cập nhật trạng thái.

Vì Optimistic Rollups có thời gian thử thách nên người dùng không thể rút tiền trước khi hết hạn, điều này gây ra sự bất tiện. Tuy nhiên, ZK-Rollups không có giai đoạn thử thách và người dùng có hiệu quả vốn/thanh khoản tốt hơn và có thể rút tiền bất kỳ lúc nào.

##3. Chia sẻ thanh khoản

Điều đáng nói là vì các giao dịch của ZK-Rollups có thể được xác nhận nhanh chóng nên có thể nhận ra sự liên lạc không đáng tin cậy giữa ZK-Rollups để tất cả các Rollups có thể chia sẻ tính thanh khoản của tài sản. **Và do có bằng chứng gian lận và thời gian thử thách 7 ngày nên việc đạt được giao tiếp tự nhiên không đáng tin cậy giữa các Tổng hợp lạc quan là không thực tế.

Nền tảng ZK-RaaS Giao thức NCRC (Native Cross Rollup Communication) của Opside cung cấp giải pháp tương tác Rollup không đáng tin cậy. Giao thức NCRC không thêm cầu nối bổ sung của bên thứ ba vào mỗi Bản tổng hợp mà chuyển đổi cầu nối (cầu nối gốc) đi kèm với ZK-Rollup ở cấp hệ thống, để sử dụng trực tiếp cầu nối gốc của mỗi ZK-Rollup để đạt được giao tiếp cuộn chéo. Cách tiếp cận này ngắn gọn và kỹ lưỡng hơn, không chỉ kế thừa tính bảo mật tuyệt đối của cầu nối gốc mà còn tránh được sự phức tạp của hệ thống và chi phí tin cậy do cầu nối bên thứ ba mang lại.

NCRC đã được ra mắt trên mạng thử nghiệm và người dùng có thể trải nghiệm trực tiếp

4. Bảo mật

• Bản tổng hợp lạc quan: Bằng chứng gian lận đảm bảo tính hợp lệ của các giao dịch bằng cách có những người xác thực trung thực bảo mật mạng blockchain. Nếu không có các nút trung thực để thách thức các giao dịch không hợp lệ, các tác nhân độc hại có thể đánh cắp tiền và những lần tổng hợp lạc quan này sẽ không an toàn.
• ZK-Rollups: Thay vì dựa vào những người xác minh trung thực, ZK-Rollups sử dụng bằng chứng không có kiến thức để xác minh giao dịch. Ưu điểm là ZKP cung cấp sự đảm bảo an ninh thông qua các bằng chứng toán học thay vì tác nhân của con người. Do đó, ZK-Rollups không đáng tin cậy.

Mặc dù bằng chứng gian lận của Bản tổng hợp lạc quan là khả thi về mặt lý thuyết và đã có một số Bản tổng hợp đang hoạt động. Tuy nhiên, theo thời gian và số lượng Optimistic Rollups ngày càng tăng, những rủi ro của mô hình bảo mật này sẽ dần bộc lộ, trở thành tê giác xám hay thậm chí là thiên nga đen. Bởi vì, việc chạy một trình xác thực trung thực rất tốn kém và hầu hết không mang lại lợi nhuận. Khi Op-RaaS tạo ra một số lượng lớn Bản tổng hợp lạc quan, ngoại trừ một số Bản tổng hợp chính, rất khó để đảm bảo rằng mỗi Bản tổng hợp có các nút trung thực, đặc biệt là những bản tổng hợp không được liên quan. **

Tính bảo mật của ZK-Rollups là không đáng tin cậy vì chúng không dựa vào người dùng hoặc người xác minh để thách thức các giao dịch gian lận mà cung cấp sự đảm bảo an ninh thông qua bằng chứng toán học.

Tóm tắt

Cho dù đó là ZK-RaaS hay Op-RaaS, các nhà phát triển đều có thể có chuỗi ứng dụng Rollup của riêng mình mà không cần phải quản lý phần mềm và phần cứng phức tạp.

Nền tảng ZK-RaaS được đại diện bởi Opside( ), đã ra mắt các giao thức ZK-PoW và NCRC, làm cho lợi thế của ZK-Rollups trở nên rõ ràng hơn.