Thử thách OP Rollup hiếm khi xảy ra, "giả định lạc quan" có đúng không?

Người viết: Haotain

Tất cả chúng ta đều biết rằng OP-Rollup có thời gian thử thách 7 ngày, vấn đề là cho đến nay vẫn chưa có Battle-test hiệu quả nào xảy ra, ban đầu được cho là lạc quan, nhưng không ngờ lại thực sự “lạc quan”?

Tại sao OP-Rollup hiếm khi thách thức các trường hợp? Điều gì sẽ xảy ra nếu Sequencer được phép làm điều ác mà không gặp thử thách? OP Stack có phải là một động thái đền bù khác không? BÓNG của Arbitrum có thể hữu ích như thế nào? Sau khi đọc bài viết này, bạn có thể hiểu sâu hơn về OP-Rollup.

Nói một cách đơn giản, chuỗi layer2 sẽ xử lý một số lượng lớn giao dịch vào mạng chính. Mạng chính sẽ xác nhận rằng các giao dịch L2 đã vượt qua giai đoạn xác minh Xác thực trước khi thay đổi trạng thái. Phương thức xác minh OP-Rollup hiện tại là chống gian lận , tức là, bất kỳ người xác nhận nào của chuỗi L2. Bạn có thể bắt đầu một thử thách để đặt câu hỏi. Trong vòng 7 ngày, nếu người thách thức thành công, mạng chính sẽ từ chối thay đổi trạng thái cuối cùng và L2 cần đóng gói lại và gửi tuyên bố trạng thái mới. Nếu người thách đấu không thành công thì tài sản cầm cố sẽ bị tịch thu.

Mô hình gửi trước rồi thử thách này rất có ý nghĩa. Xét cho cùng, mục đích của layer2 với tư cách là lớp mở rộng là đặt hiệu quả lên hàng đầu. Tuy nhiên, bạn phải có một “thử thách” thực sự xảy ra đúng không? Dù có ít thử thách cũng có lý, không có thử thách nhưng hơi vô lý khi khiến mọi người tin rằng chuỗi L2 sẽ không làm ác 100%.

Ở giai đoạn này, Optimism không có cơ chế thử thách, nếu bạn hỏi, họ sẽ cho bạn biết Đang phát triển, không biết có phát triển thực tế hay không, nhưng nếu Sequencer của nó được tập trung hóa thì thực sự không cần thử thách ở giai đoạn này. Bạn có muốn tự tát vào mặt mình không, bảng mainnet có trung thành không? Arbitrum có cơ chế thử thách beta nội bộ riêng của mình là BÓNG, cơ chế này đang cố gắng thay đổi đối tượng thử thách từ được phép thành không được phép, do đó mở đường cho sự phân cấp của Sequencer.

Vì cơ chế thử thách thực chất là cơ chế tự điều chỉnh nên nếu thử thách xảy ra sẽ làm chậm hoạt động của mạng hoặc gây ra thời gian ngừng hoạt động trong trường hợp xấu nhất.Chúng tôi sẽ không tích cực khuyến khích việc xuất hiện thử thách trừ khi thực sự cần thiết. Nếu cơ chế khuyến khích thử thách được thiết kế không hợp lý và một số nút độc hại sẵn sàng trả rất nhiều tiền để thử thách thì hoàn toàn có khả năng mục tiêu là khiến mạng bị sập do những kẻ bất lương. Vì vậy, người chơi lớp 2 trên đường đua OP-Rollup sẽ rất thận trọng khi thiết kế cơ chế thử thách.

Vậy điều gì sẽ xảy ra nếu chúng ta không thử thách? Một ví dụ đơn giản: layer2 có thể xây dựng một giao dịch chuyển tiền sai trong Sequencer, sau đó Trình xác thực sẽ vượt qua quá trình xác minh. Sau khi mạng chính xác nhận, giao dịch chuyển tiền được tạo ra ngoài ý muốn sẽ được rút hợp pháp trên mạng chính. Tác động lên mạng lớp 2 có thể tưởng tượng được.

Bây giờ Sequencer đã được tập trung hóa, bạn không cần phải lo lắng về vấn đề này nữa. Nó rất đơn giản. Việc chuyển tài sản của bạn sang bên trái và bên phải là không có ý nghĩa gì. Nhưng nếu Sequencer được phân cấp thì sao? Nếu kẻ trộm xuất hiện ở bất kỳ nút nào trong số này, vấn đề này sẽ trở nên không thể tránh khỏi.

Ở một mức độ nào đó, kịch bản của Optimism là Sequencer cần được tập trung hóa vì nó sợ bị thách thức ác ý. Bởi vì Sequencer được tập trung hóa nên không cần phải thách thức nó. Chà, nó có lý.

Nhưng câu chuyện này rõ ràng là chưa đủ hấp dẫn với Pitching. Do đó, Optimism đã chọn phương pháp phân phối mềm của OP Stack để giải quyết vấn đề tập trung hóa Sequencer. Bởi vì nếu một ngày nào đó, gia đình SuperChain được thành lập, mỗi người trong gia đình OP Stack sẽ có một ghế trong các ghế quản trị và ra quyết định của Sequencer, đồng thời cùng nhau quản lý và đưa ra quyết định. -điểm tập trung? Hiện tại, Optimism đang phát triển OP Stack khá nhanh, ít nhất là nhanh hơn cơ chế thách thức đang phát triển…

Kịch bản của Arbitrum tương đối trung thực. Vì mọi người đều muốn thấy chế độ thử thách diễn ra nên Arbitrum sẽ xây dựng một tập hợp các chế độ. Bold trong thử nghiệm nội bộ đang làm điều này. Tôi đã nghiên cứu rõ ràng cơ chế hoạt động phức tạp của Bold. Hãy lấy bản chất và đơn giản hóa nó và chia sẻ nó:

1. Layer2 đưa ra tuyên bố Xác nhận trạng thái cho hợp đồng Rollup mạng chính;

2. Quản lý thử thách đặt câu hỏi cho Xác nhận và sau đó bắt đầu thử thách;

3. Mỗi khi bắt đầu một thử thách, một tài sản phải được thế chấp và sau đó bên bị thách thức có thể gửi bằng chứng cho Edge Tracker, bao gồm các thay đổi trạng thái, lệnh gọi chức năng, tham số và các chi tiết thực thi khác của từng bước trong quá khứ;

4. Nếu người thách đấu không đồng ý với bằng chứng lần này thì cần tiếp tục cầm cố tài sản và tiếp tục thách thức, nhưng lần nào cũng sẽ phải trả giá;

5. Người theo dõi Chain của bên thứ ba giám sát bằng chứng được gửi trong quá trình thử thách và đưa ra một tài liệu tham khảo nhất định để xác định bên nào trung thực. Cuối cùng, hợp đồng edgeChallengeManager xác định ai thắng và ai thua.

Nếu chế độ Thử thách táo bạo này thực sự được áp dụng thì sẽ là một giải pháp tốt, nhưng hãy thử nghĩ từ khía cạnh xem, tại sao người thách đấu lại bỏ tiền ra thử thách? Nếu đặt mức khuyến khích quá cao sẽ có người bằng mọi giá thách thức, nếu đặt mức khuyến khích quá nhỏ thì số tiền thu được sẽ không cao bằng tiền phạt, thách thức có ý nghĩa gì? Vì vậy, theo tôi, ngay cả khi cơ chế thách thức BÓNG được triển khai trong tương lai, nó sẽ giống như các cuộc tập trận quân sự lặp đi lặp lại và tác động thực tế sẽ bị hạn chế.

Hãy tưởng tượng, nếu thử thách thành công thì sao? Trong thời gian thử thách 7 ngày, nếu người thách đấu thành công, L2 sẽ âm thầm thực hiện hard fork, ai có thể cảm nhận được? Hơn nữa, tại sao không điều chỉnh trạng thái mạng bằng cách nâng cấp hợp đồng Rollup mạng chính?

Vì vậy, tác động của thử thách OP-Rollup đối với người chơi layer2 là không lớn, điều quan trọng là sự tin tưởng và đồng thuận của OP-Rollup trong tâm trí mọi người.