เวลาตรวจสอบล่าสุด:
(UTC+0)
มูลค่าสำรองส่วนเกิน:
$ B
อัลกอริทึม:
Merkle Tree + zk-SNARKs
อัตราหลักฐานสำรองทั้งหมด:
Merkle Root Hash:
ยอดสุทธิของลูกค้า
$
ยอดคงเหลือของ Gate Wallet
$
มูลค่าสำรองส่วนเกิน
$
Not Data
แพลตฟอร์มการซื้อขายแบบรวมศูนย์จะเก็บบัญชีแยกประเภทไว้ในฐานข้อมูลเพื่อบันทึกสินทรัพย์ของผู้ใช้ ดังนั้นแพลตฟอร์มจึงเผชิญกับความท้าทายในการพิสูจน์ว่าสามารถรักษาทรัพย์สินของผู้ใช้ทั้งหมดให้อยู่ในสภาพที่ดีและเต็มจำนวน
Gate.io ใช้ Merkle tree เพื่อแก้ไขปัญหานี้ โดยจัดเก็บค่าแฮชของสินทรัพย์บัญชีของผู้ใช้แต่ละคนในโหนดปลายสุดของ Merkle tree ผู้ใช้ทุกคนสามารถตรวจสอบจำนวนทรัพย์สินของผู้ใช้ทั้งหมดที่จัดเก็บไว้ในโหนดปลายสุดของ Merkle tree และตรวจสอบว่ามีเงินผ่านหน่วยงานตรวจสอบบุคคลที่สามหรือไม่
หากสินทรัพย์ที่จัดเก็บไว้ในแผนผัง Merkle ได้รับการตรวจสอบว่ามากกว่าหรือเท่ากับ 100% หมายความว่าสินทรัพย์ของผู้ใช้จะถูกเก็บไว้เต็มบนแพลตฟอร์ม เช่น แพลตฟอร์มให้หลักฐานการสำรอง 100% สำหรับสินทรัพย์ของผู้ใช้
หากจำนวนโทเค็นทั้งหมดที่อยู่ในการจัดการของแพลตฟอร์มให้บริการแลกเปลี่ยนบนบล็อกเชนตรงหรือเกินยอดรวมของบัญชีผู้ใช้ทั้งหมดตามที่บันทึกไว้ในภาพรวม แพลตฟอร์มจะรักษาส่วนต่าง 100% สำหรับโทเค็นเหล่านั้น
เมื่อคุณใช้กระเป๋าเงินร้อนหรือเย็น คุณจะโอนจำนวนเงินที่กำหนดแบบสุ่มไปยังที่อยู่ที่กำหนดโดยบริษัทตรวจสอบเพื่อพิสูจน์ความเป็นเจ้าของกระเป๋าเงินของคุณ
บริษัทตรวจสอบจะเพิ่มยอดคงเหลือของที่อยู่ที่เกี่ยวข้องเพื่อคำนวณยอดรวมที่เกี่ยวข้องกับการทำธุรกรรม (รวมถึงทรัพย์สินของผู้ใช้และทรัพย์สินที่เป็นของตนเองของแพลตฟอร์ม)
โปรดดูแผนภาพด้านล่างเพื่อดูภาพประกอบ หลังจากที่สร้าง Merkle Tree สำเร็จแล้ว Leaf Node จะถูกส่งออกเป็นไฟล์ข้อความธรรมดา ซึ่งผู้ตรวจสอบจะเผยแพร่พร้อมกับแฮชรูท Merkle
ในวิทยาการเข้ารหัสลับและวิทยาการคอมพิวเตอร์ ต้นไม้แฮชหรือต้นไม้ Merkle คือต้นไม้ที่ทุกโหนดลีฟถูกระบุด้วยแฮชการเข้ารหัสของบล็อกข้อมูล ทุกโหนดที่ไม่ใช่ลีฟจะถูกระบุด้วยแฮชของเลเบลของโหนดย่อย ต้นไม้แฮชช่วยให้การตรวจสอบเนื้อหาของโครงสร้างข้อมูลขนาดใหญ่มีประสิทธิภาพและปลอดภัย
ก. จำนวนสินทรัพย์ทั้งหมดที่จัดการโดยแพลตฟอร์มรวมถึงยอดสินทรัพย์รวมของผู้ใช้ทั้งหมด
ข. ยอดคงเหลือสุทธิของผู้ใช้แต่ละรายมีค่ามากกว่าหรือเท่ากับศูนย์
ค. การเปลี่ยนแปลงสินทรัพย์ของผู้ใช้จะส่งผลให้ค่าแฮชรูทของ Merkle เปลี่ยนไป
zk-SNARK ย่อมาจาก Zero-Knowledge Succinct Non-Interactive Argument of Knowledge เป็นเครื่องมือที่ก้าวล้ำซึ่งมีรากฐานมาจากการเข้ารหัส การใช้อัลกอริธึมทางคณิตศาสตร์ขั้นสูงทำให้สามารถตรวจสอบจำนวนเงินสำรองได้อย่างเชี่ยวชาญโดยไม่ต้องเปิดเผยรายละเอียดสินทรัพย์เฉพาะ zk-SNARK ไม่เพียงแต่อำนวยความสะดวกในการตรวจสอบทรัพย์สินอย่างรวดเร็วเท่านั้น แต่ยังลบล้างความเสี่ยงในการละเมิดความเป็นส่วนตัวอีกด้วย เนื่องจากประโยชน์เหล่านี้ ประกอบกับลักษณะที่ไม่มีการโต้ตอบและความสามารถในการปรับขยายได้สูง จึงพบแอปพลิเคชันมากมายในด้านต่างๆ เช่น การยืนยันการทำธุรกรรมบนเครือข่าย การปกป้องความเป็นส่วนตัวของข้อมูล และการยืนยันตัวตน
1. ติดตั้งโปรแกรมและดาวน์โหลดข้อมูล:
ขั้นแรก ดาวน์โหลดโปรแกรมการยืนยันผ่านลิงก์ที่ให้ไว้ หรือเข้าถึง GitHub เพื่อดาวน์โหลดโปรแกรมการยืนยัน แล้วเปลี่ยนชื่อเป็น main
เข้าถึง หน้าการตรวจสอบ และค้นหาชุดงานที่คุณต้องการตรวจสอบ คลิกที่ [ดาวน์โหลด Merkle Tree] และ [ดาวน์โหลดการกำหนดค่าผู้ใช้] เพื่อดาวน์โหลดข้อมูล
แตกไฟล์บีบอัด zkmerkle_cex_xxx.tar.gz วางโปรแกรม main ไว้ในโฟลเดอร์นี้ และใส่ไฟล์ user_config.json ไว้ใน >config โฟลเดอร์
ตอนนี้โฟลเดอร์โปรแกรมอยู่
zkmerkle_cex_xxx
Config
cex_config.json
user_config.json
proof.csv
zkpor864.vk.save
main
2. การตรวจสอบทรัพย์สิน:
จาก cmd หรือเทอร์มินัล ให้ใช้คำสั่ง cd เพื่อนำทางไปยังโฟลเดอร์ที่ดาวน์โหลด เช่น cd ~/Downloads/zkmerkle_cex_xxx
(ก่อนรันโปรแกรม คุณอาจต้องรัน chmod 777 main เพื่อให้สิทธิ์หรือตั้งค่ารายการความปลอดภัย)
ดำเนินการคำสั่งต่อไปนี้เพื่อเริ่มการตรวจสอบ
./main verify cex
เมื่อตรวจสอบสำเร็จ ข้อความจะปรากฏขึ้น
All proofs verify passed!!!
สำหรับเอกสารทางเทคนิคโดยละเอียดและหลักการตรวจสอบ โปรดตรวจสอบ โครงการโอเพ่นซอร์ส GitHub
HACKEN
สำนักงานตรวจสอบบัญชีเวลาตรวจสอบ
January 3, 2024
ผู้ตรวจสอบบัญชี
Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski
รายงานการตรวจสอบ
Gate.io PoR Implementation