ซีแคช(ZEC) เปิดหลักฐาน 2,700 ทฤษฎี หวังลดข้อสงสัยอุปทาน

ซีแคช(ZEC) เปิดเผยหลักฐานตรวจสอบด้วยเครื่องมากกว่า 2,700 ทฤษฎี เพื่อยืนยัน ‘สมดุลความถูกต้อง’ ของพูลธุรกรรมไม่เปิดเผยตัวตนใหม่ ไอรอนวูด(Ironwood) ความเคลื่อนไหวนี้มีเป้าหมายลดข้อสงสัยเรื่องอุปทานในระบบที่ซ่อนทั้งมูลค่าธุรกรรมและผู้เกี่ยวข้อง

เมื่อวันที่ 28 (เวลาท้องถิ่น) โครงการทาคิออน(Project Tachyon) ระบุว่า นักวิจัยและนักวิทยาการเข้ารหัสจาก 3 ทีมใช้เวลาทำงานนานกว่าหนึ่งเดือน โดยหลักฐานทั้งหมดเขียนด้วยภาษาพิสูจน์ทฤษฎี ลีน(Lean) ตามรายงานของ Cointelegraph

หัวใจของการตรวจสอบครั้งนี้คือ ‘สมดุลความถูกต้อง’ หรือ balance integrity หมายถึงเงื่อนไขที่พูลธุรกรรมแบบนิรนามต้องไม่สามารถส่งมูลค่าออกไปได้มากกว่ามูลค่าที่รับเข้ามาอย่างเปิดเผย ประเด็นนี้สำคัญเป็นพิเศษสำหรับ ‘ไพรเวซีคอยน์’ เพราะโครงสร้างของเหรียญประเภทนี้ทำให้บุคคลภายนอกตรวจพบการเพิ่มอุปทานผิดปกติได้ยาก

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

ไอรอนวูดถูกนำมาใช้ผ่านการอัปเกรด NU6.3 ของซีแคช ก่อนหน้านี้ TokenPost รายงานว่า ซีแคชเปิดใช้งานไอรอนวูดที่บล็อกไฮต์ 3,428,143 และปิดผนึกพูลเดิม ออร์ชาร์ด(Orchard) หลังมีการหยิบยกช่องโหว่เชิงทฤษฎีที่อาจทำให้เกิดการปลอมแปลง ZEC โดยตรวจจับไม่ได้

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

เงินที่ย้ายจากออร์ชาร์ดไปยังไอรอนวูดต้องผ่านช่องทางบัญชีสาธารณะที่เรียกว่า เทิร์นสไตล์(turnstile) กลไกนี้เปิดให้ตรวจสอบปริมาณเงินที่ไหลออกจากพูลเดิมอย่างโปร่งใส เพื่อป้องกันไม่ให้เงินที่เกินกว่าจำนวนที่ตรวจสอบแล้วเข้าสู่พูลใหม่

การตรวจสอบแบบเป็นทางการ หรือ formal verification เป็นวิธีพิสูจน์ทางคณิตศาสตร์ว่าโค้ดทำงานตามข้อกำหนดที่ตั้งไว้ หากการตรวจสอบทั่วไปเน้นดูโค้ดและการออกแบบ การตรวจสอบแบบเป็นทางการจะเน้นพิสูจน์ด้วยเครื่องว่าไม่มีข้อยกเว้นในขอบเขตที่กำหนด แต่หากสมมติฐานทางคริปโตกราฟีหรือขั้นตอนนำไปใช้จริงมีปัญหา ความหมายของหลักฐานก็อาจเปลี่ยนไปได้

ความคิดเห็นในตลาดยังค่อนข้างระมัดระวัง ก่อนหน้านี้ ZEC ร่วงลงเกือบ 40% แม้มีการแพตช์ช่องโหว่แล้ว การเปิดเผยหลักฐานของไอรอนวูดครั้งนี้จะช่วยลดข้อสงสัยเรื่องความถูกต้องของอุปทานได้มากเพียงใด ยังต้องติดตามจากกระบวนการย้ายเงินออกจากออร์ชาร์ดในระยะต่อไป