นักพัฒนารายหนึ่งที่พนันกับ Vitalik Buterin ว่าคนคนเดียวสามารถเขียนโค้ดเชิงตัวแทน (agentic-code) สำหรับไคลเอนต์ Ethereum (ETH) ที่ตั้งเป้าไปยังโรดแมปปี 2030 ได้ ได้สร้างโปรเจกต์ ETH2030 เสร็จในสองสัปดาห์ เป็นโค้ดภาษา Go จำนวน 702,000 บรรทัด ครอบคลุม 65 รายการในโรดแมป และสามารถซิงก์กับ Ethereum เมนเน็ตได้
Buterin ได้ออกมาแสดงความคิดเห็นเกี่ยวกับผลลัพธ์เมื่อวันศุกร์ โดยเรียกมันว่าเป็น “การทดลองที่น่าประทับใจมาก” พร้อมระบุข้อแม้สำคัญหลายประการ และตั้งประเด็นว่าความสามารถของ AI อาจทำให้การเดินหน้าโรดแมปของ Ethereum เร็วยิ่งกว่าที่ชุมชนคาดไว้ในปัจจุบัน
Buterin พูดตรงไปตรงมาถึงสิ่งที่โปรเจกต์นี้ “ไม่ใช่” เนื่องจากสร้างขึ้นโดยไม่มีข้อเสนอ Ethereum Improvement Proposals (EIP) ที่เป็นทางการรองรับ จึงแทบจะแน่นอนว่ามีบั๊กวิกฤตจำนวนมาก และมีความเป็นไปได้สูงว่ามีฟีเจอร์จำนวนหนึ่งที่เป็นเพียงเวอร์ชัน “stub” ซึ่ง AI ไม่ได้พยายามทำให้เป็นการใช้งานเต็มรูปแบบ
เขาโต้แย้งว่า จุดสำคัญอยู่ที่ “ทิศทาง” มากกว่าผลลัพธ์ ณ ปัจจุบัน เขาเขียนว่า เมื่อหกเดือนก่อน แม้แต่ต้นแบบที่มีขอบเขตระดับนี้ยังถือว่า “ไกลเกินกว่าขอบเขตของสิ่งที่เป็นไปได้”
ความเร็ว vs. ความปลอดภัย
Buterin ได้กรอบความคิดเกี่ยวกับวิธีที่ถูกต้องในการใช้ AI เพื่อเร่งการพัฒนาซอฟต์แวร์ ว่าควรแบ่ง “กำไร” จาก AI ระหว่างความเร็วและความปลอดภัย แทนที่จะเททั้งหมดไปที่ความเร็วเพียงอย่างเดียว
โมเดลที่เขาชื่นชอบคือ ใช้ AI เพื่อสร้างชุดเทสต์เคสจำนวนมากขึ้น ตรวจสอบความถูกต้องของการอิมพลีเมนต์อย่างเป็นทางการ (formal verification) และสร้างเวอร์ชันอิสระหลายชุดของคอมโพเนนต์เดียวกันเพื่อใช้ตรวจสอบข้ามกัน
ผู้ร่วมงานในโปรเจกต์ LeanEthereum ซึ่งมีเป้าหมายจะตรวจพิสูจน์โค้ด Ethereum ทั้งหมดอย่างเป็นทางการ เพิ่งใช้ AI เพื่อสร้างพิสูจน์เชิงกลของหนึ่งในทฤษฎีบทที่ซับซ้อนที่สุดซึ่งเป็นพื้นฐานด้านความปลอดภัยของ STARK
ในกรอบความคิดของ Buterin นี่คือเคสการใช้งานที่มีมูลค่าสูงกว่า: ไม่ใช่ “ส่งของให้เร็วขึ้น” แต่คือ “ส่งโค้ดที่ตรวจพิสูจน์ได้ว่าถูกต้องมากขึ้น”
Read also: Kalshi Refused To Let Traders Profit From Khamenei's Death - Then Refunded Everyone On A $36M Market
สิ่งที่เขาคิดว่า “เป็นไปได้”
Buterin ระมัดระวังในการวางกรอบความมองโลกในแง่ดีของตนเองให้เป็น “ความเป็นไปได้” มากกว่า “คำพยากรณ์” เขาบอกว่าผู้คนควรเปิดใจต่อความเป็นไปได้ที่โรดแมปของ Ethereum จะเสร็จเร็วกว่าไทม์ไลน์ปัจจุบัน และยังคงมีมาตรฐานด้านความปลอดภัยที่สูงขึ้นด้วย
ในมิติของความปลอดภัย เขาแสดงความตื่นเต้นส่วนตัวต่อศักยภาพที่โค้ดปลอดบั๊กอาจก้าวจาก “ความเพ้อฝันในอุดมคติ” มาเป็นความคาดหวังพื้นฐานสำหรับโครงสร้างพื้นฐานที่มีความสำคัญเชิงวิกฤต
เขายอมรับว่า “ความปลอดภัยสมบูรณ์” ในเชิงสัมบูรณ์นั้นเป็นไปไม่ได้ เพราะจะต้องมีความสอดคล้องอย่างสมบูรณ์ระหว่างโค้ดกับสิ่งที่อยู่ในหัวของนักพัฒนา แต่เขาโต้แย้งว่า การตรวจพิสูจน์อย่างเป็นทางการด้วย AI สามารถกำจัดผลกระทบด้านลบได้มากกว่า 99% จากกรณีบกพร่องของโค้ดที่มีขอบเขตและคำจำกัดความชัดเจน
รีโพสิตอรี ETH2030 ยังคงเปิดให้เข้าถึงได้สาธารณะที่ github.com/jiayaoqijia/eth2030