#termmax @TermMax
Khi tôi xem xét bảo mật TermMax, tôi ít quan tâm đến con số các cuộc kiểm toán hơn là việc dấu vết kiểm toán tiết lộ hệ thống vận hành như thế nào dưới áp lực.
Sự khác biệt đó quan trọng.
Các đợt rà soát Phase 1, 2 và 3 của ABDK, cùng với các công việc liên quan đến V2 và TMX về sau, cho thấy một cơ sở mã đã liên tục bị thử thách. Phần đáng chú ý không phải là sự tồn tại của báo cáo. Mà là nhóm các vấn đề cứ tiếp tục xuất hiện xoay quanh reentrancy, logic redeem (chuộc lại), cập nhật reserve, hạch toán số dư, toán học nợ xấu và các nhánh kiểm soát tài sản.
Tôi từng thấy điều này trong DeFi. Lỗi hiển nhiên được sửa, rồi một lỗi khác lại xuất hiện ở ranh giới giữa hai hợp đồng mà khi đứng riêng thì trông có vẻ an toàn.
Đó là nơi tôi tập trung khi đánh giá TermMax.
Bản đánh giá Cantina đã báo cáo nhiều phát hiện, bao gồm các vấn đề mức độ nghiêm trọng cao, và trạng thái được công bố cho thấy các phát hiện đó đã được khắc phục. Điều đó là bằng chứng hữu ích cho một quy trình khắc phục đang diễn ra tích cực, nhưng tôi không coi “tất cả các phát hiện đã được giải quyết” là tương đương với “kiến trúc về mặt hình thức là an toàn.”
Câu hỏi lớn hơn là các bất biến (invariants).
Với một giao thức được xây dựng dựa trên token cố định, token trao đổi, đường cong order, vault và đòn bẩy, tôi muốn biết liệu các thuộc tính như bảo toàn kế toán, khả năng thanh toán (solvency) và việc thanh toán FT/XT đúng đắn có được cưỡng chế một cách cơ học qua mọi bước chuyển trạng thái có ý nghĩa hay không—không chỉ được bao phủ bởi các bài test.
Chương trình Immunefi công khai cũng là một phần khác của bức tranh. Một phần thưởng đang được triển khai sẽ tạo động lực để các nhà nghiên cứu tấn công hệ thống đã triển khai, điều đó là giá trị. Nhưng phạm vi bounty vẫn mang tính phản ứng.
Vì vậy, kết luận của tôi rất đơn giản: TermMax dường như đã trải qua nhiều vòng lặp nghiêm túc về bảo mật. Điều tôi vẫn chưa thực sự tin chắc là khoảng cách giữa “những bug đã biết được sửa” và “các bất biến kinh tế quan trọng được chứng minh là vẫn được bảo toàn một cách chắc chắn.”
Khoảng cách đó là nơi tôi sẽ tiếp tục đào sâu.
Khi tôi xem xét bảo mật TermMax, tôi ít quan tâm đến con số các cuộc kiểm toán hơn là việc dấu vết kiểm toán tiết lộ hệ thống vận hành như thế nào dưới áp lực.
Sự khác biệt đó quan trọng.
Các đợt rà soát Phase 1, 2 và 3 của ABDK, cùng với các công việc liên quan đến V2 và TMX về sau, cho thấy một cơ sở mã đã liên tục bị thử thách. Phần đáng chú ý không phải là sự tồn tại của báo cáo. Mà là nhóm các vấn đề cứ tiếp tục xuất hiện xoay quanh reentrancy, logic redeem (chuộc lại), cập nhật reserve, hạch toán số dư, toán học nợ xấu và các nhánh kiểm soát tài sản.
Tôi từng thấy điều này trong DeFi. Lỗi hiển nhiên được sửa, rồi một lỗi khác lại xuất hiện ở ranh giới giữa hai hợp đồng mà khi đứng riêng thì trông có vẻ an toàn.
Đó là nơi tôi tập trung khi đánh giá TermMax.
Bản đánh giá Cantina đã báo cáo nhiều phát hiện, bao gồm các vấn đề mức độ nghiêm trọng cao, và trạng thái được công bố cho thấy các phát hiện đó đã được khắc phục. Điều đó là bằng chứng hữu ích cho một quy trình khắc phục đang diễn ra tích cực, nhưng tôi không coi “tất cả các phát hiện đã được giải quyết” là tương đương với “kiến trúc về mặt hình thức là an toàn.”
Câu hỏi lớn hơn là các bất biến (invariants).
Với một giao thức được xây dựng dựa trên token cố định, token trao đổi, đường cong order, vault và đòn bẩy, tôi muốn biết liệu các thuộc tính như bảo toàn kế toán, khả năng thanh toán (solvency) và việc thanh toán FT/XT đúng đắn có được cưỡng chế một cách cơ học qua mọi bước chuyển trạng thái có ý nghĩa hay không—không chỉ được bao phủ bởi các bài test.
Chương trình Immunefi công khai cũng là một phần khác của bức tranh. Một phần thưởng đang được triển khai sẽ tạo động lực để các nhà nghiên cứu tấn công hệ thống đã triển khai, điều đó là giá trị. Nhưng phạm vi bounty vẫn mang tính phản ứng.
Vì vậy, kết luận của tôi rất đơn giản: TermMax dường như đã trải qua nhiều vòng lặp nghiêm túc về bảo mật. Điều tôi vẫn chưa thực sự tin chắc là khoảng cách giữa “những bug đã biết được sửa” và “các bất biến kinh tế quan trọng được chứng minh là vẫn được bảo toàn một cách chắc chắn.”
Khoảng cách đó là nơi tôi sẽ tiếp tục đào sâu.