Vào tháng Tám năm ngoái, chúng tôi đã phát hành Zeth , đó là Type-1 zkEVM đầu tiên được xây dựng bằng cách sử dụng RISC Zero zkVM, cho phép các nhà phát triển thực hiện thi hành EVM trong ZK. Sau đó trong năm nayvào tháng 5 chúng tôi nâng cấp Zethđể hỗ trợ Optimistic rollups như một phần củaOptimism Foundation’s RFPgiúp các nhà phát triển tạo ra các chứng minh hợp lệ để thực hiện việc suy ra rollup trong không gian bảo mật.

Hôm nay, chúng tôi công bố Kailua, một bộ phần mềm để nâng cấp optimistic rollups thành Hybrid ZK rollups, với việc triển khai đầu tiên được hỗ trợ bởi Optimism’s Konamáy chuyển trạng thái rollup. Kailua không chỉ thực hiện một cách minh bạch Kona không được sửa đổi trong zkVM, mà còn giới thiệu trò chơi bảo vệ độc đáo của riêng mình mà nâng cao trạng thái hiện tại của nghệ thuật trong việc giải quyết tranh chấp bằng cách giảm yêu cầu tài sản thế chấp và độ trễ cuối cùng!

Kailua

Không nên nhầm lẫn với thị trấn ở quận Hawaiian Kona, Kailua là một bộ công cụ và hợp đồng để di dời các rollups từ các hệ thống chứng minh lỗi tương tác dài sang các chứng minh lỗi ZK ngắn không tương tác được tạo ra bằng cách sử dụng zkVM RISC Zero. Các thành phần chính của nó là:

1. Một bộ hợp đồng cho các tranh chấp trong ZK, hiện chỉ tương thích với OP Stack rollups.
2. Một công cụ CLI để tự động di dời rollups thành bằng chứng lỗi ZK.
3. Một đại lý đề xuất trạng thái làm tiên tiến trạng thái rollup theo quy tắc của trò chơi ZK.
4. Một đại lý xác minh rollup cạnh tranh và chứng minh bất kỳ lỗi chuyển trạng thái nào trong ZK.

Lưu ý: Phiên bản ngăn xếp OP tối thiểu cần thiết để sử dụng Kailua là V1.4 vì nó tận dụng hợp đồng DisputeGameFactory thay vì hợp đồng L2OutputOracle đã bị loại bỏ.

Kailua giải quyết các vấn đề cốt lõi của Rollup

Trò chơi tranh chấp của Kailua kết hợp chứng minh không có kiến thức với mô hình lăn tối ưu trong một hệ thống lai mới cải tiến bảo mật và hiệu suất đồng thời giảm chi phí vận hành và độ trễ hoàn thành! Điều này được tóm tắt trong bảng dưới đây:

Nó tiết kiệm chi phí chứng minh

Không giống như ZK Rollups, mô hình lai của Kailua cho phép rollups không chỉ hoạt động bình thường mà không cần lo lắng về chi phí và thời gian chứng minh liên tục, mà còn giúp người dùng của họ không phải chịu thêm bất kỳ chi phí nào cho việc chứng minh, điều này tích tụ và trở thành không thể bỏ qua trong các trường hợp:

• Bản tổng hợp trợ cấp phí giao dịch cho người dùng của họ có thể không muốn thêm chi phí.
• Rollups có thể gặp phải khối trống thường xuyên có thể khiến gánh nặng chứng minh thêm không thể chịu đựng được.
• Rollups với thời gian khối rất thấp sẽ làm trầm trọng hóa cả hai vấn đề trên.
• Rollups với hợp đồng tiền xử lý tùy chỉnh đòi hỏi nỗ lực kỹ thuật chuyên sâu hơn để chứng minh được gia tăng.

Trong thiết kế mới của Kailua, các chi phí để giải quyết tranh chấp bằng ZK hoàn toàn do các bên không trung thực chịu gánh nặng, cho dù họ là người đề xuất lỗi hoặc xác minh!

Nó giảm yêu cầu tham gia

Một bản tổng hợp sử dụng Kailua có thể duy trì bảo mật của nó một cách an toàn trong khi thuê ngoài bất kỳ khối lượng công việc chứng minh nào! Điều này là do người xác thực Kailua vẫn có thể phát hành các giao dịch thách thức cần thiết để đảm bảo an toàn cho các bản tổng hợp của họ ngay cả trước khi tính toán các bằng chứng để biện minh cho chúng. Do đó, điều này có nghĩa là thay vì lo lắng về việc thiết lập cơ sở hạ tầng chứng minh có khả năng phức tạp và tốn kém, Kailua Hybrid Rollups có thể phụ thuộc vào cơ sở hạ tầng thị trường chứng minh phi tập trung nhưRISC Zero’s Boundlesstrong những lúc cần thiết với đảm bảo an toàn và tính sống còn cho yêu cầu chứng minh của họ!

Nó giảm chi phí tài sản đảm bảo rollup hiện có

Chi phí vận hành giảm so với ZK Rollups rất tốt, nhưng còn tốt hơn nữa! Kailua cũng giảm chi phí tài sản đảm bảo cần thiết để vận hành rollup từ “tuyến tính theo số đề xuất/thách thức” xuống cố định! Điều này có nghĩa là ngay cả trong các giai đoạn hoàn thành dài, số tài sản đảm bảo tối thiểu mà bên trung thực cần để duy trì tính bảo mật và tính sống còn của hệ thống có thể được giảm đi hàng độ lớn từ hàng chục nghìn xuống còn hàng trăm (tính bằng USD)!

ELI5: Trò chơi Kailua Fault Proof là gì?

Trước tiên, hãy tóm tắt cơ chế cốt lõi đằng sau các trò chơi tranh chấp hiện tại của rollup. Trò chơi chia đôi của Truebit giới thiệu khả năng giải quyết các tranh chấp về kết quả của một tính toán xác định dài thông qua các vòng lặp tương tác thách thức-phản hồi lặp đi lặp lại. Cơ chế này đã là nền tảng của bảo mật trong các optimistic rollup, cho phép cơ hội thời gian nhạy cảm để chơi trò chơi để đảm bảo tính toàn vẹn của lô-gic tầng hai. Thời gian nhạy cảm đảm bảo sự sống của rollup, nhưng mang theo một rủi ro đối với sự an toàn của nó, vì những người chơi trung thực trong trò chơi chia đôi có thể không đưa ra các động thái của họ đúng thời điểm, hoặc có thể không có đủ tiền để chơi nhiều phiên của trò chơi như những người chơi không trung thực có thể làm được. Tuy nhiên, các giả định mật mã hóa cơ bản của nó là tối thiểu, điều này làm cho nó trở thành một lựa chọn rất thực tế.

Trễ hoàn thành

Các quy tắc chơi các trò chơi tranh chấp dựa trên thao tác chia nhỏ bao gồm nhiều loại thời gian “thời gian hết giờ” được cấp cho người chơi để thực hiện nước đi. Hai thời gian hết giờ đáng chú ý nhất là:

1. Thời gian chờ trước khi kết quả không thể chia đôi và không thể thay đổi nữa.
2. Thời gian chờ trước khi một tranh chấp mở được giải quyết và người chơi không thể tham gia nữa.

Hai khoảng thời gian chờ này đóng góp vào thời kỳ ‘Finality Period’ mà thường được nhắc đến. Trong thiết kế hiện tại, một kẻ tấn công có thể hi sinh tài sản đảm bảo của mình để kích hoạt khoảng thời gian chờ sau, thậm chí có thể làm cạn kiệt tài nguyên của những người bảo vệ. Vector tấn công này đã trở thành trọng tâm của bảo mật cho các rollup, bao gồm Arbitrum, hiện đang áp dụng một giao thức tranh chấp mới (BoLD) mục tiêu thiết lập một giới hạn trên thời gian chờ đợi cố định là khoảng ~6.3 ngày cho các tranh chấp mở.

Lời nhắc nhở: Kailua giảm thời gian chờ này xuống chỉ còn một giờ! Và loại bỏ khả năng tấn công kiệt quệ tài nguyên!

Nhập ZK Mục Đích Tổng Quát

Chứng minh không cần biết có thể được sử dụng thay vì trò chơi chia đôi là một cơ chế không tương tác để giải quyết mọi tranh chấp về trạng thái của rollup. Tính chất một lần này có nghĩa là thời gian được chỉ định cho việc giải quyết tranh chấp có thể được giảm đáng kể chỉ cần thời gian cần thiết để chứng minh một khối duy nhất!

Hybrid là sự kết hợp tốt nhất của cả hai thế giới

Mặc dù sự thay đổi cơ học như vậy nghe có vẻ hợp lý, nhưng nó vẫn không phải là một sự giới thiệu tối ưu của ZK vào trò chơi tranh chấp lạc quan! Thay vì chỉ yêu cầu bằng chứng để chứng minh rằng trạng thái tổng hợp được đề xuất là không hợp lệ, người ta cũng có thể tận dụng các bằng chứng zk để chứng minh tính hợp lệ, ngay cả trong một bối cảnh lạc quan! Với tính hai mặt của các bằng chứng trong tâm trí, Kailua chỉ yêu cầu người thách thức báo hiệu “ý định” của họ để tranh chấp một đề xuất, ngăn chặn việc hoàn thiện đề xuất đó cho đến khi một bằng chứng lỗi hoặc hợp lệ được đệ trình để bác bỏ người thách thức hoặc người đề xuất, và loại bỏ các hành động tương ứng của họ khỏi cuộc chơi. Do đó, điều này cho phép Kailua giảm bớt lo lắng về việc chứng minh thời gian có khả năng không ngắn như thời gian chờ sau.

Yêu cầu tài sản đảm bảo ít hơn (rất ít hơn)

Nhưng Kailua không chỉ loại bỏ sự chậm trễ cuối cùng kéo dài do các giao dịch phản hồi thách thức tương tác mà còn loại bỏ phần lớn tài sản thế chấp cần thiết để duy trì rollup! Người chơi trong trò chơi bisection phải đặt cược các mảnh tài sản thế chấp riêng biệt trong mỗi trường hợp của trò chơi họ chơi. Điều này chủ yếu là do thực tế là người chơi có thể thua trong một trường hợp trò chơi do đơn giản là không phản hồi đúng hạn, điều này không nói gì về sự trung thực của họ nói chung. Đáng chú ý, Kailua khắc phục hạn chế này bằng tranh chấp ZK! Trong Kailua, nếu một người chơi thách thức một đề xuất, và đề xuất đó sau đó được chứng minh là hợp lệ, thì Kailua sẽ loại người chơi đó do sự không trung thực đã được chứng minh của họ! Thay đổi đơn giản này có nghĩa là những người thách thức bây giờ chỉ cần đưa ra tài sản thế chấp để đảm nhận vai trò của người thách thức, và sau đó đưa ra nhiều thử thách khi cần thiết, thay vì đưa ra tài sản thế chấp riêng cho mỗi thử thách hoặc trò chơi. Đáng chú ý, việc giảm tài sản thế chấp tương tự cũng áp dụng an toàn cho người đề xuất do cùng một lý do mà không sợ bị tấn công bởi một người đề xuất giàu có có thể spam hệ thống.

Từ khí đến khói

Tuy nhiên, hiếm khi có quá nhiều ưu điểm đến miễn phí như vậy! So với các rollup lạc quan, trong thiết kế lai này có một chi phí xuất bản dữ liệu được thêm vào là cần thiết để loại bỏ các tương tác cần thiết trong một trò chơi phân tích. Chúng tôi đã thiết kế Kailua để khiến chi phí DA này trở nên không đáng kể so với chi phí chứng minh đầy đủ trong một ZK Rollup, dẫn đến chi phí phụ thuộc vào giao dịch trong Kailua trở nên nghịch đảo so với TPS!

Trong một bản tổng hợp Kailua trong đó một thách thức / bằng chứng liên quan đến một chuỗi các khối tổng hợp K, người đề xuất Kailua phải xuất bản tối đa các băm N / K dưới dạng “dữ liệu điểm kiểm tra” khi đề xuất chuyển đổi trạng thái thúc đẩy tổng hợp bằng N khối. K là số lượng các khối không trống được bao phủ bởi mọi thách thức / bằng chứng và là một tham số có thể định cấu hình để xác định chi phí tranh chấp. Chúng tôi nói nhiều nhất là N / K, bởi vì số lượng các trạm kiểm soát cần thiết có thể giảm phần lớn nếu có nhiều khối trống trong một đề xuất.

Trong trường hợp của một cuộn lên tương đối hoạt động với rất ít khối trống, chi phí phụ trên sẽ không đáng kể, vì nó sẽ là một chi phí bổ sung của việc xuất bản chỉ 32/K byte bổ sung mỗi khối. Với K=1, ví dụ cho mainnet của Optimism, điều này tương đương với việc xuất bản một blob duy nhất mỗi 2 giờ và 15 phút, điều này tương đương vớiTỷ lệ đề xuất hiện tại của mạng chính OP, và thấp hơn rất nhiều so vớiChi phí DA cho một khoảng thời gian như vậy. Với TPS hiện tại và chi phí $3 cho mỗi blob, đó là ít hơn $0.0001 cho mỗi giao dịch!

Tuy nhiên, trong trường hợp một rollup trải nghiệm tiện ích không gian khối thấp (ví dụ: do thời gian khối rất thấp), chi phí của việc xuất bản ngây thơ các băm N / K có thể không thực tế, nhưng Kailua không ngây thơ! Trong trường hợp này, điều kiện để tạo điểm kiểm tra có thể sử dụng tham số thứ hai, E, biểu thị số lượng khối trống tối đa mà trạm kiểm soát có thể bao phủ. Một điểm kiểm tra 32 byte (băm khối / trạng thái) sau đó được yêu cầu để bao gồm một chuỗi các khối chứa nhiều nhất các khối trống E hoặc các khối không trống K. May mắn thay, E có thể là một con số lớn hơn đáng kể so với K, tùy thuộc vào mức độ rẻ để chứng minh các khối trống.

Sử dụng Kailua hôm nay

Kailua hiện đang trải qua quá trình phát triển nhanh chóng và chỉ phù hợp cho môi trường kiểm thử và không phù hợp trong môi trường sản xuất. Chúng tôi sẽ tiếp tục cải thiện và phát triển Kailua bằng cách thêm tính năng mới, tối ưu hóa chi phí và hiệu suất, và có thể hỗ trợ thêm các ngăn xếp rollup khác! Kailua là một dự án hoàn toàn mã nguồn mở được xuất bản dưới RISC Zero’s.Github.

Dễ dàng!

The Kailua CLI cho phép bạn dễ dàng triển khai một mạng lưới phát triển OP cục bộ và nâng cấp nó để sử dụng bằng chứng lỗi ZK chỉ với một vài lệnh. Sau đó, bạn có thể sử dụng CLI để khởi chạy người đề xuất và người xác nhận, và tương tác với mạng lưới phát triển cục bộ của bạn như bạn đã từng làm. Nếu bạn quan tâm đến việc thử nghiệm trò chơi tranh chấp thực tế trong trường hợp có lỗi, bạn có thể sử dụng CLI để thay đổi tương tác không bình thường như bạn đã từng, và gây ra một số đề xuất có lỗi và xem người xác nhận thách thức và đánh bại chúng bằng cách sử dụng RISC Zero zkVM!

Nó thực tế

Cuối cùng, bài đăng blog RISC Zero về một bản phát hành mới không thể thiếu số lần thực thi một vòng! Bảng dưới đây hiển thị một số chỉ số thử nghiệm mạng chính OP, đi kèm với một vài lưu ý.

1. Các số này khác với Zeth vì động cơ tạo ra và thực thi cơ bản dựa trên Kona của Optimism, được thiết kế với một số trừu tượng cấp cao trong tâm trí sẽ mang lại lợi ích cho các tối ưu hóa kế hoạch của chúng tôi để thích ứng với RISC Zero zkVM.
2. Mỗi bằng chứng dùng cho việc phái sinh và thực thi một khối L2 duy nhất. Việc chứng minh hàng loạt một chuỗi các khối có thể được tối ưu hóa để đạt được một số chu kỳ nhỏ hơn đáng kể mỗi khối bằng cách chia sẻ chi phí phái sinh dữ liệu, mà có tỷ lệ tương đối lớn.
3. Chúng tôi có một dãy các bộ tăng tốc mật mã sẽ được tích hợp sớm với zkVM, điều này sẽ giảm đáng kể chi phí chu kỳ của Kailua.

Mặc dù số lần chu kỳ tăng gấp đôi so với op-zeth, nhưng chi phí chứng minh cho mỗi giao dịch trong bảng này cải thiện từ hai đến năm lần nhờ các cải tiến trong trình chứng minh RISC Zero.

Tuyên bố từ chối trách nhiệm:

1. Bài viết này được sao chép từ [ risczeroTất cả các bản quyền thuộc về tác giả gốc [.Rami Khalil]. Nếu có ý kiến ​​phản đối về việc tái bản này, vui lòng liên hệ với Gate Họcđội ngũ và họ sẽ xử lý nó ngay lập tức.
2. Miễn trừ trách nhiệm: Các quan điểm và ý kiến được thể hiện trong bài viết này chỉ thuộc về tác giả và không đại diện cho bất kỳ lời khuyên đầu tư nào.
3. Các bản dịch của bài viết sang các ngôn ngữ khác được thực hiện bởi đội ngũ Gate Learn. Trừ khi có đề cập, việc sao chép, phân phối hoặc đạo văn các bài viết dịch là không được phép.