MoveBit, một dự án của BitsLab, đã giới thiệu Belobog, một khung fuzzing được thiết kế để nâng cao việc kiểm thử các hợp đồng thông minh Move. Được trình bày chi tiết trong một bài báo trên arXiv, Belobog tận dụng hệ thống kiểu của ngôn ngữ Move để tạo ra các chuỗi giao dịch hợp lệ, cải thiện đáng kể việc phát hiện lỗi. Trong các thử nghiệm trên 109 dự án, khung này đã xác định được 100% lỗi nghiêm trọng và 79% lỗi lớn. Hiện tại, Belobog là mã nguồn mở và đang được xem xét cho hội nghị Thiết kế và Triển khai Ngôn ngữ Lập trình (PLDI) 2026.
MoveBit Ra Mắt Khung Kiểm Thử Belobog Cho Hợp Đồng Thông Minh Move
Tuyên bố miễn trừ trách nhiệm: Nội dung được cung cấp trên Phemex News chỉ nhằm mục đích cung cấp thông tin.Chúng tôi không đảm bảo chất lượng, độ chính xác hoặc tính đầy đủ của thông tin có nguồn từ các bài viết của bên thứ ba.Nội dung trên trang này không cấu thành lời khuyên về tài chính hoặc đầu tư.Chúng tôi đặc biệt khuyến khích bạn tự tiến hành nghiên cứu và tham khảo ý kiến của cố vấn tài chính đủ tiêu chuẩn trước khi đưa ra bất kỳ quyết định đầu tư nào.
