Tại San Diego, California - Ngày 27 tháng 2 năm 2025 - Hội nghị về An ninh Mạng và Hệ thống Phân tán (NDSS 2025) đã trao giải "Bài báo Xuất sắc" cho nghiên cứu "PropertyGPT: Xác minh Hình thức Hợp đồng Thông minh được Tăng cường bằng Truy xuất của LLM".
PropertyGPT giải quyết một khoảng trống quan trọng trong an ninh Blockchain bằng cách tự động tạo các thuộc tính xác minh toàn diện - trước đây đây là một quá trình thủ công do chuyên gia thực hiện. Công nghệ này đã được triển khai thành công thông qua mạng lưới AI phi tập trung của AgentLayer, đánh dấu một bước tiến lớn trong cách thức bảo mật Hợp đồng Thông minh.
"PropertyGPT không chỉ giải quyết được những điểm nghẽn về hiệu quả của xác minh hình thức truyền thống, mà còn đạt được khả năng mở rộng thông qua kiến trúc phân tán của AgentLayer," Giáo sư Liu Yang, Giám đốc Điều hành Trung tâm Nghiên cứu An ninh Mạng tại Đại học Công nghệ Nanyang, đồng sáng lập AgentLayer, chia sẻ. "Phương pháp của chúng tôi chứng minh rằng LLM có thể cải thiện đáng kể quy trình xác minh hình thức, làm cho nó dễ tiếp cận và toàn diện hơn."
Đổi mới Công nghệ và Tác động
PropertyGPT sử dụng khả năng học ngữ cảnh tiên tiến của LLM để chuyển giao kiến thức về các thuộc tính được viết thủ công sang việc tạo ra các thông số kỹ thuật an ninh tùy chỉnh cho mã nguồn Hợp đồng Thông minh mới. Hệ thống này sử dụng nhiều công nghệ tiên tiến:
- Kỹ thuật tạo ra nội dung được tăng cường bằng cách truy xuất, kết hợp hiểu biết ngữ nghĩa của LLM với dữ liệu lịch sử lỗ hổng thông qua cơ sở dữ liệu vector
- Vòng phản hồi trình biên dịch và phân tích tĩnh để liên tục cải thiện chất lượng các thuộc tính
- Đánh giá độ tương tự đa chiều để xếp hạng và lựa chọn các thuộc tính
- Trình chứng minh chuyên dụng để tạo ra xác minh hình thức cho các thuộc tính
Trong các bài kiểm tra rộng rãi, PropertyGPT đạt được tỷ lệ thu hồi ấn tượng 80% so với các thuộc tính do chuyên gia tạo ra. Hệ thống này đã thành công phát hiện 26 lỗ hổng đã biết trong 37 trường hợp kiểm tra và phát hiện 12 lỗ hổng bảo mật chưa được biết đến, nhận được 8.256 USD tiền thưởng lỗ hổng.
Tích hợp AgentLayer và Tác động Ngành
AgentLayer đã tích hợp các AI Agent tự phát triển của mình với PropertyGPT để tối ưu hóa quy trình xác minh tự động Hợp đồng Thông minh. Các thử nghiệm cho thấy, trong các kịch bản DeFi và Web3, công cụ này đã tăng hiệu quả phát hiện lỗ hổng của các hợp đồng phức tạp lên 40%.
Hội đồng Chấm giải NDSS đã ca ngợi thành tựu này là "cung cấp một bước nâng cấp có thể thực hiện được cho an ninh Hợp đồng Thông minh."
Hợp tác Chiến lược
Sự hợp tác giữa MetaTrust Labs và AgentLayer thể hiện cam kết lớn lao trong việc tăng cường an ninh Blockchain thông qua công nghệ AI tiên tiến. Các kế hoạch trong tương lai bao gồm:
- Tung ra nhiều sản phẩm AI tiên tiến kết hợp chuyên môn về an ninh Hợp đồng Thông minh của MetaTrust Labs và sự đổi mới về công nghệ AI của AgentLayer
- Phát triển các AI Agent chuyên dụng cho các ứng dụng Blockchain
- Xây dựng một hệ sinh thái AI phi tập trung vững chắc hơn
Về Hội nghị NDSS
Hội nghị NDSS, do Hiệp hội Internet tổ chức trong hơn 30 năm, đã trở thành một trong những hội nghị an ninh hàng đầu thế giới. Ban đầu là Hội nghị về An ninh Mạng và Hệ thống Phân tán, hội nghị này quy tụ hàng trăm nhà giáo dục, nhà nghiên cứu và chuyên gia an ninh từ khắp nơi trên thế giới để thúc đẩy sự phát triển của các công nghệ an ninh thực tế.
Về Nhóm Nghiên cứu
Nhóm hợp tác bao gồm các nhà nghiên cứu từ MetaTrust Labs, AgentLayer, Đại học Quản lý Singapore, Đại học Khoa học và Công nghệ Hong Kong và Đại học Công nghệ Nanyang: Ye Liu (SMU, AgentLayer), Yue Xue (MetaTrust Labs), Daoyuan Wu (HKUST, AgentLayer), Yuqiang Sun (NTU), Yi Li (NTU), Miaolei Shi (MetaTrust Labs) và Yang Liu (NTU, AgentLayer).
Về MetaTrust Labs
MetaTrust Labs là một nền tảng an ninh Web3 hàng đầu, cung cấp các giải pháp AI cho các nhà phát triển Blockchain. Được thành lập tại Đại học Công nghệ Nanyang, nó cung cấp các công cụ quét an ninh tự động, kiểm toán Hợp đồng Thông minh và quản lý an ninh đơn giản hóa. MetaTrust Labs đang định hình tương lai của cơ sở hạ tầng Web3 an toàn.
Về AgentLayer
AgentLayer đang mở ra tương lai của AI phi tập trung, ra mắt mạng lưới Blockchain đầu tiên trên thế giới được thiết kế dành riêng cho các AI Agent tự chủ. Bằng cách tích hợp các khả năng AI tiên tiến một cách không rõ ràng với công nghệ Blockchain, AgentLayer cho phép các nhà phát triển và doanh nghiệp xây dựng, triển khai và giao dịch các Agent thông minh với quy mô lớn.
Tham gia cộng đồng chính thức của BlockBeats:
Telegram Subscription Group: https://t.me/theblockbeats
Telegram Discussion Group: https://t.me/BlockBeats_App
Twitter Official Account: https://twitter.com/BlockBeatsAsia
