ผู้ก่อตั้ง Gemini อย่าง Tyler และ Cameron Winklevoss ได้ออกมาสนับสนุนการใช้ formal verification เพื่อรักษาความปลอดภัยให้ Zcash (ZEC) และยังเห็นด้วยกับการตีความของนักพัฒนาเกี่ยวกับช่องโหว่ด้านการปลอมแปลงที่เพิ่งได้รับการแก้ไขของ privacy coin นี้
ความคิดเห็นของทั้งสองเกิดขึ้นในช่วงที่ราคาของ ZEC ร่วงลงอย่างหนัก และเน้นไปที่การแก้ไขด้านความปลอดภัยในระยะยาวมากกว่าตัวข้อบกพร่องเอง
ทำไมการสนับสนุนของ Winklevoss ถึงมีความหมายกับ Zcash
Tyler Winklevoss เห็นด้วยกับ Haseeb Qureshi หุ้นส่วนบริหาร Dragonfly ที่ชี้ว่าบั๊กนี้จะส่งผลกระทบกับผู้ถือแบบ shielded เป็นหลักโดยไม่กระทบตลาดโปร่งใส
พี่น้อง Winklevoss ร่วมก่อตั้ง Gemini ซึ่งเป็นกระดานเทรดที่ได้รับการกำกับดูแลในสหรัฐอเมริกา ดังนั้นการสนับสนุนของทั้งสองจึงมีอิทธิพลต่อสถาบันที่กำลัง ถือครองเงินสำรอง ZEC อยู่ในขณะนี้
แต่ขณะที่ AI พบช่องโหว่นี้ AI ก็จะเป็นผู้ส่งมอบทางแก้ให้หมวดหมู่นี้เช่นกัน: formal verification… การเข้ารหัสที่ผ่านการตรวจสอบแบบเป็นทางการ จะไม่มีบั๊กด้านการใช้งานในตัวตั้งแต่แรกเลย ผู้บริหาร Dragonfly กล่าวไว้
ติดตามเราบน X เพื่อรับข่าวสารล่าสุดแบบเรียลไทม์
Formal Verification เส้นทางแห่งความปลอดภัย
Cameron Winklevoss กล่าวว่าการตรวจสอบแบบเป็นทางการจะ ทำให้บั๊กปลอมแปลงใน shielded pool เกิดขึ้นไม่ได้อีก ซึ่งทีมพัฒนา Zcash มีแผนจะเพิ่มวิธีการนี้ในการอัปเกรดเครือข่ายครั้งต่อไป
ตามที่ Qureshi ระบุ การอัปเกรดนี้จะจับคู่ shielded pool ใหม่เข้ากับ turnstile ตัวใหม่ โดยกลไกนี้จะย้ายเงินออกจาก Orchard pool เดิมและพิสูจน์บนเชนว่าไม่มี ZEC ปลอมถูกสร้างขึ้น
แผนนี้สืบเนื่องจาก การแก้ไขบั๊กฉุกเฉินของ Orchard ซึ่งทีมงานได้อุดช่องโหว่นั้นก่อนที่จะมีการโจมตีใด ๆ เกิดขึ้น
Zcash เพิ่งจะบันทึก ปริมาณ shielded ที่สูงเป็นประวัติการณ์ ก่อนที่ความตระหนกจะเกิดขึ้น
ในยุคของ AI การตรวจสอบอย่างเป็นทางการเป็นทางเดินข้างหน้าสำหรับการรักษาความปลอดภัยซอฟต์แวร์และ Zcash กำลังเป็นผู้นำ Zcash จะนำระบบการตรวจสอบอย่างเป็นทางการมาใช้ในการอัปเกรดเครือข่ายครั้งถัดไป ซึ่งจะทำให้บั๊ก “พิมพ์เงิน” ใน shielded pools เป็นไปไม่ได้เลย เงินเข้ารหัสที่ถูกต้องอย่างพิสูจน์ได้จะไม่มีวันหยุดยั้งได้ Cameron Winklevoss กล่าวเสริม
การเทขาย Zcash ในวันศุกร์ได้ลบกำไรบางส่วนจาก รอบปรับตัวขึ้นของ ZEC ที่เกิดขึ้นก่อนหน้าในปี 2026 Qureshi ยังเปิดเผยว่า Dragonfly ถือ ZEC อยู่และเขาเองก็ลงทุนในยานพาหนะที่เกี่ยวข้องด้วย
บริบทตรงนี้จึงมีความสำคัญเมื่อพิจารณาถึงการสนับสนุนเชิงบวกจาก ผู้ถือ ZEC รายใหญ่
การอัปเกรดครั้งถัดไปจะเป็นบททดสอบว่า ความถูกต้องที่พิสูจน์ได้จะสามารถสร้างความเชื่อมั่นต่อเงินส่วนตัวคืนกลับมาได้หรือไม่ จนกว่าจะมี pool ใหม่ที่ยืนยันอุปทาน ทุกคนจึงยังให้มูลค่าต่อความสงสัยอยู่
