Nguồn gốc: AgentLayer
San Diego, CA - Ngày 27 tháng 2 năm 2025 - Hội nghị chuyên đề về bảo mật mạng và hệ thống phân tán lần thứ 32 (NDSS 2025) đã trao Giải thưởng Bài báo xuất sắc đáng mơ ước cho "PropertyGPT: Xác minh chính thức hợp đồng thông minh theo LLM thông qua việc tạo ra thuộc tính được tăng cường truy xuất". Nghiên cứu mang tính đột phá này, được thực hiện bởi các nhà nghiên cứu từ MetaTrust Labs và AgentLayer hợp tác với các tổ chức học thuật hàng đầu, giới thiệu một phương pháp tiếp cận sáng tạo để tự động hóa và nâng cao quy trình xác minh chính thức bằng cách tận dụng Mô hình ngôn ngữ lớn (LLM).

PropertyGPT giải quyết một lỗ hổng quan trọng trong bảo mật blockchain bằng cách tự động hóa việc tạo các thuộc tính đã xác minh toàn diện - trước đây là một quy 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 AI phi tập trung của AgentLayer, đánh dấu bước tiến đáng kể trong cách bảo mật hợp đồng thông minh. 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, Singapore và là đồng sáng lập AgentLayer cho biết: "PropertyGPT không chỉ giải quyết được tình trạng tắc nghẽn về hiệu quả của quá trình xác minh chính thức truyền thống mà còn cho phép các ứng dụng có thể mở rộng quy mô thông qua kiến trúc phân tán của AgentLayer". "Cách tiếp cận 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 chính thức, giúp quy trình này dễ tiếp cận và toàn diện hơn."
PropertyGPT tận dụng khả năng học theo ngữ cảnh của LLM tiên tiến để chuyển giao kiến thức về các thuộc tính viết tay hiện có nhằm tạo ra các thông số kỹ thuật bảo mật tùy chỉnh cho mã hợp đồng thông minh mới. Hệ thống sử dụng nhiều công nghệ tiên tiến: - Công nghệ tăng cường khả năng truy xuất, kết hợp hiểu biết ngữ nghĩa của LLM với việc truy xuất dữ liệu lỗ hổng lịch sử thông qua cơ sở dữ liệu vectơ- Vòng phản hồi phân tích tĩnh và biên dịch để cải thiện chất lượng thuộc tính theo từng lần lặp - Đánh giá độ tương đồng đa chiều để xếp hạng và lựa chọn thuộc tính - Công cụ chứng minh chuyên dụng để xác minh chính thức các thuộc tính được tạo ra Trong quá trình thử nghiệm mở rộng, PropertyGPT đạt được tỷ lệ thu hồi ấn tượng là 80% so với các thuộc tính do chuyên gia tạo ra. Hệ thống đã phát hiện thành công 26 lỗ hổng đã biết trong số 37 trường hợp thử nghiệm và phát hiện ra 12 lỗi bảo mật chưa từng được biết đến trước đó, thu về 8.256 đô la tiền thưởng tìm lỗi.
AgentLayer đã tích hợp AI Agent do chính mình phát triển với PropertyGPT để tối ưu hóa quy trình xác minh tự động các hợp đồng thông minh. Các thử nghiệm cho thấy công cụ này cải thiện hiệu quả phát hiện lỗ hổng của các hợp đồng phức tạp lên 40% trong các tình huống DeFi và Web3.
Ủy ban Đánh giá NDSS đã ca ngợi thành tựu này là "cung cấp bản nâng cấp mô hình có thể triển khai được cho bảo mật hợp đồng thông minh."

Về nhóm nghiên cứu
Nhóm cộng 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ệ Hồng Kông và Đại học Công nghệ Nanyang, Singapore: 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).
Giới thiệu về MetaTrust Labs
MetaTrust Labs là nền tảng bảo mật Web3 hàng đầu cung cấp các giải pháp dựa trên AI cho các nhà phát triển blockchain. Ra đời tại Đại học Công nghệ Nanyang ở Singapore, công ty cung cấp dịch vụ quét bảo mật tự động, kiểm toán hợp đồng thông minh và các công cụ để đơn giản hóa việc quản lý bảo mật. MetaTrust Labs đang định hình tương lai của cơ sở hạ tầng Web3 an toàn.
Giới thiệu về AgentLayer
AgentLayer đang tiên phong trong tương lai của AI phi tập trung, ra mắt mạng blockchain đầu tiên trên thế giới được thiết kế cho các tác nhân AI tự động. Bằng cách tích hợp liền mạch các khả năng AI tiên tiến 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 tác nhân thông minh ở quy mô lớn.
Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:
Nhóm Telegram đăng ký: https://t.me/theblockbeats
Nhóm Telegram thảo luận: https://t.me/BlockBeats_App
Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia