ZKsync พิสูจน์บล็อกอีเธอเรียม 99% ใน 10 วินาที แต่ต้นทุนบล็อกหนักสุดยังต้องแยกดู

ZKsync(จีเคซิงก์) เปิดเผยผลทดสอบเมื่อวันที่ 13 ตุลาคม ว่าสามารถพิสูจน์บล็อกเมนเน็ตของอีเธอเรียม(ETH) จำนวน 7,200 บล็อก ด้วย GPU เพียงตัวเดียว โดย 99% ของบล็อกตัวอย่างพิสูจน์เสร็จภายใน 10 วินาที อย่างไรก็ตาม ตัวเลขนี้ยังบอกไม่ได้ว่าต้นทุนการพิสูจน์ของบล็อกที่หนักที่สุดภายใต้เพดานแก๊สจะอยู่ในระดับเดียวกัน

การทดสอบ Airbender Prime ใช้ GPU เอ็นวิเดีย(NVIDIA) RTX PRO 6000 Blackwell เพียงหนึ่งตัว บล็อกตัวอย่าง 99% พิสูจน์เสร็จภายใน 10 วินาทีต่อบล็อก รวมเวลาเตรียมข้อมูลพยาน (witness data) แล้ว ส่วนบล็อกทั้งหมดพิสูจน์เสร็จภายใน 12 วินาที ข้อมูลพยานคืออินพุตและข้อมูลระหว่างทางที่ต้องใช้พิสูจน์ว่าการประมวลผลถูกต้อง ตัวเลขนี้เป็นผลลัพธ์จากตัวอย่างและการตั้งค่าชุดนี้เท่านั้น ไม่ได้แปลว่าบล็อกที่หนักที่สุดที่เป็นไปได้จะใช้เวลาเท่ากัน

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

ข้อเสนอปรับปรุงอีเธอเรียม EIP-7904 ก็ไม่ได้ปิดช่องว่างนี้โดยตรง เอกสารดังกล่าวตั้งสมมติฐานว่าไคลเอนต์ที่ปรับแต่งแล้วประมวลผลบน CPU ได้ 100 ล้านแก๊สต่อวินาที และสรุปว่าไม่จำเป็นต้องปรับต้นทุนแก๊สของการคำนวณที่วิเคราะห์ แต่เอกสารระบุเองว่าเป็นการวิเคราะห์เวลาประมวลผลบน CPU และไม่ได้ครอบคลุมภาระเฉพาะของการสร้างการพิสูจน์แบบ ZK-SNARK ปัจจุบัน EIP-7904 มีสถานะเป็นข้อเสนอแบบ ‘Informational’ ผลวิเคราะห์แก๊สบน CPU ที่ออกมาเหมาะสมจึงยังไม่พอจะสรุปว่าต้นทุนการพิสูจน์คาดการณ์ได้

งานวิจัยที่วัดผลรายการคำนวณทีละประเภทช่วยเสริมเหตุผลว่าควรดูกรณีเลวร้ายที่สุดแยกต่างหาก งานวิจัยของลิน โอชิทานิ(Lin Oshitani) จาก Nethermind Research ซึ่งเผยแพร่ในเวทีวิจัยอีเธอเรียม ทดสอบ SP1 v5.2.3 และ RISC0 v3.0.4 บน GPU เอ็นวิเดีย GeForce RTX 4090 จำนวน 4 ตัว ทีมวิจัยรายงานว่า พรีคอมไพล์ด้านการเข้ารหัสบางส่วน รวมถึงการคำนวณเลขคณิตมอดูลาร์และการหาร ใช้เวลาพิสูจน์ต่อหน่วยแก๊สค่อนข้างนาน นอกจากนี้ จำนวนรอบ ZK กับเวลาพิสูจน์จริงก็ไม่สอดคล้องกันอย่างสม่ำเสมอในแต่ละการคำนวณ พรีคอมไพล์คือส่วนประกอบของ EVM ที่ให้ฟังก์ชันแยกสำหรับการคำนวณซับซ้อนที่ใช้บ่อย ผลนี้เป็นค่าที่วัดได้จากตัวพิสูจน์ ฮาร์ดแวร์ และการตั้งค่าเฉพาะชุดหนึ่งเท่านั้น

งานวิจัยดังกล่าวยังเสนอแนวทางหนึ่ง คือคำนวณ ‘ZK Gas’ ที่ถ่วงน้ำหนักตามประเภทการคำนวณ แล้วกำหนดเพดานต่อบล็อก เป็นตัวอย่างที่อาจนำไปใช้ได้ แนวคิดคือให้การคำนวณที่สร้างภาระการพิสูจน์สูงชนเพดานแยกก่อนจะถึงเพดานแก๊สปกติ แต่เพดานนี้จะมีประสิทธิผลได้ก็ต่อเมื่อคิดรวมการเปลี่ยนแปลงของต้นทุนตามอินพุต ภาระคงที่ของทั้งบล็อก และขั้นตอนรวมการพิสูจน์ด้วย ทีมวิจัยระบุว่าจำเป็นต้องมีงานต่อยอดที่วัดผลโดยเปลี่ยนอินพุตให้หลากหลาย ส่วน ZK Gas ยังไม่มีเอกสารยืนยันว่าถูกนำมาเป็นกฎของโปรโตคอลอีเธอเรียม

การสาธิตพิสูจน์เร็วเป็นบันทึกผลของตัวอย่างชุดหนึ่ง ส่วนการวิเคราะห์แก๊สใน EIP-7904 เป็นข้อสรุปเรื่องอัตราประมวลผลของ CPU ทั้งสองผลไม่ได้พิจารณาต้นทุนการพิสูจน์ของบล็อกในกรณีเลวร้ายที่สุดโดยตรง การจะบอกว่ามีเพดานต้นทุนการพิสูจน์แล้ว ต้องตรวจสอบบล็อกกรณีเลวร้ายที่สุดควบคู่กับเกณฑ์ฮาร์ดแวร์และเวลาที่ระบุชัดเจน กำหนดส่งความเห็นสุดท้ายของ EIP-7904 คือวันที่ 1 พฤศจิกายน 2026