Vitalik Buterin กล่าวว่า AI อาจเร่งความเร็วแผนงานของ Ethereum ในขณะเดียวกันก็เสริมความปลอดภัย

• เครื่องมือ AI ช่วยลดระยะเวลาในการพัฒนา Ethereum อย่างมีนัยสำคัญ ทำให้สามารถสร้างต้นแบบและปรับปรุงได้อย่างรวดเร็ว
• การตรวจสอบความถูกต้องอย่างเป็นทางการด้วย AI ช่วยเร่งการพิสูจน์สำหรับคริปโตกราฟีที่ซับซ้อนบนพื้นฐาน STARK เพิ่มความปลอดภัยให้บล็อกเชน
• การแบ่งผลประโยชน์จาก AI ระหว่างความเร็วและความปลอดภัย ช่วยให้นักพัฒนา Ethereum ขยายการทดสอบและลดบั๊กสำคัญ

Vitalik Buterin กล่าวว่าปัญญาประดิษฐ์เริ่มเปลี่ยนแปลงวิธีการสร้าง Ethereum แล้ว

ในโพสต์ล่าสุดบน X เขาอธิบายการทดลองที่ใช้ AI เพื่อ “เขียนโค้ดตามบรรยากาศ” ของแผนงาน Ethereum ปี 2030 ในเวลาไม่กี่สัปดาห์ เขาเรียกผลลัพธ์นี้ว่าน่าประทับใจ แต่ก็เตือนว่ายังเป็นการทดลองที่ค่อนข้างสูง

โครงการนี้เสร็จสิ้นโดยไม่ต้องทำ Ethereum Improvement Proposals (EIPs) ซึ่งเพียงอย่างเดียว เขากล่าวว่า โค้ดอาจมีบั๊กที่รุนแรง บางฟีเจอร์อาจเป็นเพียงการทำงานบางส่วน เมื่อหกเดือนก่อน เขายังกล่าวว่าการไปถึงจุดนี้ก็อาจเป็นไปไม่ได้

นี่เป็นการทดลองที่น่าประทับใจมาก การเขียนโค้ดตามบรรยากาศของแผนงานปี 2030 ภายในไม่กี่สัปดาห์

แน่นอนว่าการสร้างสิ่งนี้ในสองสัปดาห์โดยไม่ต้องมี EIPs มีข้อจำกัดมากมาย: เกือบแน่นอนว่ามีบั๊กสำคัญจำนวนมาก และบางกรณีอาจเป็นเวอร์ชัน “สแตบ” ของบางสิ่ง… https://t.co/ZlTg0r2hvI

— vitalik.eth (@VitalikButerin) 28 กุมภาพันธ์ 2026

การพัฒนาโค้ดด้วย AI เร็วขึ้น – แต่ไม่สมบูรณ์แบบ

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

แผนงาน Ethereum มุ่งเน้นไปที่การอัปเกรดความสามารถในการขยาย ระบบกระจายอำนาจที่แข็งแกร่งขึ้น และความปลอดภัยของบล็อกเชน นักพัฒนากำลังทำงานในหลายชั้นของโปรโตคอลเพื่อลดการจราจรและเพิ่มประสิทธิภาพ การทำงานที่รวดเร็วขึ้นอาจเร่งความเร็วของความพยายามเหล่านี้

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

การตรวจสอบความถูกต้องอย่างเป็นทางการเข้ามามีบทบาท

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

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

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

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

ยกระดับมาตรฐานความปลอดภัย

Buterin ยอมรับว่าซอฟต์แวร์ที่ปราศจากบั๊กสมบูรณ์เป็นไปไม่ได้ โค้ดไม่สามารถจับความตั้งใจของมนุษย์ได้อย่างสมบูรณ์แบบ

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

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