Zero-knowledge Proofs นั้นได้เคยขับเคลื่อนการพัฒนาของ Ethereum เลเยอร์ 2 มาแล้ว และ Bitcoin ก็กำลังจะเป็นคิวถัดไป
เร็วๆ นี้ ผู้ใช้จะสามารถใช้ Zero-knowledge Proofs (ZK-proofs) เพื่อเร่งกระบวนการตรวจสอบบล็อกแต่ละบล็อก และสุดท้ายคือบล็อกเชนทั้งหมด ของ Bitcoin
ZeroSync Association ซึ่งเป็นองค์กรไม่แสวงหากำไรในสวิส กำลังพัฒนาเครื่องมือที่ช่วยให้ผู้ใช้สามารถตรวจสอบสถานะของเครือข่าย Bitcoin ได้ โดยไม่ต้องดาวน์โหลด blockchain หรือเชื่อถือบุคคลที่สามในการตรวจสอบ
ZeroSync ก่อตั้งขึ้นเพื่อพัฒนาและบำรุงรักษาซอฟต์แวร์โอเพ่นซอร์สที่เปิดใช้งาน ZK-proofs ที่รวบรัดบนบล็อกเชน Bitcoin โดยใช้การพิสูจน์ความถูกต้อง Zero-Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) ที่เป็นกรรมสิทธิ์ของ StarkWare เพื่อสร้าง ZK-proofs สำหรับเครือข่าย Bitcoin
เครื่องมือนี้ได้ให้คำมั่นว่าจะยกเครื่องกระบวนการตรวจสอบบล็อกเชน Bitcoin ซึ่งยังคงต้องการให้ผู้ให้บริการโหนดดาวน์โหลดข้อมูลจำนวนมากเพื่อซิงโครไนซ์สถานะที่ถูกต้องของเครือข่าย Bitcoin
ZeroSync ใช้ ZK-proofs เพื่อสร้างการพิสูจน์ที่ถูกต้องและยืนยันสถานะล่าสุดของ blockchain ได้เกือบจะในทันที
ZK-proofs ได้รับการเปิดเผยบนระบบนิเวศ Ethereum ด้วยวิธีการพิสูจน์ที่หลากหลายที่ขับเคลื่อนแพลตฟอร์มการปรับขนาดของเลเยอร์ 2 หลายตัว รวมถึง Polygon, Arbitrum, Optimism และ StarkNet
การประกาศจาก ZeroSync Association เน้นถึงคำมั่นสัญญาของ ZK-proofs สำหรับความสามารถในการปรับขนาดและความเป็นส่วนตัวของ blockchain โดยจัดเตรียมการพิสูจน์หลักฐาน “ขนาดเกือบคงที่” เพื่อยืนยันการคำนวณขนาดใหญ่
งานของโครงการนั้นนับว่าเป็นผู้บุกเบิกการประยุกต์ใช้ ZK-proofs สำหรับเครือข่าย Bitcoin โดยองค์กรได้อธิบายความเรียบง่ายสัมพัทธ์ของ Bitcoin และรูปแบบ Unspent Transaction Output (UTXO) ว่าเป็นคุณค่าที่ไม่เหมือนใครสำหรับการใช้การพิสูจน์ซ้ำ
ZeroSync ตั้งข้อสังเกตว่าเครื่องมือ ZK-Proof ไม่ต้องการการเปลี่ยนแปลงที่เป็นเอกฉันท์หรือสมมติฐานความน่าเชื่อถือเพิ่มเติมสำหรับเครือข่าย Bitcoin และผู้ใช้ องค์กรกำลังสร้างชุดพัฒนาซอฟต์แวร์ที่จะช่วยให้นักพัฒนาสร้างการพิสูจน์ความถูกต้องแบบกำหนดเองสำหรับกรณีการใช้งานเฉพาะโดยไม่ต้องใช้ความเชี่ยวชาญด้านโดเมนเชิงลึก
ZeroSync กำลังอยู่ในขั้นตอนของการสร้าง client สำหรับการดาวน์โหลดบล็อกเริ่มต้นที่รวดเร็ว รวมถึงการดำเนินการพิสูจน์ฉันทามติ Bitcoin ฉบับสมบูรณ์เป็นครั้งแรก client จะอนุญาตให้ผู้ใช้ซิงค์โหนดแบบเต็มโดยไม่ต้องทำการเปลี่ยนแปลงรหัสกับ Bitcoin core
ZeroSync ใช้ภาษาโปรแกรม Cairo ซึ่งบุกเบิกโดย StarkWare เพื่อสร้างโปรแกรมที่พิสูจน์ได้ของ STARK สำหรับการคำนวณ
ขณะนี้เครื่องมือของ ZeroSync อยู่ในสถานะต้นแบบ แต่มีความสามารถในการพิสูจน์ความถูกต้องของบล็อกที่สันนิษฐานว่าถูกต้องแต่ละรายการ ซึ่งจะตรวจสอบกฎ Bitcoin ทั้งหมดยกเว้น scripts ทีมงานยังมีตัวตรวจสอบตัวอย่างในเบราว์เซอร์ที่ใช้งานได้สำหรับการพิสูจน์ STARK ของบล็อค Bitcoin
เริ่มแรกสมาคม ZeroSync ได้รับทุนสนับสนุนจาก Geometry และ StarkWare แต่กำลังจัดตั้งหน่วยงานที่ไม่แสวงหาผลกำไรเพื่อให้มีการพัฒนาและบำรุงรักษาอย่างต่อเนื่องจากผู้มีส่วนได้ส่วนเสียภายในชุมชน Bitcoin
คำแถลงจากประธาน StarkWare และผู้ร่วมก่อตั้ง Eli Ben-Sasson ผู้ร่วมคิดค้น zk-STARKS สรุปความสำคัญของการพิสูจน์ ZK ที่มาถึงระบบนิเวศ Bitcoin:
“หลังจากหลายปีแห่งความผิดหวังเกี่ยวกับการซิงค์ที่ช้า ผู้ใช้จะสามารถซิงค์กับเครือข่ายได้เร็วขึ้นมาก และใช้การคำนวณน้อยลง เป็นการก้าวกระโดดทางเทคโนโลยีที่คล้ายกับการเปลี่ยนจากอินเทอร์เน็ตผ่านสายโทรศัพท์ที่ช้าไปสู่บรอดแบนด์ความเร็วสูง”
Lightning Labs ทีมงานที่อยู่เบื้องหลังระบบการชำระเงิน Lightning Network ซึ่งเป็นเลเยอร์ 2 ของ Bitcoin ก็เป็นพันธมิตรที่มีส่วนร่วมในโครงการของ ZeroSync ด้วย
บริษัทตั้งใจที่จะใช้ ZeroSync เพื่อขับเคลื่อนการพิสูจน์ประวัติการทำธุรกรรมแบบบีบอัดสำหรับโปรโตคอล Taproot Asset Representation Overlay (Taro) ซึ่งมีจุดมุ่งหมายเพื่อขับเคลื่อนการออกสินทรัพย์ดิจิทัลบนบล็อกเชน Bitcoin
อ่านบทความที่เกี่ยวข้อง: ทำความรู้จัก ZK-rollups ตัวช่วยปรับขนาดบนเครือข่าย Ethereum
ที่มา LINK
