วิทาลิก บูเทอริน (Vitalik Buterin) กล่าวว่า ความก้าวหน้าในด้าน ปัญญาประดิษฐ์ (AI) อาจเปลี่ยนโฉมวิธีที่ระบบคริปโตถูกโจมตี และป้องกัน โดยจะผลักดันให้โครงสร้างพื้นฐานหันไปใช้ซอฟต์แวร์ที่ผ่านการยืนยันทางคณิตศาสตร์มากขึ้น
บทความของบูเทอรินชี้ให้เห็นภัยคุกคามจาก AI
ผู้ร่วมก่อตั้ง Ethereum ได้ โต้แย้ง ว่า โมเดล AI ที่ทรงพลังมากขึ้นเรื่อย ๆ จะทำให้การค้นหาและเจาะช่องโหว่ในซอฟต์แวร์ที่ซับซ้อนทำได้ง่ายกว่าเดิมมาก
บูเทอรินมองว่า บั๊กในโครงสร้างพื้นฐานคริปโตจะน่ากังวลยิ่งขึ้นไปอีกเมื่อเครื่องมือ AI เริ่มทำให้การค้นหาช่องโหว่เป็นแบบอัตโนมัติ ซึ่งเป็นความกังวลที่สะท้อนอยู่ในวงการวิจัยความปลอดภัยไซเบอร์โดยทั่วไป
เขาระบุเป็นพิเศษว่า โครงสร้างพื้นฐานของ Ethereum (ETH) กลไกฉันทามติ (consensus mechanisms) และคริปโตกราฟีหลังยุคควอนตัม (post-quantum cryptography) เป็นเป้าหมายหลักที่ต้องเสริมเกราะป้องกันให้แข็งแรงขึ้น
แทนที่จะพึ่งการตรวจสอบโค้ดแบบดั้งเดิม บูเทอริน กล่าว ว่านักพัฒนาควรหันมาใช้ “การยืนยันแบบเป็นทางการ” (formal verification) ซึ่งเป็นแนวทางที่พิสูจน์เชิงคณิตศาสตร์ว่าโค้ดทำงานตามที่ออกแบบไว้ภายใต้เงื่อนไขที่กำหนด
อ่านเพิ่มเติม: Crypto Funds Bleed $1.07B As Iran Tensions End Six-Week Inflow Run
การยืนยันแบบเป็นทางการในฐานะเกราะป้องกัน
“AI ทำให้คุณสามารถเขียนโค้ดจำนวนมากได้ แต่ต้องแลกกับความแม่นยำ และการยืนยันแบบเป็นทางการจะช่วยคืนความแม่นยำให้คุณ” บูเทอรินเขียนไว้
เขาตอบโต้แนวคิดของนักวิจัยบางส่วนที่มองว่า ซอฟต์แวร์ที่สร้างด้วย AI นั้นไม่อาจไว้วางใจได้อย่างสมบูรณ์อีกต่อไป และยกกรณีของตนในมุมที่มองโลกในแง่ดีมากกว่า
บูเทอรินเชื่อว่า การเขียนโค้ดด้วย AI ร่วมกับเครื่องมือยืนยันความถูกต้อง อาจทำให้ได้ซอฟต์แวร์ที่แข็งแกร่งกว่าสิ่งที่มนุษย์สร้างขึ้นลำพังในที่สุด
เขายังชี้ถึงโปรเจกต์ที่กำลังดำเนินการอยู่ เช่น Arklib และ evm-asm ซึ่งมุ่งเน้นการทำให้โครงสร้างพื้นฐานคริปโตกราฟีและซอฟต์แวร์ Ethereum Virtual Machine มีความปลอดภัยมากขึ้น
แต่บทความดังกล่าวก็ เตือน ด้วยว่า การยืนยันแบบเป็นทางการไม่ได้เป็นยาวิเศษแก้ปัญหาทั้งหมด แม้ระบบที่พิสูจน์ได้ทางคณิตศาสตร์ก็ยังล้มเหลวได้ หากนักพัฒนายืนยันบนสมมติฐานที่ผิด หรือเมื่อช่องโหว่อยู่ “นอก” เส้นทางโค้ดที่ถูกนำไปยืนยัน
ผลงานด้านความปลอดภัยของบูเทอริน
บูเทอรินวาดภาพอนาคตที่โครงสร้างพื้นฐานดิจิทัลที่อ่อนไหวจะถูกย่อยให้กลายเป็น “แกนกลางที่ปลอดภัย” ขนาดเล็กลง แยกตัวและผ่านการยืนยันอย่างเข้มข้น ขณะที่แอปพลิเคชันที่มีความสำคัญน้อยกว่าจะทำงานด้วยสิทธิ์ที่จำกัดมากกว่า
ผู้ร่วมก่อตั้ง Ethereum รายนี้หวนกลับมาพูดถึงประเด็นความปลอดภัยในยุค AI หลายครั้งตลอดปีนี้ ในเดือนกุมภาพันธ์ เขาเสนอให้แบ่งผลผลิตที่ได้จาก AI ระหว่าง “ความเร็ว” กับ “ความปลอดภัย” และในเดือนพฤษภาคม เขาแสดงการสนับสนุนเครื่องมือยืนยันแบบเป็นทางการ เช่น Lean สำหรับการพัฒนาซอฟต์แวร์ที่ต้องการความมั่นใจสูง โพสต์ล่าสุดของเขาขยายข้อถกเถียงเดิมให้กว้างขึ้น โดยวาง “หลักฐานเชิงคณิตศาสตร์” เป็นคำตอบที่น่าเชื่อถือที่สุดต่อเครื่องมือโจมตีที่ขับเคลื่อนด้วย AI ทั้งในโลกบล็อกเชนและระบบอินเทอร์เน็ตแบบดั้งเดิม
อ่านต่อ: Iran Settles Hormuz Shipping Cover In Bitcoin, Eyes $10B Haul