Lighter เปิดเผยวงจรการพิสูจน์ความรู้แบบซีโร่-โนว์เลจสู่สาธารณะหลังผ่านการตรวจสอบความปลอดภัย

สรุปสั้น:

• Lighter เผยแพร่โค้ดการตรวจสอบ zero-knowledge proof หลังจากตรวจสอบวงจร perpetual และ spot เสร็จสมบูรณ์
• การเปิดเผยโค้ดแบบโอเพนซอร์สช่วยให้สามารถตรวจสอบคำสั่งซื้อ การยกเลิก และการชำระบัญชีบน Ethereum ได้อย่างอิสระ
• โปรโตคอลประมวลผลคำสั่งซื้อและการยกเลิกประมาณ 500 ล้านรายการต่อวันผ่านระบบการตรวจสอบ
• นักพัฒนาสามารถสร้างวงจรโดยใช้สคริปต์จาก GitHub repository เพื่อให้ตรงกับสมาร์ทคอนแทรกต์ Ethereum ที่นำไปใช้งาน

---

Lighter ได้เปิดเผยโค้ดการตรวจสอบ zero-knowledge proof ต่อสาธารณะหลังจากการตรวจสอบความปลอดภัยอย่างครอบคลุมของวงจรการเทรด perpetual และ spot เสร็จสิ้น 

โปรโตคอล Layer 2 เผยแพร่โค้ดที่ตรวจสอบการดำเนินการ on-chain ทั้งหมด รวมถึงการวางคำสั่งซื้อ การยกเลิก และการชำระบัญชี 

การเปิดเผยครั้งนี้ช่วยให้สามารถตรวจสอบการทำงานของ Lighter L2 และการรักษาความปลอดภัยบน Ethereum ได้อย่างอิสระ การดำเนินการนี้แสดงให้เห็นถึงการก้าวสู่ความโปร่งใสที่มากขึ้นในโครงสร้างพื้นฐานของตลาดแลกเปลี่ยนแบบกระจายอำนาจ

ระบบการตรวจสอบวงจรแบบครบถ้วนพร้อมใช้งานแล้ว

โปรโตคอลประกาศการเผยแพร่ผ่านช่องทางอย่างเป็นทางการ โดยระบุว่าการตรวจสอบวงจร perpetual และ spot เสร็จสิ้นก่อนการเปิดเผยโค้ด 

วงจร Lighter สามารถเข้าถึงได้บน GitHub ที่ repository elliottech/lighter-prover ผู้ใช้สามารถรันสคริปต์ build_circuits.sh ด้วยการตั้งค่าเริ่มต้นเพื่อสร้างเลเยอร์วงจรทั้งหมดตั้งแต่ต้น กระบวนการนี้จะสร้างสัญญา ZkLighterVerifier ที่อัปเดตซึ่งตรงกับเวอร์ชันที่นำไปใช้งาน

Lighter Verifier Proxy ทำงานที่แอดเดรส Ethereum เฉพาะ ซึ่งบันทึกไว้บน Etherscan เพื่อการตรวจสอบสาธารณะ 

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

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

หากไม่มีหลักฐานการเข้ารหัสที่ถูกต้อง ระบบจะปฏิเสธการเปลี่ยนแปลงสถานะบน Ethereum กลไกนี้ป้องกันการแก้ไขที่ไม่ได้รับอนุญาตต่อสถานะบล็อกเชน

ตัวชี้วัดประสิทธิภาพและโครงสร้างพื้นฐานการตรวจสอบ

ระบบ zero-knowledge proof จัดการปริมาณการเทรดจำนวนมากในขณะที่รักษาการรับประกันความปลอดภัย 

Lighter ประมวลผลธุรกรรมหลายร้อยล้านรายการผ่านวงจรการตรวจสอบในแต่ละวัน ทีมงานยังคงปรับปรุงประสิทธิภาพของโครงสร้างพื้นฐานการพิสูจน์ โปรโตคอลอ้างว่าบรรลุธุรกรรมต่อวินาทีสูงสุดในบรรดาโซลูชัน Ethereum Layer 2

กระบวนการตรวจสอบครอบคลุมประเภทการดำเนินการหลายประเภทภายในระบบการเทรด คำสั่งซื้อ การยกเลิก และการชำระบัญชีทั้งหมดต้องผ่านการตรวจสอบการเข้ารหัสก่อนที่จะเกิดการอัปเดตสถานะ 

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

การเปิดเผยโอเพนซอร์สช่วยให้นักพัฒนาบล็อกเชนและนักวิจัยด้านความปลอดภัยสามารถตรวจสอบตรรกะการตรวจสอบได้ 

ทีมเทคนิคสามารถตรวจสอบการนำการเข้ารหัสไปใช้และตรวจสอบความถูกต้องของโมเดลความปลอดภัย ความโปร่งใสนี้ช่วยสร้างความมั่นใจในสถาปัตยกรรมของแพลตฟอร์ม การเปิดเผยโค้ดเป็นไปตามแนวปฏิบัติที่ดีที่สุดของอุตสาหกรรมสำหรับโซลูชันการขยายขนาด Layer 2

โพสต์ Lighter Open-Sources Zero-Knowledge Proof Circuits Following Security Audits ปรากฏครั้งแรกบน Blockonomi