วิตาลิก บูเทอริน ระบุว่าความก้าวหน้าในด้านปัญญาประดิษฐ์สามารถเปลี่ยนโฉมวิธีที่ระบบคริปโตถูกโจมตีและป้องกันได้ ผลักดันให้โครงสร้างพื้นฐานมุ่งไปสู่ซอฟต์แวร์ที่ได้รับการยืนยันอย่างเป็นคณิตศาสตร์
บทความของบูเทอรินชี้ภาพภัยคุกคามจาก AI
ผู้ร่วมก่อตั้ง Ethereum ได้โต้แย้งว่าโมเดล AI ที่ทรงพลังมากขึ้นเรื่อยๆ จะทำให้การค้นหาและใช้ประโยชน์จากช่องโหว่ในซอฟต์แวร์ที่ซับซ้อนเป็นเรื่องง่ายขึ้นมาก
บูเทอรินมองว่าบั๊กในโครงสร้างพื้นฐานคริปโตน่ากังวลยิ่งกว่าเดิม เมื่อเครื่องมือ AI เริ่มทำให้การค้นหาช่องโหว่เป็นแบบอัตโนมัติ ซึ่งเป็นความกังวลที่สะท้อนอยู่ในชุมชนวิจัยด้านความปลอดภัย
เขาเน้นย้ำโครงสร้างพื้นฐานของ Ethereum (ETH) กลไกฉันทามติ และคริปโทกราฟีหลังยุคควอนตัมว่าเป็นเป้าหมายสำคัญที่ต้องเสริมเกราะป้องกันให้แข็งแกร่งขึ้น
แทนที่จะพึ่งการตรวจสอบแบบดั้งเดิม บูเทอรินกล่าวว่านักพัฒนาควรหันมาใช้ “การยืนยันเชิงรูปแบบ” (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