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 bởiZK-PoWCung cấp sức mạnh tính toán quy mô lớn cho ZK-Rollups lớn, từ đó 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ể đạt đượcGiao tiếp cuộn chéo gốc (NCRC)thỏa thuận, từ đó 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 phía trên khung Tổng hợp và SDK để dễ dàng triển khai, duy trì và xây dựng dựa trên các Bản tổng hợp dành riêng cho ứng dụng ở cấp sản xuất (AppRollups) tùy chỉnh, cấp sản xuất. RaaS tương tự như dịch vụ cung cấp phần mềm dưới dạng dịch vụ, 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 Rollup chính làOptimistic rollupsVàZK-Rollups. 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 (https://opsi.de) cũng đề xuấtZK-PoWKhái niệm thợ mỏ được giới thiệu để 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 thợ mỏ hơn tham gia vào các nhiệm vụ tính toán ZKP cùng lúc, Opside đề xuấtZKP's Two-Step Submission Algorithm. Phần thưởng PoW tương ứng với ZKP sẽ được phân phối 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, anh ta 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 hai bước của ZKP thực hiện tính toán song song và gửi ZKP nối tiếp, cho phép thợ mỏ thực hiện nhiều nhiệm vụ tạo ZKP cùng 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, gây ra sự bất tiệ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. Thanh khoản được chia sẻ

Điều đáng nói là,Vì các giao dịch ZK-Rollups có thể được xác nhận nhanh chóng 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.Và do có bằng chứng gian lận và thời gian thử thách 7 ngày nên giao tiếp tự nhiên không cần sự 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 OpsidesGiao 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 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, nó không chỉ kế thừa tính bảo mật tuyệt đối của bridge 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 bridge 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 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 đả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 các trình xác thực 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ì sự tham gia của con người. Do đó, ZK-Rollups không đáng tin cậy.

Mặc dù về mặt lý thuyết, bằng chứng gian lận của Bản tổng hợp lạc quan là có thể xảy ra 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ố lần cuộn đầu, rất khó để đảm bảo rằng mọi lần cuộn đều có các nút trung thực, đặc biệt là những lần cuộn không nhận được sự chú ý.

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

Nền tảng ZK-RaaS do Opside đại diện (https://opsi.de) đã 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.