ราคา Zcash พุ่งขึ้น 13% ในรอบสัปดาห์ ขณะที่เครือข่ายเตรียมอัปเกรด Ironwood

การอัปเกรดนี้มีที่มาจากการค้นพบเมื่อวันที่ 29 พฤษภาคม นักวิจัยด้านความปลอดภัย Taylor Hornby ซึ่งทำงานตามสัญญาให้กับ Shielded Labs พบข้อบกพร่องด้านความถูกต้อง (soundness flaw) ภายในโค้ดเส้นโค้งวงรีของพูลแบบปกปิด Orchard (Orchard shielded pool) บั๊กดังกล่าวอยู่ในส่วนหนึ่งของ crate halo2_gadgets ที่จัดการการคูณจุด (point multiplication) ผู้พิสูจน์ (prover) สามารถสลับใช้จุดฐาน (base point) ที่ไม่ถูกต้องได้ แต่ยังทำให้วงจร (circuit) ยอมรับหลักฐาน (proof) ที่ไม่ถูกต้องได้

ข้อบกพร่องนั้นสำคัญเพราะ Orchard ถูกออกแบบให้ซ่อนผู้ส่ง ผู้รับ และจำนวนเงินโดยตั้งใจ โน้ตปลอมที่สร้างขึ้นภายในพูลจะดูไม่ต่างจากของจริง บั๊กนี้ฝังอยู่ในโค้ดมาตั้งแต่ Orchard เปิดใช้งานในเดือนพฤษภาคม 2022 ในฐานะส่วนหนึ่งของการอัปเกรด NU5

แพตช์รวดเร็ว ไม่มีความสูญเสียที่ยืนยันได้

วิศวกรแกนหลักของ Zcash รวมถึง Daira-Emma Hopwood, Kris Nuttycombe และ Jack Grigg ยืนยันปัญหานี้ภายในไม่กี่ชั่วโมงหลังรายงานของ Hornby มีการทำซอฟต์ฟอร์กเพื่อปิดใช้งานการกระทำใหม่ของ Orchard ราววันที่ 1 มิถุนายนเพื่อจำกัดความเสี่ยง ต่อมามีฮาร์ดฟอร์ก NU6.2 ในวันที่ 3 มิถุนายน พร้อมกุญแจตรวจสอบ (verifying key) ที่แก้ไขแล้ว ทำให้ฟังก์ชันของ Orchard กลับมาใช้งานได้เต็มรูปแบบ

ธุรกรรม Orchard ถูกหยุดชั่วคราวประมาณหนึ่งวันระหว่างการปล่อยอัปเดต การโอนแบบ Transparent และ Sapling ยังคงทำงานตลอดเวลา ทั้ง Zcash Open Development Lab และ Shielded Labs ระบุว่าไม่พบหลักฐานว่าบั๊กนี้เคยถูกนำไปใช้โจมตี และการทำบัญชีแบบ turnstile ของเครือข่ายซึ่งติดตามมูลค่าที่เข้าและออกจากแต่ละพูลก็ไม่แสดงสัญญาณของการมิ้นต์โดยไม่ได้รับอนุญาต

อย่างไรก็ตามมีข้อจำกัดที่นักพัฒนาแก้ด้วยแพตช์ไม่ได้ ความเป็นส่วนตัวของ Orchard ทำให้ไม่มีใครพิสูจน์ “เชิงลบ” ได้ ไม่มีวิธีการเข้ารหัสลับใดที่ยืนยันได้ว่าการปลอมแปลงไม่เคยเกิดขึ้น ทำได้เพียงบอกว่า “น่าจะไม่ได้เกิดขึ้น” เท่านั้น

Ironwood ปิดช่องว่าง

Ironwood ซึ่งประกาศเมื่อวันที่ 6 มิถุนายน คือคำตอบสำหรับความไม่แน่นอนที่เหลืออยู่ โดยจัดส่งในชื่อ NU6.3 และสร้างโดย ZODL ร่วมกับ Tachyon, Valar Group, Zcash Foundation และ Shielded Labs

การอัปเกรดนี้เปิดพูลแบบปกปิด Ironwood ใหม่ที่สร้างบนวงจร Orchard ที่ถูกแพตช์แล้ว และขณะนี้มีการยืนยันเชิงรูปแบบ (formal verification) อย่างต่อเนื่องพร้อมการตรวจสอบอิสระเพิ่มเติม ในเวลาเดียวกัน พูล Orchard เดิมจะถูก “ปิดผนึก” กระเป๋าเงินจะบล็อกการฝากใหม่เข้าไป การโอนภายในระหว่างผู้ใช้ภายในพูลจะถูกปิดใช้งาน และเงินจะออกได้เพียงผ่าน turnstile ไปยัง Ironwood หรือไปยังที่อยู่แบบโปร่งใส (transparent address) เท่านั้น

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

Ironwood ยังมาพร้อม ZIP 2005 ซึ่งเป็นชุดการเปลี่ยนแปลงรูปแบบโน้ตที่มีเป้าหมายเพื่อรองรับการกู้คืนในอนาคตภายใต้สถานการณ์การประมวลผลแบบ ควอนตัม มันยังไม่ได้ทำให้ Zcash ปลอดภัยต่อควอนตัมในวันนี้ แต่เป็นการวางรากฐานเพื่อให้การเปลี่ยนผ่านในภายหลังราบรื่นขึ้น

ไทม์ไลน์และสิ่งที่ผู้ใช้ต้องทำ

การเปิดใช้งานบนเทสต์เน็ตสำหรับ Ironwood เกิดขึ้นราววันที่ 3 และ 4 กรกฎาคม Zebra ซึ่งเป็นไคลเอนต์ Rust ที่ดูแลโดย Zcash Foundation และอิมพลีเมนเทชันอิสระของ Valar Group ต่างกำลังรันทดสอบรุ่นตัวเตรียมปล่อย (release candidates) กับเทสต์เน็ตดังกล่าว

การเปิดใช้งานบนเมนเน็ตตั้งเป้าไว้ราววันที่ 21 กรกฎาคม ผูกกับบล็อกที่ zcashd จะสิ้นสุดการสนับสนุน นักพัฒนาระบุว่าสัญญาณจากแฮชเรตดูพร้อมแล้ว และเวลาทดสอบบนเทสต์เน็ตที่มีอยู่ให้ระยะเตรียมการกับกระเป๋าเงินเพียงพอ ดังนั้นขณะนี้ยังไม่มีแผนเลื่อน

ผู้ดำเนินการโหนดที่ใช้ zcashd รุ่นเก่าจะต้องย้ายไป Zebra หรือไคลเอนต์ที่อัปเดตก่อนวันดังกล่าว คาดว่ากระเป๋าเงินจะเตือนผู้ใช้ให้ย้ายเงินแบบปกปิดออกจากพูล Orchard เดิมโดยให้เกิดความยุ่งยากน้อยที่สุด โดยมากมักต้องแค่กดยืนยันครั้งเดียว

ปฏิกิริยาของตลาด

ราคาของ ZEC เล่าเรื่องราวของตัวเองตลอดหกสัปดาห์ที่ผ่านมา โทเคนร่วงมากกว่า 50% จากราว $630 ลงสู่ช่วง $250 ถึง $300 เมื่อช่องโหว่ถูกเปิดเผยต่อสาธารณะ จากนั้นเด้งกลับแรงหลังแพตช์และแผน Ironwood ถูกประกาศ

ณ วันที่ 4 กรกฎาคม ZEC ซื้อขายอยู่ที่ $462.33 เพิ่มขึ้น 13.3% ในช่วงเจ็ดวันที่ผ่านมา แม้ในรอบ 24 ชั่วโมงล่าสุดจะทรงตัว หากมองระยะยาว เหรียญเพิ่มขึ้นมากกว่า 1,000% ในรอบปี ซึ่งรวมทั้งช่วงพุ่งไปทำจุดสูงสุดในรอบ 52 สัปดาห์ใกล้ $744 ในเดือนพฤศจิกายน 2025 และเหตุการณ์หวาดกลัว Orchard ปลายเดือนพฤษภาคม

นักลงทุน Chamath Palihapitiya ได้ ชี้ให้เห็นอย่างเปิดเผย ว่าโมเดลการตรวจสอบอุปทานของ Ironwood เป็นก้าวที่มีนัยสำคัญสำหรับเหรียญ ทำให้ได้รับความสนใจจากภายนอกต่อสิ่งที่เริ่มต้นจากการแก้บั๊ก

สำหรับตอนนี้ งานที่เหลือคือการประสานงาน ผลการยืนยันเชิงรูปแบบมีกำหนดก่อนเมนเน็ต และผู้ให้บริการกระเป๋าเงิน ตลาดแลกเปลี่ยน และโครงสร้างพื้นฐานยังต้องปล่อยการรองรับที่อัปเดตภายในสองสัปดาห์ครึ่งข้างหน้า