Tác giả: @yyy

Coinbase thông báo rằng họ sẽ tham gia thị trường và xây dựng L2 dựa trên OP Stack - @BuildOnBase Tâm lý "Bullish on Optimism" một lần nữa được khơi dậy. Nhân cơ hội này, dòng tweet này sẽ nói về giai đoạn thử thách của Sự lạc quan.

Như chúng ta đã biết, việc rút tiền lớp thứ hai của Optimism sang mạng chính Ethereum cần có thời gian thử thách 7 ngày.

Vậy tại sao chính xác là 7 ngày? 3 ngày? Không phải 5 ngày à?

Trước khi trả lời câu hỏi này, trước tiên chúng ta hãy hiểu tại sao cần phải có giai đoạn thử thách.

Rollups cải thiện hiệu suất của mạng chính Ethereum bằng cách tách lớp thực thi khỏi Ethereum. Điều này có nghĩa là các giao dịch được thực hiện trên lớp thứ hai, nhưng để kế thừa tính bảo mật của mạng chính Ethereum, các giao dịch xảy ra trên lớp thứ hai phải được xác minh trên mạng chính.

Nói một cách đơn giản, mạng chính Ethereum cần xác nhận rằng giao dịch được gửi bởi trình sắp xếp thứ tự thực sự xảy ra ở lớp thứ hai, tức là tính hợp lệ của giao dịch.

Rollup được chia thành zk-Rollup và Optimistic Rollup do các phương pháp xác minh tính hợp lệ của giao dịch khác nhau.

Các phương pháp xác minh chủ yếu được phân thành hai loại: bằng chứng không có kiến ​​thức và bằng chứng gian lận. Theo cơ chế chứng minh không có kiến ​​thức, các giao dịch có kết quả gần như ngay lập tức.

Đối với ORU dựa trên bằng chứng gian lận, tính cuối cùng của giao dịch phụ thuộc vào độ dài của giai đoạn thử thách, điều này giải thích tại sao phải mất 7 ngày để tiền Optimism được rút từ lớp thứ hai sang mạng chính.

Theo cơ chế ORU, điều lạc quan là tất cả các giao dịch Tổng hợp do trình sắp xếp trình tự gửi đều hợp lệ. Sau đó, trong giai đoạn thử thách, người xác minh có thể bắt đầu bằng chứng gian lận nếu phát hiện giao dịch không hợp lệ.

Nếu không có ai thách thức sau thời gian thử thách, giao dịch sẽ được coi là hợp lệ theo mặc định và giao dịch sẽ là cuối cùng tại thời điểm này.

Nhưng thời gian thử thách có thực sự kéo dài bảy ngày không? Trước tiên, hãy đơn giản hóa toàn bộ quy trình thử thách: người xác minh phát hiện ra một giao dịch không hợp lệ bằng cách xây dựng lại gốc trạng thái và sau đó đưa ra bằng chứng gian lận. Chuỗi hành động này cần có thời gian, đồng nghĩa với việc thời gian thử thách không thể bằng 0.

Chúng tôi giả định rằng quá trình thử thách trên diễn ra rất nhanh, hoàn thành 10 khối (khoảng 2 phút).

Tất nhiên, không thể có phản hồi nhanh như vậy nên nếu chúng ta giảm thời gian xuống 10 lần, xuống còn 100 khối (khoảng 20 phút) thì thời gian này sẽ ngắn hơn rất nhiều so với 50.400 khối (7 ngày).

Cuộc thảo luận ở trên dựa trên tình huống lý tưởng nhất. Điều gì sẽ xảy ra nếu ai đó làm điều ác trên mạng? Mất bao lâu để phát hiện ra hành vi sai trái?

Hay nói cách khác, thời gian thử thách cần kéo dài ít nhất là bao lâu để ngăn chặn hành vi xấu xa? Hành vi xấu ở đây là ngăn chặn những người xác nhận nhận được bằng chứng gian lận bằng cách xuất bản một số lượng lớn giao dịch để tăng gas trong một khoảng thời gian.

Ở đây, chúng tôi đưa ra một giả định khác, giả định rằng có rủi ro là 2 tỷ đô la Mỹ đối với Lạc quan và thủ phạm sẵn sàng chi 1 triệu đô la Mỹ tiền tip (phí ưu tiên) cho mỗi khối cho các giao dịch "chạy trước" có chứa bằng chứng gian lận.

Khi đó, thời gian tối đa mà mạng có thể bị “chiếm quyền điều khiển” là 2000 khối (6,67 giờ). Tất nhiên, những ví dụ trước đều dựa trên một số giả định rất đơn giản và thô sơ.

Có vẻ như dù nhìn thế nào đi nữa thì thời gian thử thách không nhất thiết phải kéo dài tới 7 ngày. Thật khó để hiểu được mối quan hệ phi tuyến tính giữa độ dài của giai đoạn thử thách và mức độ an toàn.

Có lẽ 7 là một con số rất có ý nghĩa đối với người sáng lập Optimism, giống như cách mọi người đoán rằng Satoshi Nakamoto là một người đam mê bóng đá trong chu kỳ halving Bitcoin kéo dài 4 năm.

Vì vậy, liệu thời gian thử thách đối với ORU có thể rút ngắn xuống còn 3-5 ngày mà không ảnh hưởng đến bảo mật không? Có, nhưng nó không được tối ưu hóa cho trải nghiệm người dùng.

Còn việc rút ngắn thời gian thử thách xuống còn 1-2 ngày thì sao? Có vẻ như việc tối ưu hóa trải nghiệm người dùng một cách hiệu quả là điều hợp lý.

@0xMantle, một ORU do BitDAO ươm tạo, có thể rút ngắn thời gian thử thách xuống còn 1-2 ngày. Logic tối ưu hóa của giai đoạn thử thách dựa trên sơ đồ MPC.

Nói một cách đơn giản, trình sắp xếp chuỗi không trực tiếp gửi lô giao dịch tới Ethereum mà trước tiên gửi nó đến mạng MPC, mạng này được các nút MPC cùng ký. Sau khi xác nhận rằng giao dịch là hợp lệ, nó sẽ được gửi tới Ethereum.

Vì vậy, sự khác biệt cốt lõi là:

Optimism gửi lô chứa trạng thái gốc tới Ethereum làm kết quả thực thi;

Mantle gửi các lô chứa gốc trạng thái được ký bởi các nút MPC dưới dạng kết quả thực thi cho Ethereum.

Mục đích là để giảm rủi ro tin cậy đối với kết quả thực thi Tổng hợp.

Nhưng trong phân tích cuối cùng, xác minh MPC vẫn là một giải pháp xác minh ngoài chuỗi, tốt hơn là không có gì và mang lại sự thoải mái hơn về mặt tâm lý cho người dùng.

Sử dụng một phép ẩn dụ không phù hợp, sơ đồ xác minh MPC giống như sơ đồ zk phi tập trung. Tính bảo mật của cái trước dựa trên các giả định kinh tế, trong khi cái sau dựa trên xác minh bằng mật mã.

Trên đây là một số suy nghĩ và thảo luận về giai đoạn thử thách của ORU. Chúng không logic lắm và nên được sử dụng làm gợi ý. BTW, tôi vẫn mong muốn được thấy ORU (mức chia sẻ thời gian) với thời gian thử thách được rút ngắn đáng kể trong tương lai.