# Bài viết Liên quan Kiểm toán

Trung tâm Tin tức HTX cung cấp những bài viết mới nhất và phân tích chuyên sâu về "Kiểm toán", bao gồm xu hướng thị trường, cập nhật dự án, phát triển công nghệ và chính sách quản lý trong ngành tiền kỹ thuật số.

362 triệu USD đã đi đâu? Hyperliquid phản kích FUD, cuộc chiến tranh luận về lộ trình phi tập trung đằng sau bản đối chiếu

Một bài viết kỹ thuật cáo buộc Hyperliquid, một nền tảng giao dịch phái sinh, có 9 vấn đề nghiêm trọng, từ "mất khả năng thanh toán" đến chứa "cửa hậu chế độ Chúa". Điểm then chốt là khoản thiếu hụt 362 triệu USD giữa tài sản người dùng và dự trữ trên chain. Hyperliquid phản bác: Số tiền "mất tích" thực ra là tài sản native USDC đã di chuyển sang HyperEVM trong quá trình nâng cấp lên L1 độc lập. Tổng dự trữ (khoảng 4.351 tỷ USDC) khớp với số dư người dùng. Họ làm rõ nhiều cáo buộc, thừa nhận một số điểm (như 8 địa chỉ broadcast, khả năng tạm ngừng mạng) với lý do kỹ thuật hoặc bảo mật, nhưng bỏ qua hai vấn đề: đề xuất quản trị không thể truy vấn và cầu nối không có cơ chế "thoát hiểm" để rút tài sản cưỡng chế. Hyperliquid cũng chỉ trích các đối thủ (Lighter, Aster) là phụ thuộc vào "trình tự hóa tập trung", trong khi họ tự nhận minh bạch hơn nhờ trạng thái đầy đủ được lưu trên chain. Sự cố này làm nổi bật thách thức khi kiểm tra các ứng dụng chain phức tạp và cuộc tranh luận về lộ trình phi tập trung thực sự.

marsbit12/24 02:59

362 triệu USD đã đi đâu? Hyperliquid phản kích FUD, cuộc chiến tranh luận về lộ trình phi tập trung đằng sau bản đối chiếu

marsbit12/24 02:59

MoveBit thuộc BitsLab công bố nghiên cứu | Belobog: Khuôn khổ Fuzzing Move hướng đến tấn công thực tế

MoveBit, thương hiệu con của BitsLab, đã công bố nghiên cứu mới: Belobog, một khuôn khổ fuzzing (kiểm thử mờ) dành riêng cho ngôn ngữ lập trình Move trong các hợp đồng thông minh. Nghiên cứu này giải quyết thách thức lớn khi các công cụ fuzzing truyền thống thường tạo ra các chuỗi giao dịch không hợp lệ do hệ thống kiểu mạnh và ngữ nghĩa tài nguyên của Move. Belobog tiếp cận vấn đề bằng cách sử dụng chính hệ thống kiểu của Move như một "bản đồ" để hướng dẫn việc tạo ra các chuỗi giao dịch có ý nghĩa và có thể thực thi được, làm tăng đáng kể tỷ lệ mẫu thử nghiệm hiệu quả. Nó còn kết hợp thực thi concolic (kết hợp thực thi cụ thể và suy luận ký hiệu) để vượt qua các ràng buộc phức tạp và tiếp cận các nhánh mã sâu hơn. Trong đánh giá trên 109 dự án thực tế, Belobog đã phát hiện 100% lỗ hổng Critical và 79% lỗ hổng Major đã được các chuyên gia xác nhận. Quan trọng hơn, nó có thể tái tạo lại các cuộc tấn công hoàn chỉnh (full exploits) từ các sự kiện trên chain, chứng minh khả năng áp dụng trong thế giới thực. MoveBit có kế hoạch phát hành Belobog dưới dạng mã nguồn mở để cộng đồng cùng sử dụng và phát triển.

marsbit12/16 09:15

MoveBit thuộc BitsLab công bố nghiên cứu | Belobog: Khuôn khổ Fuzzing Move hướng đến tấn công thực tế

marsbit12/16 09:15

活动图片