นักพัฒนารายหนึ่งที่พนันกับ Vitalik Buterin ว่าคนคนเดียวสามารถใช้โค้ดแบบ agentic เพื่อสร้างไคลเอนต์ Ethereum (ETH) ตามโรดแมปปี 2030 ได้ ได้สร้าง ETH2030 เสร็จภายในสองสัปดาห์ - โค้ดภาษา Go 702,000 บรรทัด ครอบคลุม 65 รายการในโรดแมป และซิงก์กับ Ethereum เมนเน็ตได้
Buterin ได้แสดงความคิดเห็นต่อผลงานนี้เมื่อวันศุกร์ โดยเรียกมันว่าเป็น “การทดลองที่น่าประทับใจมาก” พร้อมระบุข้อแม้ที่สำคัญหลายประการ และชี้ให้เห็นความเป็นไปได้ที่ AI อาจเร่งการเดินหน้าโรดแมปของ Ethereum ให้เร็วเกินกว่าที่ชุมชนคาดไว้ในตอนนี้
Buterin พูดตรงไปตรงมาถึงสิ่งที่โปรเจ็กต์นี้ไม่ใช่: เนื่องจากสร้างขึ้นโดยไม่มี Ethereum Improvement Proposal อย่างเป็นทางการ มันเกือบจะแน่นอนว่ามีบั๊กสำคัญ และน่าจะมีส่วนที่เป็นเวอร์ชัน “stub” ของฟีเจอร์ต่าง ๆ ที่ AI ไม่ได้พยายามลงมือเขียนให้สมบูรณ์จริง ๆ
เขาให้เหตุผลว่า จุดสำคัญคือแนวโน้ม (trajectory) มากกว่าตัวผลลัพธ์เอง เมื่อหกเดือนก่อน เขาเขียนไว้ว่า แม้แต่เพียงโปรโตไทป์ที่มีขอบเขตระดับนี้ก็ยัง “อยู่นอกเหนือกรอบความเป็นไปได้อย่างสิ้นเชิง”
ความเร็ว vs. ความปลอดภัย
Buterin ได้วางกรอบแนวทางที่เหมาะสมต่อการพัฒนาซอฟต์แวร์ด้วย AI ว่าควรแบ่ง “กำไร” ที่ได้จาก AI ระหว่างความเร็วและความปลอดภัย แทนที่จะเอาทั้งหมดไปทุ่มกับความเร็วเพียงอย่างเดียว
โมเดลที่เขาชอบคือ ใช้ AI สร้างชุดเทสต์เคสจำนวนมากขึ้น ตรวจพิสูจน์ให้เป็นทางการว่าโค้ดถูกต้อง และสร้างเวอร์ชันอิสระหลายชุดของคอมโพเนนต์เดียวกันเพื่อใช้ตรวจสอบไขว้กัน
ผู้ร่วมงานในโปรเจ็กต์ LeanEthereum ซึ่งมีเป้าหมายเพื่อพิสูจน์ความถูกต้องอย่างเป็นทางการของโค้ด Ethereum ทั้งหมด เมื่อไม่นานมานี้ได้ใช้ AI สร้าง proof ที่เครื่องสามารถตรวจสอบได้สำหรับหนึ่งในทฤษฎีบทที่ซับซ้อนที่สุดซึ่งเป็นพื้นฐานความปลอดภัยของ STARK
ในกรอบคิดของ Buterin นี่คือเคสการใช้งานที่มีมูลค่าสูงกว่า: ไม่ใช่การปล่อยของให้เร็วขึ้น แต่คือการปล่อยโค้ดที่ตรวจพิสูจน์ความถูกต้องได้มากขึ้น
อ่านเพิ่มเติม: 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