วิตาลิก บูเทอริน: บล็อกเชนกำลังก้าวเข้าสู่ยุคการคำนวณใหม่ ที่การประชุมระดับโลกด้านบล็อกเชน (Shanghai Blockchain Week) วิตาลิก บูเทอริน ได้ชี้ให้เห็นว่า พิสูจน์แบบ ZK การตรวจสอบอย่างเป็นทางการ และ AI จะเปลี่ยนโครงสร้างพื้นฐานของบล็อกเชนในเร็วๆ นี้ จุดสำคัญของเขา: แบบจำลองเก่า — ที่โหนดทุกตัวต้องรันคำนวณเดียวกันซ้ำๆ — กำลังถูกปลดระวาง ด้วย SNARKs/STARKs ฝ่ายหนึ่งจะคำนวณและพิสูจน์ ส่วนที่เหลือแค่ตรวจสอบ Recursive STARKs (ที่เชื่อมโยงกับข้อเสนอ EIP-8288 ของเขา) สามารถรวมพิสูจน์หลายชุดเข้าเป็นหนึ่งเดียว ลดข้อมูลบนบล็อกเชนและค่าใช้จ่าย ร่วมกับ EIP-8141 (การแบ่งธุรกรรมออกเป็นการกระทำที่สามารถประมวลผลแบบขนาน) และ FOCIL (การสร้างบล็อกแบบกระจายศูนย์) เป้าหมายคือการสร้างระบบกระบวนการคำนวณแบบเต็มรูปแบบ — ตั้งแต่การรันบนอุปกรณ์ส่วนตัว ไปจนถึง mempools การรวมพิสูจน์ L2 และ L1 — ที่สามารถขยายขนาดได้โดยไม่สูญเสียการกระจายศูนย์ ในเรื่องของ AI บูเทอรินมองว่ามันเป็นโครงสร้างพื้นฐานที่จำเป็นสำหรับขั้นตอนถัดไป: การเขียน/ตรวจสอบโค้ด การสร้างข้อกำหนด และการรันการตรวจสอบอย่างเป็นทางการในระดับที่มนุษย์ไม่สามารถทำได้ด้วยตนเอง — ซึ่งเขาบอกว่าเป็นกุญแจสำคัญในการแก้ช่องโหว่ด้านความปลอดภัยของ L2 ในปัจจุบัน เขาเรียกร้องให้นักพัฒนาหยุดออกแบบระบบที่อิงจากสมมติฐานว่าคริปโตขั้นสูงและการตรวจสอบอัตโนมัติไม่สามารถใช้งานได้จริง — เพราะข้อจำกัดนี้กำลังหายไปอย่างรวดเร็ว #Ethereum #Buterin #ZKProofs #Blockchain #Web3 #AI #Crypto