Tôi vẫn luôn suy ngẫm về cơ chế trò chơi giữa operator và challenger trong TBV, và phát hiện một chi tiết dễ bị bỏ qua: phía chính thức nhấn mạnh rằng an toàn hệ thống được đảm bảo bằng mật mã. Tuy nhiên, trong những biến động cực đoan của thị trường, để duy trì sự công bằng của trò chơi, thực tế challenger cần có đủ “khả năng chi tiền” để trang trải phí thách thức trên chuỗi Bitcoin.
Tôi đã xem kỹ lại quy trình giải quyết tranh chấp của BitVM3. Khi challenger phát hiện operator làm sai, challenger phải khởi tạo giao dịch thách thức trên mainnet. Dù BitVM3 đã nén chi phí tranh chấp từ vài MB xuống chỉ còn vài trăm byte, phí Gas trên chuỗi đã giảm đáng kể, nhưng vẫn không phải là miễn phí. Vấn đề nằm ở chỗ: nếu operator thực hiện một kiểu tấn công “mang tính tống tiền”, chẳng hạn cố tình gửi một trạng thái không hợp lệ ngoài chuỗi, thì họ đang đặt cược rằng challenger, trong bối cảnh phí BTC đang cao, sẽ không muốn trả khoản phí thách thức đó. Đặc biệt khi lượng tài sản TBV được khóa rất lớn, lợi ích từ việc làm sai của operator có thể vượt xa chi phí thách thức của challenger; nhưng bản thân hành vi thách thức đối với từng challenger riêng lẻ lại có thể là một thương vụ “thắng kiện nhưng thua tiền” vì cơ chế thưởng sau khi thách thức thành công hiện nay, theo như những gì thấy được, chủ yếu hướng tới lớp bảo mật của hệ thống, chứ không phải cung cấp động lực kinh tế đủ cho người thách thức. $BTC
Tôi đã xem trong mô hình kinh tế của TBV về phần thiết lập phần thưởng khi thách thức, dường như không có một cơ chế bảo hiểm rõ ràng kiểu hệ thống tự động chi trả phí Gas cho người thách thức và đồng thời cấp thêm tiền thưởng. Điều này dẫn tới một “bi kịch của tài sản công” trong lý thuyết trò chơi: ai cũng trông chờ người khác đi thách thức, cuối cùng không ai hành động. Một hệ thống dựa vào một số tác nhân kinh tế lý trí tự bỏ tiền ra để duy trì hoạt động, so với câu chuyện “mật mã bảo mật tuyệt đối”, thì ở giữa vẫn còn một lớp bài toán kinh tế thực tế. #baby
Điều này khiến tôi liên tưởng nhiều hơn đến vai trò của BABY trong đó. Nếu trong tương lai BABY có thể được thiết kế để bù đắp cho challenger hoặc trở thành một phần của cơ chế khuyến khích thách thức, thì có lẽ có thể lấp được khoảng trống này. Nhưng ít nhất hiện tại, khi đánh giá @BabylonLabs_io mô hình an toàn, ngoài việc xem mật mã, vẫn phải theo dõi sát biến số thực tế là chi phí trò chơi trên chuỗi. $BABY