โดยสรุป
- ASI Alliance และ Matterhorn กล่าวว่าเป็นการสร้างเครื่องมือเพื่อลดความเสี่ยงจากโค้ดบล็อกเชนที่สร้างโดย AI
- แพลตฟอร์มดังกล่าวผสานการวิเคราะห์อัตโนมัติ การทบทวนโดยมนุษย์ และเครื่องมือทดสอบ เพื่อทำการตรวจสอบสัญญาอัจฉริยะก่อนการปรับใช้ (deployment)
- ความร่วมมือนี้ทำงานบน ASI:Chain และตั้งเป้าจะนำพานักพัฒนา 20,000 คนเข้าสู่ระบบในปี 2026
ปัญญาประดิษฐ์กำลังเริ่มเขียนโค้ดที่ขับเคลื่อนการโอนเงินบนบล็อกเชน ขณะที่ Artificial Superintelligence Alliance และแพลตฟอร์มนักพัฒนา Matterhorn กล่าวว่าต้องการทำให้แน่ใจว่าโค้ดนั้นปลอดภัย
Matterhorn และ ASI Alliance ประกาศริเริ่มใหม่เมื่อวันศุกร์ โดยมีศูนย์กลางอยู่ที่ “vibe coding” ซึ่งเป็นฟีเจอร์ของแพลตฟอร์ม Matterhorn ที่ช่วยให้นักพัฒนาสามารถอธิบายแอปด้วยภาษาธรรมดา และ AI จะสร้างโค้ดสัญญาอัจฉริยะแบบเต็มได้ทันที แม้เทคนิคนี้จะเร่งการพัฒนาและลดอุปสรรคในการสร้างแอปพลิเคชัน แต่ก็ยังเพิ่มความเสี่ยงที่ AI จะสร้างโค้ดที่มีข้อบกพร่องหรือไม่ปลอดภัย ซึ่งผู้โจมตีสามารถนำไปใช้ประโยชน์ได้
“เรากำลังอยู่ในจุดเริ่มต้นของโลกที่ dApps กลายเป็น ‘แค่ Apps’ เหมือนสิ่งที่พบได้ทั่วไปอย่างเว็บไซต์และแอปที่เราใช้กันในทุกวันนี้” บริษัทกล่าวในแถลงการณ์ “เครื่องมืออื่นๆ ในด้านนี้ต่างแข่งกันเพื่อส่งมอบโค้ดได้เร็วขึ้น เราคิดว่านี่คือการแข่งขันที่ผิด ผู้สร้างที่สร้าง dApps ที่จัดการเงินจริงและผู้ใช้งานจริง จำเป็นต้องมีแพลตฟอร์มที่พวกเขาเชื่อถือได้ และความร่วมมือนี้คือวิธีที่เราจะทำให้มันเกิดขึ้น”
เพื่อบรรเทาความเสี่ยงนี้ Matterhorn ผู้ก่อตั้ง Abhinav Ramesh กล่าวว่า บริษัทกำลังทำงานร่วมกับผู้ตรวจสอบความปลอดภัยภายนอกและเครื่องมืออัตโนมัติเพื่อช่วยให้นักพัฒนาทบทวนสัญญาอัจฉริยะที่สร้างโดย AI ก่อนการปรับใช้
“เราร่วมมือกับบริษัทตรวจสอบความปลอดภัยที่สามารถให้บริการตรวจสอบผ่าน Matterhorn สำหรับผู้สร้างบน Matterhorn” Ramesh กล่าวกับ Decrypt “เรามีตัวแทน AI ด้วยเช่นกันที่ทำการตรวจสอบแบบ agentic audits แต่เราไม่แนะนำอย่างยิ่งให้ทำแค่นั้นสำหรับแอปพลิเคชันบน mainnet”
แพลตฟอร์มการพัฒนา Matterhorn ออกแบบมาเพื่อบูรณาการเข้ากับ ASI:Chain ซึ่งเป็นเครือข่ายบล็อกเชนที่พัฒนาขึ้นโดย Artificial Superintelligence Alliance ซึ่งเป็นกลุ่ม AI แบบกระจายศูนย์ (decentralized AI) ที่รวมถึง Fetch.ai, SingularityNET และ CUDOS ทำให้นักพัฒนาสามารถมีสภาพแวดล้อมเดียวสำหรับการสร้าง ตรวจสอบ และปรับใช้แอปพลิเคชันแบบกระจายศูนย์
“เราทำให้ผู้ใช้เชื่อมต่อกับ MCPs ได้ง่าย สร้าง/ใช้งานสกิล และสร้าง dApps และทำการปรับใช้จากแพลตฟอร์มเดียว” Ramesh กล่าว “เรากำลังทำงานร่วมกับทีม ASI ในเรื่อง ‘blessed templates’ เพื่อทำให้ง่ายขึ้นในการสร้างสัญญาที่ปลอดภัยกว่าโดยเฉพาะสำหรับภาษาที่อิงการตรวจสอบอย่างเป็นทางการ (formal verification-based languages)”
บริษัทกล่าวว่านักพัฒนาสามารถเชื่อมต่อกับผู้ตรวจสอบจากบุคคลที่สามผ่านแพลตฟอร์ม ก่อนที่จะเปิดใช้งานสัญญาบนบล็อกเชนแบบสด อย่างไรก็ตาม แม้ Matterhorn จะระบุว่าแพลตฟอร์มของตนช่วยเร่งการพัฒนา แต่ก็ไม่ได้รับประกันความปลอดภัย
“เราคือเครื่องมือสนับสนุนที่เข้มแข็งสำหรับผู้สร้างที่ต้องการสร้างบน Web3” Ramesh กล่าว “ไม่มีการรับประกันในรูปแบบใดๆ ทั้งสิ้นจากทีม Matterhorn เกี่ยวกับความปลอดภัยหรือการรักษาความปลอดภัย”
Ramesh กล่าวว่า Matterhorn และ ASI Alliance กำลังพัฒนา “blessed templates” เพื่อช่วยให้นักพัฒนาสร้างสัญญาอัจฉริยะที่ปลอดภัยขึ้น ขณะเดียวกันก็ผสาน ASI:Cloud เพื่อจัดหากำลังประมวลผลสำหรับระบบ AI ที่สร้างและวิเคราะห์โค้ดสำหรับ MeTTa ซึ่งเป็นภาษาโปรแกรมของ ASI:Chain
ความร่วมมือนี้มีขึ้นในช่วงที่ตัวแทน AI กำลังเคลื่อนเข้ามาในอุตสาหกรรมคริปโตมากขึ้น โดยที่นักพัฒนากำลังทดลองกับระบบที่สามารถจัดการวอลเล็ต ดำเนินการเทรด และทำงานด้านการเงินบนเชนได้ ซึ่งนำไปสู่เครื่องมือใหม่และงานวิจัยที่มุ่งเน้นการควบคุมความเสี่ยงเมื่อระบบอิสระเหล่านั้นจัดการสกุลเงินดิจิทัล
Khellar Crawford หัวหน้าฝ่ายนวัตกรรมของ SingularityNET กล่าวว่ากว่าอุตสาหกรรมบล็อกเชนจำนวนมากใช้แนวทางแบบ “patch-and-pray” ซึ่งเป็นการเขียนสัญญาอัจฉริยะด้วยภาษาที่ไม่เหมาะกับ concurrency ที่ซับซ้อน และหวังพึ่งผู้ตรวจสอบเพื่อจับข้อบกพร่อง ในขณะที่ F1R3FLY และ ASI:Chain ใช้สถาปัตยกรรมที่เขาเรียกว่า “correct-by-construction” ซึ่งอิงตาม Rho calculus
“เราไม่ได้เดาว่าแอปพลิเคชันปลอดภัยหรือไม่ เราพิสูจน์มันอย่างเป็นคณิตศาสตร์โดยใช้ spatial behavioral types” Crawford กล่าวกับ Decrypt “ก่อนที่โค้ดแม้แต่บรรทัดเดียวจะแตะต้องเครือข่ายแบบสด ตัวคณิตศาสตร์เองก็รับประกันได้ว่าจะไม่มี deadlocks ไม่มีการถูกโจมตีแบบ race-condition และไม่มีเงินรั่วไหล”
