Vitalik Buterin: โค้ดไม่มีบัคอาจกลายเป็นความจริงในทศวรรษ 2030

Vitalik Buterin เชื่อว่ารหัสต้นฉบับที่ไม่มีข้อผิดพลาดจริงอาจเป็นไปได้ในทศวรรษ 2030 อย่างน้อยสำหรับนักพัฒนาที่ให้ความสำคัญกับความปลอดภัย ความเห็นนี้เขาแสดงออกหลังจากการ hard fork ที่เป็นที่ถกเถียงของ Gnosis Chain ในเดือนธันวาคม 2024 เพื่อเรียกคืนเงินจำนวน 9.4 ล้านดอลลาร์ที่สูญหายไปจากการโจมตี Balancer

ก่อนเสียงวิจารณ์เกี่ยวกับความไม่เปลี่ยนแปลงของบล็อกเชนและวิธีการสร้างสมาร์ทคอนแทรกต์ Buterin เน้นว่า “การตรวจสอบทางรูปแบบ” ไม่เท่ากับ “การพิสูจน์ว่าไม่มีข้อผิดพลาด” เขาเชื่อว่ารหัสที่ไม่มีข้อผิดพลาดอย่างสมบูรณ์อาจเป็นไปไม่ได้ เพราะข้อผิดพลาดเกิดจากช่องว่างระหว่างเจตนาของมนุษย์และวิธีการที่รหัสถูกดำเนินการ—ในขณะที่เจตนานั้นซับซ้อนและเข้าใจยาก

อย่างไรก็ตาม Buterin เชื่อว่าสามารถลดข้อผิดพลาดลงได้อย่างมีนัยสำคัญโดยการนำใช้ชั้นป้องกันหลายชั้น เช่น ระบบชนิดข้อมูลที่แข็งแกร่ง การตรวจสอบทางรูปแบบแบบคัดเลือก กลไกสำรองข้อมูล และการทดสอบอย่างเข้มงวด สำหรับนักพัฒนาที่ให้ความสำคัญกับความปลอดภัย อนาคต “เกือบไม่มีข้อผิดพลาด” เป็นเรื่องที่อยู่ในมืออย่างสมบูรณ์