Cuộc tranh luận về ZK/OP trong RaaS: Tại sao ZK-RaaS lại dẫn đầu — ngược lại

TL; DR

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

1)Dữ liệu giao dịch được nén dẫn đến chi phí gas L1 thấp hơn.

2) Bảo mật nâng cao mà không cần người xác nhận thách thức.

3)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ế thông qua hiệu ứng mạng:

4)ZK-RaaS sử dụng ZK-PoW để cung cấp sức mạnh tính toán có thể mở rộng cho nhiều ZK-Rollup, do đó giảm chi phí tính toán ZKP.

5)Nhờ tính cuối cùng của giao dịch ZK-Rollups nhanh hơn (theo thứ tự phút), Giao tiếp cuộn chéo gốc (NCRC) có thể thực hiện được giữa các ZK-Rollups. Điều này giải quyết vấn đề thanh khoản bị phân mảnh.

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, giúp dễ dàng triển khai, duy trì và xây dựng trên các Rollups ứng dụng cụ thể ở cấp độ sản xuất (AppRollups) được tùy chỉnh. Tương tự như các sản phẩm SaaS (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, chuyển đổi những gì từng là một quy trình đòi hỏi nhiều kỹ sư và hàng chục giờ thành một quá trình triển khai không cần mã trong 10 phút.

Có hai loại Rollup chính: Rollup lạc quan và ZK-Rollups . Chúng khác nhau trong việc xác minh giao dịch và giải quyết tranh chấp, với những ưu điểm và nhược điểm riêng biệt. Dựa trên 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í

ZK-Rollups có chi phí Gas L1 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 L1 và giảm phí gas của người dùng. Cả bản tổng hợp Optimistic và ZK-Rollups đều đạt được mục tiêu này bằng cách phân nhóm các giao dịch và gửi chúng đến L1 định kỳ. Do đó, cả hai đều phải chịu phí gas khi gửi dữ liệu tới L1.

• Do sử dụng bằng chứng gian lận, các tổ chức lạc quan cần xuất bản tất cả dữ liệu giao dịch trên chuỗi. Do đó, họ cần nhiều gas hơn để gửi các lô dữ liệu lên chuỗi chính.
• Mặt khác, ZK-Rollups sử dụng các kỹ thuật nén dữ liệu hiệu quả (ví dụ: sử dụng chỉ mục để thể hiện tài khoản người dùng thay vì địa chỉ, 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 các lần tổng hợp lạc quan.

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

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

Vì ZK-Rollups đang được áp dụng trên quy mô lớn nên việc tạo ra ZKP đòi hỏi sức mạnh tính toán đáng kể từ phần cứng và máy khai thác, bao gồm CPU, GPU và FPGA. Opside cũng đã giới thiệu khái niệm ZK-PoW, liên quan đến việc các thợ mỏ duy trì các nút zkEVM và thực hiện các phép tính ZKP. Giao thức Opside ZK-PoW đượ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, Opside đã giới thiệu Thuật toán gửi hai bước của ZKP. Phần thưởng PoW tương ứng với ZKP được phân phối cho người gửi ZKP hợp lệ, tức là những người khai thác, tuân theo các quy tắc cụ thể.

• Gửi Proof Hash: Trong một khoảng thời gian, 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 cho một chuỗi cụ thể. Sau khi tính toán bằng chứng, người khai thác không trực tiếp gửi bằng chứng gốc. Thay vào đó, họ tính toán proofhash của (bằng chứng/địa chỉ) và gửi proofhash này vào hợp đồng.

  
  

• 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 thực nó dựa trên proofhash đã gửi trước đó. Những người khai thác xác thực thành công sẽ nhận được phần thưởng PoW, với số tiền thưởng được phân bổ theo tỷ lệ dựa trên số tiền đặt cược của người khai thác.

Trong Opside, Thuật toán gửi hai bước cho ZKP đạt được tính toán song song và gửi ZKP tuần tự, cho phép các máy khai thác thực hiện đồng thời nhiều tác vụ tạo ZKP. Điều này tăng tốc đáng kể hiệu quả của việc tạo ZKP.

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

• Bản tổng hợp lạc quan: Có một khoảng thời gian thử thách lên tới 7 ngày trong Bản tổng hợp lạc quan. Giao dịch chỉ được hoàn tất trên chuỗi chính sau khi thời gian thử thách kết thúc. Do đó, Optimistic Rollup có độ trễ cao xét về độ cuối cùng của giao dịch.

  
  

• ZK-Rollups: ZK-Rollups vượt trội về độ trễ thấp cho khả năng hoàn tất giao dịch, thường chỉ mất vài phút hoặc thậm chí vài giây. Sau khi người vận hành các nút xác minh bằng chứng hợp lệ, nó sẽ dẫn đến cập nhật trạng thái. Do giai đoạn thử thách trong các lần tổng hợp lạc quan, người dùng không thể rút tiền trước khi hết hạn, gây ra sự bất tiện. Ngược lại, ZK-Rollups thiếu giai đoạn thử thách, mang đến cho người dùng hiệu quả thanh khoản/quỹ vượt trội, cho phép họ rút tiền bất kỳ lúc nào.

3. Thanh khoản chung

Điều đáng lưu ý là nhờ việc xác nhận nhanh chóng các giao dịch trong ZK-Rollups, nên có thể đạt được sự liên lạc không đáng tin cậy giữa ZK-Rollups, cho phép tất cả các Rollup chia sẻ tính thanh khoản của tài sản. Tuy nhiên, do có giai đoạn thử thách 7 ngày và bằng chứng gian lận nên việc đạt được giao tiếp gốc không đáng tin cậy giữa các lần tổng hợp lạc quan là không thực tế.

Nền tảng ZK-RaaS của Opside giới thiệu giao thức NCRC (Giao tiếp cuộn chéo gốc) , cung cấp giải pháp tương tác Rollup không đáng tin cậy. Giao thức NCRC không liên quan đến việc thêm cầu nối bổ sung của bên thứ ba vào mỗi Bản tổng hợp; thay vào đó, nó biến đổi cầu nối gốc của ZK-Rollups ở cấp hệ thống. Điều này cho phép sử dụng trực tiếp các cầu nối gốc của nhiều ZK-Rollup khác nhau để liên lạc qua Rollup. Cách tiếp cận này không chỉ ngắn gọn và toàn diện hơn mà còn kế thừa tính bảo mật tuyệt đối của bridge gốc đồng thời tránh được sự phức tạp và chi phí tin cậy liên quan đến bridge của bên thứ ba.

Opside đã triển khai thành công NCRC trên Testnet. Bây giờ bất kỳ ai cũng có thể trải nghiệm nó tại https://pre-alpha-assetshub.opside.network/.

4. Bảo mật

• Bản tổng hợp lạc quan: Bằng chứng gian lận trong các bản tổng hợp lạc quan bảo vệ mạng blockchain bằng cách dựa vào các trình xác thực trung thực để đảm bảo tính hợp lệ của các giao dịch. 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ể khai thác lỗ hổng này và đánh cắp tiền, khiến các khoản tổng hợp lạc quan này không an toàn.

  
  

• ZK-Rollups: ZK-Rollups không dựa vào những người xác thực trung thực; thay vào đó, họ 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ì sự tham gia của con người, khiến ZK-Rollups không được tin cậy. Mặc dù bằng chứng gian lận trong các bản tổng hợp lạc quan là khả thi về mặt lý thuyết và một số ít các bản tổng hợp hiện đang hoạt động, nhưng rủi ro của mô hình bảo mật này sẽ bộc lộ theo thời gian khi số lượng các bản tổng hợp lạc quan tăng lên. Nguy cơ này có thể trở thành “tê giác xám” hay thậm chí là “thiên nga đen”.

Chạy một trình xác thực trung thực sẽ phát sinh chi phí và hầu như không mang lại lợi nhuận. Khi Op-RaaS tạo ra nhiều lần tổng hợp lạc quan, ngoài một số lần tổng hợp dẫn đầu, việc đảm bảo các nút trung thực cho mỗi lần tổng hợp sẽ trở thành một thách thức, đặc biệt đối với những người ít được chú ý hơn.

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

5. Kết luận

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 quản lý phần mềm và phần cứng phức tạp.

Các nền tảng ZK-RaaS như Opside, đại diện cho ZK-RaaS, đã giới thiệu các tính năng như ZK-PoW và giao thức NCRC, làm nổi bật hơn nữa những ưu điểm của ZK-Rollups.