Belobog: MoveBit ra mắt khung Fuzzing cho hợp đồng thông minh Move trong thế giới thực

TechFlow

Thời gian phát hành:08:56:01 16/12/2025

Chia sẻ

MoveBit của BitsLab đã xuất bản một bài báo có tiêu đề *Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts* (arXiv:2512.02918). Khung này cải thiện quá trình fuzzing trong hệ sinh thái Move bằng cách sử dụng hệ thống kiểu (type system) của ngôn ngữ để tạo ra các chuỗi giao dịch hợp lệ. Nó đã phát hiện 100% lỗi nghiêm trọng và 79% lỗi lớn trong 109 dự án. Công cụ này là mã nguồn mở, đang trong giai đoạn phát triển và được xem xét để trình bày tại PLDI'26. Belobog là gì? Đó là một công cụ kiểm thử mới dành cho các hợp đồng thông minh Move.

Nguồn:Hiển thị bản gốc

Tuyên bố miễn trừ trách nhiệm: Thông tin trên trang này có thể được lấy từ bên thứ ba và không nhất thiết phản ánh quan điểm hoặc ý kiến của KuCoin. Nội dung này chỉ được cung cấp cho mục đích thông tin chung, không có bất kỳ đại diện hay bảo đảm nào dưới bất kỳ hình thức nào và cũng không được hiểu là lời khuyên tài chính hay đầu tư. KuCoin sẽ không chịu trách nhiệm về bất kỳ sai sót hoặc thiếu sót nào hoặc về bất kỳ kết quả nào phát sinh từ việc sử dụng thông tin này. Việc đầu tư vào tài sản kỹ thuật số có thể tiềm ẩn nhiều rủi ro. Vui lòng đánh giá cẩn thận rủi ro của sản phẩm và khả năng chấp nhận rủi ro của bạn dựa trên hoàn cảnh tài chính của chính bạn. Để biết thêm thông tin, vui lòng tham khảo Điều khoản sử dụng và Tiết lộ rủi ro của chúng tôi.