# 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ố.

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

MEXC Xác Nhận Bằng Chứng Dự Trữ Tháng 12: Tài Sản Chính Được Đảm Bảo Đầy Đủ, Tỷ Lệ Bao Phủ BTC Đạt 141%

Báo cáo Proof of Reserve (PoR) tháng 12 của sàn giao dịch MEXC xác nhận tất cả tài sản được kiểm toán đều có tỷ lệ dự trữ trên 100%, trong đó BTC đạt 141%, USDT 126%, USDC 127% và ETH 107%. MEXC hiện nắm giữ 5.401,59 BTC, 2,32 tỷ USDT, 126,5 triệu USDC và 57.457,10 ETH trong dự trữ. Hệ thống PoR sử dụng Merkle Tree cho phép người dùng tự xác minh số dư, đồng thời hợp tác với công ty bảo mật Hacken để thực hiện kiểm toán độc lập hàng tháng. COO Vugar Usi Zade nhấn mạnh cam kết duy trì tính minh bạch và bảo mật tài sản. Báo cáo đầy đủ đã được công bố trên trang chính thức của MEXC.

TheNewsCrypto12/15 10:20

MEXC Xác Nhận Bằng Chứng Dự Trữ Tháng 12: Tài Sản Chính Được Đảm Bảo Đầy Đủ, Tỷ Lệ Bao Phủ BTC Đạt 141%

TheNewsCrypto12/15 10:20

Top 8 Công Ty Kiểm Toán Hợp Đồng Thông Minh Web3 Cho Năm 2026

Dưới đây là bản tóm tắt về 8 công ty kiểm toán hợp đồng thông minh Web3 hàng đầu năm 2026, được lựa chọn dựa trên dữ liệu nghiên cứu, tác động bảo mật thực tế và đóng góp cho ngành. **1. Sherlock:** Đứng đầu nhờ mô hình bảo mật vòng đời, kết hợp kiểm toán hợp tác, chương trình tiền thưởng lỗi và công cụ AI để bảo vệ toàn diện trước và sau khi triển khai. **2. Halborn:** Chuyên về bảo mật blockchain full-stack, lý tưởng cho các giao thức có cơ sở hạ tầng ngoài chuỗi phức tạp và các thành phần vận hành. **3. Trail of Bits:** Mạnh về kiểm toán cấp độ nghiên cứu cho các hệ thống phức tạp như rollups, cầu nối chuỗi chéo và các giao thức với mật mã tùy chỉnh. **4. BlockSec:** Cung cấp giải pháp tích hợp giữa kiểm toán và giám sát sự cố theo thời gian thực, dựa trên phân tích các vụ tấn công thực tế. **5. ConsenSys Diligence:** Phù hợp nhất cho các dự án tập trung vào Ethereum, với kinh nghiệm sâu về DeFi và nghiên cứu lõi của Ethereum. **6. Nethermind Security:** Mạnh về phương pháp chính thức (formal verification) và kiểm toán cho các hệ thống kết hợp logic on-chain với các dịch vụ off-chain và thành phần ZK. **7. Quantstamp:** Lựa chọn tốt cho các dự án cần một thương hiệu lâu năm với khối lượng kiểm toán lớn trải dài trên nhiều hệ sinh thái blockchain. **8. QuillAudits:** Phù hợp với các nhóm coi trọng khối lượng kiểm toán cao và báo cáo bảo mật công khai thường xuyên. Xu hướng chung trong năm 2026 là chuyển dịch từ các cuộc kiểm toán đơn lẻ sang các hệ thống bảo mật kết hợp giữa đánh giá thủ công, mạng lưới researcher, phân tích tự động và các biện pháp chia sẻ rủi ro tài chính.

TheNewsCrypto12/11 06:11

Top 8 Công Ty Kiểm Toán Hợp Đồng Thông Minh Web3 Cho Năm 2026

TheNewsCrypto12/11 06:11

Nhà Giao Dịch Tiền Mã Hóa Canada Gặp Rắc Rối? Cơ Quan Quản Lý Cảnh Báo 40% Có Thể Gian Lận Thuế

Cơ quan Thuế Canada (CRA) cảnh báo khoảng 40% người dùng nền tảng crypto có nguy cơ gian lận thuế, theo báo cáo mới đây. Khoảng 15% không khai báo thuế, trong khi 30% khác bị đánh giá có rủi ro cao do khai báo thiếu hoặc vi phạm quy định. Đơn vị chuyên trách của CRA với 35 kiểm toán viên đã xử lý hơn 230 hồ sơ liên quan đến crypto, thu hồi ít nhất 72-100 triệu CAD tiền thuế. Cơ quan này cũng yêu cầu tòa án buộc các nền tảng như Dapper Labs cung cấp dữ liệu người dùng để truy vết giao dịch. Dù đã thu hồi số tiền lớn, CRA chưa khởi tố hình sự vụ nào từ năm 2020 do khó chứng minh yếu tố cố ý trốn thuế. Thông điệp rõ ràng cho nhà đầu tư và sàn giao dịch: việc lưu trữ hồ sơ minh bạch là bắt buộc, và các cơ quan quản lý đang tăng cường giám sát.

bitcoinist12/10 12:03

Nhà Giao Dịch Tiền Mã Hóa Canada Gặp Rắc Rối? Cơ Quan Quản Lý Cảnh Báo 40% Có Thể Gian Lận Thuế

bitcoinist12/10 12:03

Hacken Công Bố Báo Cáo Kiểm Toán Của MEXC, Xác Nhận Tài Sản Được Đảm Bảo Đầy Đủ Và Nâng Cao Tiêu Chuẩn Minh Bạch

Sàn giao dịch tiền điện tử MEXC đã công bố báo cáo Proof of Reserves (PoR) độc lập mới nhất do Hacken, công ty bảo mật và kiểm toán blockchain, thực hiện. Báo cáo, được hoàn thành vào ngày 26/11/2025, xác nhận MEXC nắm giữ đủ tài sản trên-chain để trang trải toàn bộ các khoản nợ của người dùng, với tỷ lệ bao phủ cho các tài sản chính như BTC, ETH, USDT và USDC luôn vượt quá 100%. Cuộc kiểm toán đánh giá toàn diện các khoản dự trữ, sử dụng các phương pháp chuẩn ngành, bao gồm cả xác minh Merkle-tree, và xác nhận số dư người dùng được đảm bảo đầy đủ. Các ví dự trữ được xác định trên nhiều mạng lưới như Bitcoin, Ethereum, Solana và nhiều mạng khác. Lãnh đạo MEXC nhấn mạnh cam kết về tính minh bạch và an ninh, coi các cuộc kiểm toán PoR độc lập là một thông lệ tiêu chuẩn liên tục. Hacken kết luận cấu trúc dự trữ của MEXC thể hiện khả năng thanh toán đầy đủ, đồng thời ca ngợi các phương pháp quản lý tài chính có trách nhiệm và sự cam kết của sàn giao dịch này với tính minh bạch.

TheNewsCrypto12/10 11:33

Hacken Công Bố Báo Cáo Kiểm Toán Của MEXC, Xác Nhận Tài Sản Được Đảm Bảo Đầy Đủ Và Nâng Cao Tiêu Chuẩn Minh Bạch