Vitalik Buterin กล่าวว่า AI อาจเร่งแผนงานของ Ethereum พร้อมยกระดับมาตรฐานความปลอดภัย

บทความ Vitalik Buterin กล่าวว่า AI อาจเร่งแผนงานของ Ethereum พร้อมยกระดับมาตรฐานความปลอดภัย ปรากฏครั้งแรกใน Coinpedia Fintech News

อนาคตของการพัฒนา Ethereum อาจมาถึงเร็วกว่าที่หลายคนคาดหวัง

Vitalik Buterin เพิ่งอธิบายการทดลองที่แผนงานปี 2030 ที่เสนอไว้ส่วนใหญ่ของ Ethereum ถูก "vibe-coded" ภายในเพียงไม่กี่สัปดาห์โดยใช้เครื่องมือปัญญาประดิษฐ์ แม้ว่าเขาจะเตือนว่าผลลัพธ์ยังห่างไกลจากความพร้อมใช้งานจริง แต่ข้อความที่กว้างขึ้นก็ชัดเจน: AI กำลังเปลี่ยนแปลงอย่างรวดเร็วในการสร้างโครงสร้างพื้นฐาน blockchain

การเขียนโค้ดด้วย AI กำลังเคลื่อนที่ด้วยความเร็วที่ไม่เคยมีมาก่อน

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

อย่างไรก็ตาม ความเร็วของการพัฒนาเองก็เป็นการเปลี่ยนแปลงที่สำคัญ

Buterin ยังแบ่งปันว่าเขาเพิ่งสร้างเวอร์ชันของซอฟต์แวร์บล็อกของเขาในเวลาประมาณหนึ่งชั่วโมงโดยใช้โมเดล AI โอเพนซอร์สที่ทำงานบนแล็ปท็อปของเขา ระบบที่ทันสมัยกว่า เขาแนะนำว่า อาจสามารถทำงานที่คล้ายกันได้เร็วยิ่งขึ้น

สิ่งที่ได้เรียนรู้ไม่ใช่ว่า AI สามารถผลิตโครงสร้างพื้นฐาน blockchain ที่ปลอดภัยได้ทันที แต่แสดงให้เห็นว่าระยะเวลาการพัฒนากำลังลดลงอย่างมาก

ความเร็วเป็นเพียงครึ่งหนึ่งของเรื่องราว

Buterin เน้นย้ำว่าการเขียนโค้ดที่เร็วขึ้นเพียงอย่างเดียวไม่เพียงพอ ในมุมมองของเขา โอกาสที่แท้จริงอยู่ที่การสร้างสมดุลระหว่างความเร็วกับแนวปฏิบัติด้านความปลอดภัยที่เข้มแข็งขึ้น

แทนที่จะใช้ AI เพียงเพื่อเขียนโค้ดเพิ่มเติม นักพัฒนาสามารถใช้มันเพื่อ:

• สร้างกรณีทดสอบได้มากขึ้นอย่างมีนัยสำคัญ
  
• ทำการตรวจสอบความปลอดภัยที่ลึกขึ้น
  
• สร้างการใช้งานอิสระหลายรายการของระบบเดียวกัน
  
• ตรวจสอบความถูกต้องอย่างเป็นทางการของส่วนประกอบสำคัญ
  

ผู้ร่วมงานคนหนึ่งจากโครงการ LeanEthereum มีรายงานว่าใช้ AI ช่วยสร้างการพิสูจน์ที่ตรวจสอบได้ด้วยเครื่องจักรสำหรับทฤษฎีบททางคณิตศาสตร์ที่ซับซ้อนหนึ่งในพื้นฐานของการเข้ารหัสลับแบบ STARK

สำหรับ Ethereum ซึ่งพึ่งพาระบบความรู้เป็นศูนย์ขั้นสูงมากขึ้น เครื่องมือตรวจสอบความถูกต้องเช่นนี้จึงมีความจำเป็น

การตรวจสอบความถูกต้องอย่างเป็นทางการอาจกลายเป็นแนวปฏิบัติมาตรฐาน

หลักการหลักของ LeanEthereum คือการตรวจสอบความถูกต้องอย่างเป็นทางการของส่วนประกอบทั้งหมดทุกที่ที่เป็นไปได้ การตรวจสอบความถูกต้องอย่างเป็นทางการหมายถึงการพิสูจน์ทางคณิตศาสตร์ว่าโค้ดทำงานตรงตามที่ตั้งใจไว้

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

เขาระมัดระวังที่จะเพิ่มว่าไม่มีใครควรคาดหวังที่จะป้อนคำสั่งเดียวและได้รับโค้ดที่ปลอดภัยอย่างสมบูรณ์แบบ ข้อบกพร่อง ความไม่สอดคล้อง และการแลกเปลี่ยนการออกแบบจะยังคงเป็นส่วนหนึ่งของกระบวนการ

อย่างไรก็ตาม วงจรการแก้ไขข้อบกพร่องและการทดสอบอาจเกิดขึ้นเร็วกว่าห้าเท่าและละเอียดถี่ถ้วนกว่าเดิมมาก

แผนงานของ Ethereum อาจเสร็จสิ้นเร็วกว่าที่คาดหวังหรือไม่?

แม้ว่า Buterin จะไม่ได้ทำนายอย่างแน่นอน แต่เขาสนับสนุนให้ชุมชนเปิดรับความเป็นไปได้ที่แผนงานระยะยาวของ Ethereum อาจเสร็จสมบูรณ์เร็วกว่าที่หลายคนคาดการณ์

ที่สำคัญกว่านั้น เขาแนะนำว่ามันอาจบรรลุมาตรฐานความปลอดภัยที่สูงกว่าที่คาดหวังแบบดั้งเดิมสำหรับระบบกระจายที่ซับซ้อน

หาก AI ยังคงพัฒนาด้วยจังหวะปัจจุบัน อุปสรรคในการพัฒนาที่เคยทำให้การอัพเกรด blockchain ช้าลงอาจมีข้อจำกัดน้อยลง