Phút thứ 9, kết luận nên được nâng cấp lên bước nào?

Chuỗi phạt EOTS của @BabylonLabs_io có một bản ghi trên testnet công khai: sau khi một Finality Provider bị kích hoạt nghi ngờ double-sign, chỉ sau 8 phút 42 giây, phần vốn cam kết tương ứng đã bị giao thức đánh dấu là slashable. Câu trả lời chỉ có thể là "hành động đánh dấu thu phạt cho lần phạt đó đã hoàn thành", không được viết thẳng "mô hình an ninh không thể bị bẻ gãy".

Sự cố đến từ việc hai chiếc đồng hồ bấm giờ bị buộc vào cùng một máy chạy bộ.

Chiếc đồng hồ bấm nhanh bắt đầu đếm từ khoảnh khắc nghi ngờ double-sign được kích hoạt, và chỉ bao phủ hành động đánh dấu của giao thức. Nó dừng ở phút thứ 8 phút 42 giây, có thể xác nhận một lần phát hiện thành công; nó không thấy được hồ sơ rằng Provider đó trước đó đã sản xuất block bình thường liên tục trong 47 ngày, và cũng không quan sát được cách quản lý khóa riêng của các Provider khác cùng với phân phối sao lưu của họ. Nếu dùng đồng hồ bấm nhanh như điểm tổng kết thể chất, thì bạn sẽ nâng một cú nước rút thành cả một quy trình SOP thể lực.

Chiếc đồng hồ bấm chậm không có tiếng chuông tan học ở phút thứ 9. Nó còn mang theo yếu tố phối hợp và điều kiện dài hạn: trên Explorer công khai đã có bản ghi rằng một Provider đã bị xâm nhập do khiếm khuyết trong phương án sao lưu khóa riêng nhưng chưa được phát hiện kịp thời; 8 phút 42 giây đó chỉ là một bản ghi giao dịch đơn lẻ trên testnet, không phải mẫu số về tốc độ phản hồi của toàn bộ Provider trên mainnet; thuộc tính “có thể trích xuất” của EOTS phụ thuộc vào việc người giám sát trong chuỗi chủ động nộp bằng chứng gian lận, mức độ phi tập trung của mạng giám sát và tính bền vững về động lực vẫn đang được quan sát, và cũng chưa thay thế được chữ ký “tuyệt đối an toàn”. Cả ba ý đó không thể được đồng hồ bấm nhanh bổ sung đọc lại.

Ngược lại, một lần bỏ sót không thể khiến đồng hồ bấm chậm bị phán là vĩnh viễn mất hiệu lực. Trạng thái trung thực có thể đưa ra hiện tại là: hành động đánh dấu thu phạt trong một lần phạt có thể hoàn thành, còn phạm vi giám sát xuyên mạng và độ đàn hồi của mainnet vẫn thiếu những bằng chứng khác nhau. Khi lại thấy “8 phút 42 giây”, hãy hỏi trước việc bắt đầu tính giờ từ lúc nào và máy chạy bộ thuộc hành động nào; phút thứ 9 không cần vội đổi trạng thái đánh giá an toàn.
#baby $BABY