efinAI

AI กำลังกลายเป็นดาบสองคมในโลกการเงิน หลังตรวจพบช่องโหว่ร้ายแรงในเครือข่าย Zcash สำเร็จ ด้านผู้เชี่ยวชาญเตือนภัยคุกคามนี้อาจลามไปถึงระบบโครงสร้างพื้นฐานของธนาคารแบบดั้งเดิม พร้อมชี้ทางรอดด้วยการใช้ ‘Formal Verification’ วงการคริปโทเคอร์เรนซีต้องสั่นสะเทือนอีกครั้ง เมื่อโมเดลปัญญาประดิษฐ์ (AI) อย่าง Opus 4.8 ของ Anthropic ถูกนำมาใช้ตรวจพบช่องโหว่ที่ซ่อนอยู่ในเครือข่าย Zcash มานานถึง 4 ปี ซึ่งหากปล่อยทิ้งไว้โดยไม่ถูกแก้ไข ช่องโหว่นี้อาจเปิดทางให้ผู้ไม่หวังดีสามารถผลิตเหรียญปลอมออกมาได้แบบไม่จำกัดจำนวน เหตุการณ์ดังกล่าวสร้างความตื่นตระหนกอย่างหนัก จนทำให้ราคาเหรียญ Zcash ร่วงลงไปเกือบ 38% ภายใน 24 ชั่วโมง และถึงขั้นมีผู้ใช้งานบนโซเชียลมีเดียตัดพ้อว่า “คริปโทฯ ตายแล้ว เราควรหันไปหา AI แทน” แม้ทางผู้พัฒนาจะสามารถอุดช่องโหว่ดังกล่าวได้แล้ว แต่เหตุการณ์นี้ได้จุดชนวนความกังวลครั้งใหม่ Ben Goertzel ซีอีโอของบริษัท AI อย่าง SingularityNET ออกมาเตือนว่า ปัญหาลักษณะนี้ไม่ได้จำกัดอยู่แค่ในวงการคริปโทฯ เท่านั้น แต่โครงสร้างพื้นฐานด้านซอฟต์แวร์ของธนาคารและสถาบันการเงินแบบรวมศูนย์ ก็มีแนวโน้มสูงมากที่จะมีจุดบกพร่องร้ายแรงซ่อนอยู่ และอาจถูกขุดพบโดยเครื่องมือ AI ในอนาคตอันใกล้นี้เช่นกัน สอดคล้องกับความเห็นของ Ronghui Gu ซีอีโอของบริษัทรักษาความปลอดภัยไซเบอร์ CertiK ที่ระบุว่า แฮ็กเกอร์ที่ขับเคลื่อนด้วยแรงจูงใจด้านผลกำไร กำลังเข้าสู่การแข่งขันใช้ทรัพยากร AI จำนวนมหาศาล เพื่อค้นหาช่องโหว่ใน smart contract เป้าหมาย ขณะที่บริษัทด้านความปลอดภัยต้องดูแลลูกค้าหลายร้อยรายพร้อมกัน จึงไม่สามารถทุ่มทรัพยากรทั้งหมดไปยังเป้าหมายเดียวแบบเดียวกับผู้โจมตีได้ เพราะจะทำให้มีต้นทุนสูงมาก เพื่อรับมือกับภัยคุกคามจาก AI ที่เก่งกาจขึ้นเรื่อยๆ ผู้เชี่ยวชาญหลายรายต่างชี้ไปที่ทางออกเดียวกัน นั่นคือกระบวนการที่เรียกว่า Formal Verification หรือกระบวนการตรวจสอบความปลอดภัยของซอฟต์แวร์ โดยอาศัยหลักการทางคณิตศาสตร์ Vitalik Buterin ผู้ร่วมก่อตั้งเครือข่าย Ethereum อธิบายให้เห็นภาพง่ายๆ ว่า มันคือการเขียนบทพิสูจน์ทางคณิตศาสตร์ในรูปแบบที่ระบบสามารถตรวจสอบความถูกต้องได้โดยอัตโนมัติ ซึ่ง Haseeb Qureshi จากบริษัทลงทุน Dragonfly เสริมว่า ซอฟต์แวร์ที่ผ่านกระบวนการตรวจสอบด้วยวิธีนี้ จะไม่มีทางเกิดบั๊กหรือข้อผิดพลาดจากการเขียนโค้ดได้อย่างเด็ดขาด และนี่คือหนทางเดียวที่จะปกป้องซอฟต์แวร์ของระบบที่สำคัญระดับชาติหรือระบบที่ห้ามเกิดความผิดพลาด อย่างไรก็ตาม การนำกระบวนการนี้มาใช้จริงไม่ใช่เรื่องง่าย Goertzel อธิบายว่า แม้ภาษาโปรแกรมอย่าง “Rust” ที่ Zcash ใช้อยู่จะสามารถนำมาทำกระบวนการตรวจสอบเชิงรูปนัยได้ แต่นักพัฒนาก็มักจะไม่ทำเพราะมันเป็นงานที่ยุ่งยากและกินเวลา นอกจากนี้ การปรับปรุงโค้ดให้ปลอดภัยรัดกุมอาจทำให้ตัวซอฟต์แวร์ทำงานช้าลง ซึ่งเป็นปัญหาที่ต้องแก้ด้วยเทคนิคขั้นสูงต่อไป แต่ถึงกระนั้น Josh Swihart ซีอีโอของ ZODL และอดีตซีอีโอของ Electric Coin Company ซึ่งเป็นหนึ่งในผู้พัฒนาหลักของ Zcash ก็ยังยืนยันว่า หากเราต้องการตั้งคำถามว่าทำอย่างไรเพื่อไม่ให้ช่องโหว่เหล่านี้เกิดขึ้นอีก คำตอบที่ดีที่สุดในตอนนี้ก็คือการหันมาใช้ Formal verification ที่มา : coindesk 🏠 หน้าหลักคริปโต🔥 ข่าวคริปโตยอดนิยม🟠 ข่าวบิตคอยน์⚡ คริปโตล่าสุด🤖 efin AI (function(){function c(){var b=a.contentDocument||a.contentWindow.document;if(b){var d=b.createElement('script');d.innerHTML="window.__CF$cv$params={r:'a1ede1b89fdb8746',t:'MTc4NDY3NTQ1NA=='};var a=document.createElement('script');a.src='/cdn-cgi/challenge-platform/scripts/jsd/main.js';document.getElementsByTagName('head')[0].appendChild(a);";b.getElementsByTagName('head')[0].appendChild(d)}}if(document.body){var a=document.createElement('iframe');a.height=1;a.width=1;a.style.position='absolute';a.style.top=0;a.style.left=0;a.style.border='none';a.style.visibility='hidden';document.body.appendChild(a);if('loading'!==document.readyState)c();else if(window.addEventListener)document.addEventListener('DOMContentLoaded',c);else{var e=document.onreadystatechange||function(){};document.onreadystatechange=function(b){e(b);'loading'!==document.readyState&&(document.onreadystatechange=e,c())}}}})();