Bài báo học thuật "GPTScan: Phát hiện lỗ hổng logic trong hợp đồng thông minh bằng cách kết hợp GPT với phân tích chương trình" được xuất bản bởi MetaTrust Labs và Đại học Công nghệ Nanyang và các tổ chức khác đã vượt qua hội nghị học thuật hàng đầu trong lĩnh vực công nghệ phần mềm —— ICSE2024 đánh giá và công bố bởi ban giám khảo của hội nghị.
Bài viết này nghiên cứu sự kết hợp giữa mô hình ngôn ngữ lớn GPT và công nghệ phân tích chương trình để cải thiện khả năng phát hiện các lỗ hổng logic hợp đồng thông minh. Bằng cách tinh chỉnh từng loại lỗ hổng logic thành các kịch bản và thuộc tính khác nhau, sau đó xác định chúng bằng cách khớp GPT và sử dụng phân tích tĩnh để xác minh chúng, nó nhằm mục đích cải thiện tỷ lệ phát hiện và độ chính xác, do đó tăng cường bảo mật và độ tin cậy của phát triển hợp đồng thông minh.
Xem bản gốc
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
Bài báo học thuật "GPTScan: Phát hiện lỗ hổng logic trong hợp đồng thông minh bằng cách kết hợp GPT với phân tích chương trình" được xuất bản bởi MetaTrust Labs và Đại học Công nghệ Nanyang và các tổ chức khác đã vượt qua hội nghị học thuật hàng đầu trong lĩnh vực công nghệ phần mềm —— ICSE2024 đánh giá và công bố bởi ban giám khảo của hội nghị.
Bài viết này nghiên cứu sự kết hợp giữa mô hình ngôn ngữ lớn GPT và công nghệ phân tích chương trình để cải thiện khả năng phát hiện các lỗ hổng logic hợp đồng thông minh. Bằng cách tinh chỉnh từng loại lỗ hổng logic thành các kịch bản và thuộc tính khác nhau, sau đó xác định chúng bằng cách khớp GPT và sử dụng phân tích tĩnh để xác minh chúng, nó nhằm mục đích cải thiện tỷ lệ phát hiện và độ chính xác, do đó tăng cường bảo mật và độ tin cậy của phát triển hợp đồng thông minh.