MetaTrust Labs และ AgentLayer ร่วมมือกับสถาบันการศึกษาระดับชั้นนำเพื่อคว้ารางวัลจากการประชุมวิชาการชั้นนำ โดยประสบความสำเร็จอย่างก้าวล้ำในด้านความปลอดภัยของสัญญาอัจฉริยะที่ได้รับการปรับปรุงด้วย AI
แหล่งต้นฉบับ: AgentLayer
ซานดิเอโก, แคลิฟอร์เนีย - 27 กุมภาพันธ์ 2025 - การประชุมเชิงปฏิบัติการเครือข่ายและระบบความปลอดภัยแบบกระจายครั้งที่ 32 (NDSS 2025) ได้มอบรางวัล Outstanding Paper Award อันทรงเกียรติให้แก่ "PropertyGPT: LLM-driven Formal Verification of Smart Contracts via Retrieval-Enhanced Property Generation" งานวิจัยอันบุกเบิกนี้ดำเนินการโดยนักวิจัยจาก MetaTrust Labs และ AgentLayer ร่วมกับสถาบันการศึกษาชั้นนำ แนะนำแนวทางใหม่ในการเพิ่มประสิทธิภาพและปรับปรุงกระบวนการตรวจสอบอย่างเป็นทางการด้วยการใช้ประโยชน์จาก Large Language Models (LLM)
PropertyGPT จัดการช่องว่างสำคัญในความปลอดภัยของบล็อคเชนด้วยการสร้างคุณสมบัติที่ผ่านการตรวจสอบอย่างครอบคลุมโดยอัตโนมัติ ซึ่งก่อนหน้านี้เป็นกระบวนการด้วยตนเองที่ขับเคลื่อนโดยผู้เชี่ยวชาญ เทคโนโลยีดังกล่าวได้รับการนำไปใช้อย่างประสบความสำเร็จผ่านเครือข่าย AI แบบกระจายอำนาจของ AgentLayer ซึ่งถือเป็นความก้าวหน้าครั้งสำคัญในการรักษาความปลอดภัยสัญญาอัจฉริยะ "PropertyGPT ไม่เพียงแค่ช่วยแก้ไขปัญหาด้านประสิทธิภาพของการตรวจสอบอย่างเป็นทางการแบบเดิมเท่านั้น แต่ยังช่วยให้สามารถปรับขนาดแอปพลิเคชันได้ผ่านสถาปัตยกรรมแบบกระจายของ AgentLayer อีกด้วย" ศาสตราจารย์ Liu Yang ผู้อำนวยการบริหารศูนย์วิจัยความปลอดภัยทางไซเบอร์แห่งมหาวิทยาลัยเทคโนโลยีนันยาง ประเทศสิงคโปร์ และผู้ก่อตั้งร่วมของ AgentLayer กล่าว "แนวทางของเราแสดงให้เห็นว่า LLM สามารถปรับปรุงกระบวนการตรวจสอบอย่างเป็นทางการได้อย่างมีนัยสำคัญ ทำให้เข้าถึงได้ง่ายขึ้นและครอบคลุมมากขึ้น"
นวัตกรรมทางเทคนิคและผลกระทบ
PropertyGPT ใช้ประโยชน์จากความสามารถในการเรียนรู้ตามบริบทของ LLM ที่ทันสมัยเพื่อถ่ายทอดความรู้เกี่ยวกับคุณสมบัติที่เขียนด้วยลายมือที่มีอยู่เพื่อสร้างข้อมูลจำเพาะด้านความปลอดภัยที่ปรับแต่งให้เหมาะกับรหัสสัญญาอัจฉริยะใหม่ ระบบใช้เทคโนโลยีล้ำสมัยที่หลากหลาย: - เทคโนโลยีการสร้างการปรับปรุงการเรียกค้น โดยผสมผสานความเข้าใจด้านความหมายของ LLM กับการเรียกค้นข้อมูลช่องโหว่ในประวัติศาสตร์ผ่านฐานข้อมูลเวกเตอร์- วงจรข้อเสนอแนะของคอมไพเลอร์และการวิเคราะห์แบบคงที่เพื่อปรับปรุงคุณภาพคุณสมบัติอย่างต่อเนื่อง - การประเมินความคล้ายคลึงหลายมิติสำหรับการจัดอันดับและการเลือกคุณสมบัติ - เครื่องพิสูจน์เฉพาะสำหรับการตรวจยืนยันอย่างเป็นทางการของคุณสมบัติที่สร้างขึ้น ในการทดสอบอย่างละเอียด PropertyGPT สามารถสร้างการเรียกคืนได้ถึง 80% เมื่อเทียบกับคุณสมบัติที่สร้างโดยผู้เชี่ยวชาญ ระบบสามารถตรวจจับช่องโหว่ที่ทราบแล้ว 26 รายการจากกรณีทดสอบ 37 กรณีได้สำเร็จ และค้นพบข้อบกพร่องด้านความปลอดภัยที่ไม่รู้จักมาก่อน 12 รายการ พร้อมรับรางวัล Bug Bounty มูลค่า 8,256 ดอลลาร์
การรวมระบบ AgentLayer และผลกระทบต่ออุตสาหกรรม
AgentLayer ได้รวมระบบ AI Agent ที่พัฒนาขึ้นเองเข้ากับ PropertyGPT เพื่อเพิ่มประสิทธิภาพกระบวนการตรวจสอบอัตโนมัติของสัญญาอัจฉริยะ การทดลองแสดงให้เห็นว่าเครื่องมือนี้ช่วยปรับปรุงประสิทธิภาพการตรวจจับช่องโหว่ของสัญญาที่ซับซ้อนได้ 40% ในสถานการณ์ DeFi และ Web3
คณะกรรมการตรวจสอบ NDSS ยกย่องความสำเร็จนี้ว่า "เป็นการอัพเกรดกรอบแนวคิดที่นำไปปฏิบัติได้สำหรับการรักษาความปลอดภัยของสัญญาอัจฉริยะ"
ความร่วมมือเชิงกลยุทธ์
เกี่ยวกับทีมวิจัย
ทีมงานร่วมมือประกอบด้วยนักวิจัยจาก MetaTrust Labs, AgentLayer, Singapore Management University, Hong Kong University of Science and Technology และ Nanyang Technological University ประเทศสิงคโปร์: Ye Liu (SMU, AgentLayer), Yue Xue (MetaTrust Labs), Daoyuan Wu (HKUST, AgentLayer), Yuqiang Sun (NTU), Yi Li (NTU), Miaolei Shi (MetaTrust Labs) และ Yang Liu (NTU, AgentLayer)
เกี่ยวกับ MetaTrust Labs
MetaTrust Labs เป็นแพลตฟอร์มความปลอดภัย Web3 ชั้นนำที่มอบโซลูชันที่ขับเคลื่อนด้วย AI สำหรับนักพัฒนาบล็อกเชน เกิดจากมหาวิทยาลัยเทคโนโลยีนันยางในสิงคโปร์ โดยมีการให้บริการการสแกนความปลอดภัยอัตโนมัติ การตรวจสอบสัญญาอัจฉริยะ และเครื่องมือเพื่อทำให้การจัดการความปลอดภัยง่ายขึ้น MetaTrust Labs กำลังกำหนดอนาคตของโครงสร้างพื้นฐาน Web3 ที่ปลอดภัย
เกี่ยวกับ AgentLayer
AgentLayer เป็นผู้บุกเบิกอนาคตของ AI แบบกระจายอำนาจ โดยเปิดตัวเครือข่ายบล็อคเชนแห่งแรกของโลกที่ออกแบบมาสำหรับ AI Agent อัตโนมัติ ด้วยการบูรณาการความสามารถ AI ล้ำสมัยเข้ากับเทคโนโลยีบล็อคเชนอย่างราบรื่น AgentLayer ช่วยให้นักพัฒนาและองค์กรต่างๆ สามารถสร้าง ใช้งาน และแลกเปลี่ยนตัวแทนอัจฉริยะได้ในระดับขนาดใหญ่
ยินดีต้อนรับสู่ชุมชนทางการของ BlockBeats:
กลุ่ม Telegram สมัครสมาชิก: https://t.me/theblockbeats
กลุ่ม Telegram พูดคุย: https://t.me/BlockBeats_App
บัญชี Twitter ทางการ: https://twitter.com/BlockBeatsAsia
