#newt $NEWT Gần đây tôi xem vài giao thức thanh khoản đem đi tái thế chấp (liquidity re-staking) thì thấy họ đang bày trò khá “lạ mắt”. Bỗng tôi nhận ra một logic đáng sợ đến mức phải suy nghĩ kỹ: khi quay lại nhìn kiến trúc Mainnet Beta của @NewtonProtocol , tôi cảm giác mọi người có thể đang đánh giá thấp sức tàn phá của bản chất con người trong các cuộc so tài kinh tế. Newton đưa vào mạng Operator và Restaking (tái thế chấp) để “bảo hiểm” cho việc xác thực chiến lược—ý định ban đầu là dùng tiền thật để đảm bảo độ tin cậy; nhưng nếu trong tương lai có ai đó tạo ra một “thị trường mua chuộc (Bribery Market)” nhắm vào các operator của $NEWT , thì bộ logic xác thực chiến lược nhìn có vẻ chặt chẽ này liệu có bị “ký sinh” từ bên trong không? #Newt
Bạn đã từng chơi Curve hoặc Convex về quản trị hẳn đều hiểu: chỉ cần có “quyền bỏ phiếu” hoặc “quyền xác thực” có thể quyết định việc phân phối lợi ích, thì trên chuỗi sẽ xuất hiện hoạt động mua chuộc. Trong thiết kế Mainnet Beta của Newton, các operator ghép chữ ký ngưỡng để tạo ra bằng chứng mật mã, nhằm xác định liệu một thao tác lớn trong kho quỹ có “đúng chiến lược” hay không. Nếu một giao thức DeFi nào đó (hoặc một kẻ tấn công) muốn cho “Intent (ý định) rủi ro cao” của mình đi qua suôn sẻ, nhưng không trực tiếp tấn công hợp đồng, mà lại thông qua cơ chế mua chuộc ngoài chuỗi hoặc trên chuỗi, nhắm mục tiêu “mua” ai đó trong mạng để vượt ngưỡng tỷ lệ operator thì sao?
Thực ra điều này chạm đến điểm yếu mềm nhất của bảo mật mô-đun: sự đồng thuận kinh tế có thể bị “kinh doanh chênh lệch và bọc gói”.
Ngay khi xuất hiện các token thanh khoản bên thứ ba “được phái sinh” phục vụ mạng xác thực của Newton (ví dụ: stNEWT hoặc rNEWT), tài sản cơ sở và quyền hưởng lợi của operator sẽ bị lồng ghép, đóng gói rồi đem bán từng lớp. Lúc đó, đằng sau các node xác thực trên Mainnet của Newton có thể không phải là những đơn vị quản trị rủi ro coi trọng danh tiếng, mà chỉ là một nhóm đầu cơ theo đuổi lợi nhuận ngắn hạn. Họ quan tâm duy nhất là lợi nhuận từ việc mua chuộc có cao không, chứ không phải rốt cuộc quy tắc Policy kia có bị sửa đổi theo dụng ý xấu hay không. “Rỗng hóa chiến lược” do cái kiểu “đệ quy con búp bê kinh tế” (economic nesting) gây ra—thứ này mọi công thức toán học và bằng chứng ZK đều không thể che chắn được từ lớp nền.
Vì vậy, khi tôi thấy Mainnet Beta hiện đang vận hành ổn định, tôi vẫn có một cảm giác như đang quan sát một thí nghiệm trong lý thuyết trò chơi. Thách thức lớn nhất của Newton chưa bao giờ là viết ra một công cụ engine Rego hoàn hảo, mà là ngay từ đầu phải thiết kế cơ chế sao cho chống lại được việc “tái cấu trúc kinh tế và nội hao do mua chuộc” chắc chắn sẽ xuất hiện trong tương lai.
Bạn đã từng chơi Curve hoặc Convex về quản trị hẳn đều hiểu: chỉ cần có “quyền bỏ phiếu” hoặc “quyền xác thực” có thể quyết định việc phân phối lợi ích, thì trên chuỗi sẽ xuất hiện hoạt động mua chuộc. Trong thiết kế Mainnet Beta của Newton, các operator ghép chữ ký ngưỡng để tạo ra bằng chứng mật mã, nhằm xác định liệu một thao tác lớn trong kho quỹ có “đúng chiến lược” hay không. Nếu một giao thức DeFi nào đó (hoặc một kẻ tấn công) muốn cho “Intent (ý định) rủi ro cao” của mình đi qua suôn sẻ, nhưng không trực tiếp tấn công hợp đồng, mà lại thông qua cơ chế mua chuộc ngoài chuỗi hoặc trên chuỗi, nhắm mục tiêu “mua” ai đó trong mạng để vượt ngưỡng tỷ lệ operator thì sao?
Thực ra điều này chạm đến điểm yếu mềm nhất của bảo mật mô-đun: sự đồng thuận kinh tế có thể bị “kinh doanh chênh lệch và bọc gói”.
Ngay khi xuất hiện các token thanh khoản bên thứ ba “được phái sinh” phục vụ mạng xác thực của Newton (ví dụ: stNEWT hoặc rNEWT), tài sản cơ sở và quyền hưởng lợi của operator sẽ bị lồng ghép, đóng gói rồi đem bán từng lớp. Lúc đó, đằng sau các node xác thực trên Mainnet của Newton có thể không phải là những đơn vị quản trị rủi ro coi trọng danh tiếng, mà chỉ là một nhóm đầu cơ theo đuổi lợi nhuận ngắn hạn. Họ quan tâm duy nhất là lợi nhuận từ việc mua chuộc có cao không, chứ không phải rốt cuộc quy tắc Policy kia có bị sửa đổi theo dụng ý xấu hay không. “Rỗng hóa chiến lược” do cái kiểu “đệ quy con búp bê kinh tế” (economic nesting) gây ra—thứ này mọi công thức toán học và bằng chứng ZK đều không thể che chắn được từ lớp nền.
Vì vậy, khi tôi thấy Mainnet Beta hiện đang vận hành ổn định, tôi vẫn có một cảm giác như đang quan sát một thí nghiệm trong lý thuyết trò chơi. Thách thức lớn nhất của Newton chưa bao giờ là viết ra một công cụ engine Rego hoàn hảo, mà là ngay từ đầu phải thiết kế cơ chế sao cho chống lại được việc “tái cấu trúc kinh tế và nội hao do mua chuộc” chắc chắn sẽ xuất hiện trong tương lai.