Một sự thật khó chịu còn hữu ích hơn một sự thật thoải mái, nên đây là một sự thật khó chịu về Dusk Network: một cuộc kiểm toán nội bộ hoàn tất vào đầu năm 2026 đã phát hiện 39 vấn đề trong cơ sở mã sản xuất của mình, trong đó có bảy vấn đề ở mức nghiêm trọng—nhiều hơn một năm sau khi mainnet đã bắt đầu xử lý giá trị thực.
Bốn nguyên nhân gốc đằng sau các phát hiện nghiêm trọng đó đáng được nêu thẳng, thay vì làm mờ đi. Hai nguyên nhân xuất phát từ việc quản lý quyền sở hữu bộ nhớ không vững trong Piecrust, môi trường sandbox của máy ảo, có thể khiến hai nút trung thực thực thi cùng một đoạn mã và âm thầm tạo ra các kết quả khác nhau—một nhóm lỗi còn tệ hơn cả crash, vì nó có thể vẫn “vô hình”. Một nguyên nhân khác đến từ một nhánh giải tuần tự phía máy chủ (host) tin cậy các byte do hợp đồng chi phối mà không xác thực chúng trước, biến một lỗi ở cấp hợp đồng thành một vấn đề về tính toàn vẹn của nút. Nguyên nhân nữa nằm ở cách Phoenix, mô hình giao dịch được che chắn, ràng buộc logic tính phí và hoàn phí—một khoảng trống có thể tự nó mở ra các lối dẫn đến thổi phồng cung, dừng chuỗi, và chuyển hướng hoàn phí cùng lúc. Nguyên nhân cuối cùng là một điểm yếu trong cấu trúc mật mã của sơ đồ chữ ký BLS, nằm ngay dưới lớp xác thực đồng thuận. Việc điều tra các khai thác trước đó đồng nghĩa phải rà soát nhật ký và các bằng chứng cấp host trên toàn bộ hệ thống, không chỉ kiểm tra một mẫu lỗi duy nhất trong lịch sử giao dịch.
Dusk cho biết cuộc điều tra của chính họ không phát hiện bằng chứng bảy vấn đề đó đã bị khai thác trước khi bản vá được phát hành như một hard fork vào tháng 3 năm 2026, là bản phát hành lớn nhất của họ kể từ khi ra mắt. Tôi không có cách nào để xác nhận độc lập tuyên bố đó, và cũng không ai đọc nội dung này có thể xác nhận được, dù chỉ riêng việc NPEX dự kiến chuyển hơn 300 triệu euro sang cơ sở mã này cũng cho thấy mức độ rủi ro khi làm đúng chưa bao giờ là thấp. Điều tôi rút ra lại hỗn hợp hơn là chỉ sự trấn an thuần túy: việc phát hiện điều này trước khi bị khai thác là thật sự tốt, nhưng đồng thời cũng có nghĩa là một đoạn mã có hậu quả lớn đã chạy trong sản xuất hơn một năm, mang theo những khiếm khuyết mà chưa ai tìm thấy. Một cuộc kiểm toán “sạch” là một cột mốc. Nó không phải là một cam kết duy trì liên tục.
@Dusk $DUSK #dusk
Bốn nguyên nhân gốc đằng sau các phát hiện nghiêm trọng đó đáng được nêu thẳng, thay vì làm mờ đi. Hai nguyên nhân xuất phát từ việc quản lý quyền sở hữu bộ nhớ không vững trong Piecrust, môi trường sandbox của máy ảo, có thể khiến hai nút trung thực thực thi cùng một đoạn mã và âm thầm tạo ra các kết quả khác nhau—một nhóm lỗi còn tệ hơn cả crash, vì nó có thể vẫn “vô hình”. Một nguyên nhân khác đến từ một nhánh giải tuần tự phía máy chủ (host) tin cậy các byte do hợp đồng chi phối mà không xác thực chúng trước, biến một lỗi ở cấp hợp đồng thành một vấn đề về tính toàn vẹn của nút. Nguyên nhân nữa nằm ở cách Phoenix, mô hình giao dịch được che chắn, ràng buộc logic tính phí và hoàn phí—một khoảng trống có thể tự nó mở ra các lối dẫn đến thổi phồng cung, dừng chuỗi, và chuyển hướng hoàn phí cùng lúc. Nguyên nhân cuối cùng là một điểm yếu trong cấu trúc mật mã của sơ đồ chữ ký BLS, nằm ngay dưới lớp xác thực đồng thuận. Việc điều tra các khai thác trước đó đồng nghĩa phải rà soát nhật ký và các bằng chứng cấp host trên toàn bộ hệ thống, không chỉ kiểm tra một mẫu lỗi duy nhất trong lịch sử giao dịch.
Dusk cho biết cuộc điều tra của chính họ không phát hiện bằng chứng bảy vấn đề đó đã bị khai thác trước khi bản vá được phát hành như một hard fork vào tháng 3 năm 2026, là bản phát hành lớn nhất của họ kể từ khi ra mắt. Tôi không có cách nào để xác nhận độc lập tuyên bố đó, và cũng không ai đọc nội dung này có thể xác nhận được, dù chỉ riêng việc NPEX dự kiến chuyển hơn 300 triệu euro sang cơ sở mã này cũng cho thấy mức độ rủi ro khi làm đúng chưa bao giờ là thấp. Điều tôi rút ra lại hỗn hợp hơn là chỉ sự trấn an thuần túy: việc phát hiện điều này trước khi bị khai thác là thật sự tốt, nhưng đồng thời cũng có nghĩa là một đoạn mã có hậu quả lớn đã chạy trong sản xuất hơn một năm, mang theo những khiếm khuyết mà chưa ai tìm thấy. Một cuộc kiểm toán “sạch” là một cột mốc. Nó không phải là một cam kết duy trì liên tục.
@Dusk $DUSK #dusk
