Gate.io PoR
เวลาตรวจสอบล่าสุด:
(UTC+0)
มูลค่าสำรองส่วนเกิน:
$ B
อัลกอริทึม:
Merkle Tree + zk-SNARKs
อัตราหลักฐานสำรองทั้งหมด:
Merkle Root Hash:
ยอดสุทธิของลูกค้า
$
ยอดคงเหลือของ Gate Wallet
$
มูลค่าสำรองส่วนเกิน
$
Not Data
หลักฐานการสำรอง 100% คืออะไร?
แพลตฟอร์มการซื้อขายแบบรวมศูนย์จะเก็บบัญชีแยกประเภทไว้ในฐานข้อมูลเพื่อบันทึกสินทรัพย์ของผู้ใช้ ดังนั้นแพลตฟอร์มจึงเผชิญกับความท้าทายในการพิสูจน์ว่าสามารถรักษาทรัพย์สินของผู้ใช้ทั้งหมดให้อยู่ในสภาพที่ดีและเต็มจำนวน
Gate.io ใช้ Merkle tree เพื่อแก้ไขปัญหานี้ โดยจัดเก็บค่าแฮชของสินทรัพย์บัญชีของผู้ใช้แต่ละคนในโหนดปลายสุดของ Merkle tree ผู้ใช้ทุกคนสามารถตรวจสอบจำนวนทรัพย์สินของผู้ใช้ทั้งหมดที่จัดเก็บไว้ในโหนดปลายสุดของ Merkle tree และตรวจสอบว่ามีเงินผ่านหน่วยงานตรวจสอบบุคคลที่สามหรือไม่
หากสินทรัพย์ที่จัดเก็บไว้ในแผนผัง Merkle ได้รับการตรวจสอบว่ามากกว่าหรือเท่ากับ 100% หมายความว่าสินทรัพย์ของผู้ใช้จะถูกเก็บไว้เต็มบนแพลตฟอร์ม เช่น แพลตฟอร์มให้หลักฐานการสำรอง 100% สำหรับสินทรัพย์ของผู้ใช้
ทำไมหลักฐานการสำรอง 100% จึงมีความสำคัญ?
เราจะจัดการอย่างไรเพื่อรักษาระดับสำรอง 100%?
หากจำนวนโทเค็นทั้งหมดที่อยู่ในการจัดการของแพลตฟอร์มให้บริการแลกเปลี่ยนบนบล็อกเชนตรงหรือเกินยอดรวมของบัญชีผู้ใช้ทั้งหมดตามที่บันทึกไว้ในภาพรวม แพลตฟอร์มจะรักษาส่วนต่าง 100% สำหรับโทเค็นเหล่านั้น
กรรมสิทธิ์เหนือกระเป๋าสตางค์
เมื่อคุณใช้กระเป๋าเงินร้อนหรือเย็น คุณจะโอนจำนวนเงินที่กำหนดแบบสุ่มไปยังที่อยู่ที่กำหนดโดยบริษัทตรวจสอบเพื่อพิสูจน์ความเป็นเจ้าของกระเป๋าเงินของคุณ
บริษัทตรวจสอบจะเพิ่มยอดคงเหลือของที่อยู่ที่เกี่ยวข้องเพื่อคำนวณยอดรวมที่เกี่ยวข้องกับการทำธุรกรรม (รวมถึงทรัพย์สินของผู้ใช้และทรัพย์สินที่เป็นของตนเองของแพลตฟอร์ม)
จะสร้าง Merkle tree ด้วย hashed user id และยอดผู้ใช้ได้อย่างไร
รหัสผู้ใช้ที่แฮช (UID) และยอดคงเหลือของผู้ใช้จะถูกส่งออกจากฐานข้อมูล Gate ก่อน
UID ที่แฮชแต่ละคู่และยอดคงเหลือผู้ใช้จะถูกแฮชตามลำดับ จากนั้นจึงต่อเข้าด้วยกันเพื่อสร้างบล็อกข้อมูลพื้นฐาน
ในแต่ละบล็อกข้อมูล ฟังก์ชันแฮชเดียวกันจะถูกใช้เพื่อสร้างโหนดใบต้นไม้ Merkle ข้อมูลที่ถูกแฮชที่ได้นั้นจะถูกแฮชร่วมกันเป็นคู่ในเวลาต่อมาเพื่อสร้างโหนดหลักของโหนดปลายสุด
กระบวนการนี้จะดำเนินต่อไปจนกว่าจะได้ผลลัพธ์เป็นแฮชเดียวที่เรียกว่า merkle root โปรดดูแผนภาพด้านล่างเพื่อดูภาพประกอบ
โปรดดูแผนภาพด้านล่างเพื่อดูภาพประกอบ หลังจากที่สร้าง Merkle Tree สำเร็จแล้ว Leaf Node จะถูกส่งออกเป็นไฟล์ข้อความธรรมดา ซึ่งผู้ตรวจสอบจะเผยแพร่พร้อมกับแฮชรูท Merkle
Merkle Tree คืออะไร?
ในวิทยาการเข้ารหัสลับและวิทยาการคอมพิวเตอร์ ต้นไม้แฮชหรือต้นไม้ Merkle คือต้นไม้ที่ทุกโหนดลีฟถูกระบุด้วยแฮชการเข้ารหัสของบล็อกข้อมูล ทุกโหนดที่ไม่ใช่ลีฟจะถูกระบุด้วยแฮชของเลเบลของโหนดย่อย ต้นไม้แฮชช่วยให้การตรวจสอบเนื้อหาของโครงสร้างข้อมูลขนาดใหญ่มีประสิทธิภาพและปลอดภัย
เราใช้ Merkle Tree เพื่อจัดเตรียมหลักฐานการสำรองได้อย่างไร
เราบันทึกค่าแฮชของสินทรัพย์บัญชีของผู้ใช้แต่ละคนโหนดปลายสุดใน Merkle Tree จากนั้น เราใช้เทคโนโลยี zk-SNARK เพื่อยืนยันว่าเราครอบครองสินทรัพย์ทั้งหมดของผู้ใช้อย่างครบถ้วน ตลอดกระบวนการนี้ จะไม่มีการเปิดเผยข้อมูลทรัพย์สินใดๆ ขั้นตอนในการตรวจสอบมีดังนี้:
1. zk-SNARK ช่วยในการตรวจสอบว่ายอดรวมของสินทรัพย์ของผู้ใช้ถูกจัดเก็บในโหนดปลายสุดใน Merkle Tree (เช่น ยอดเงินในบัญชีผู้ใช้) สำหรับโหนดแต่ละโหนด เรายืนยันประเด็นต่อไปนี้:
ก. จำนวนสินทรัพย์ทั้งหมดที่จัดการโดยแพลตฟอร์มรวมถึงยอดสินทรัพย์รวมของผู้ใช้ทั้งหมด
ข. ยอดคงเหลือสุทธิของผู้ใช้แต่ละรายมีค่ามากกว่าหรือเท่ากับศูนย์
ค. การเปลี่ยนแปลงสินทรัพย์ของผู้ใช้จะส่งผลให้ค่าแฮชรูทของ Merkle เปลี่ยนไป
2. การยืนยันผู้ใช้: ผู้ใช้สามารถตรวจสอบความถูกต้องของการพิสูจน์ได้โดยการตรวจสอบค่าแฮชรูทของ Merkle โดยใช้ zk-SNARK เทคโนโลยีนี้ช่วยให้เราดำเนินการตรวจสอบเงินสำรองได้ 100% อย่างมีประสิทธิภาพและปลอดภัย ในขณะเดียวกันก็หลีกเลี่ยงความเสี่ยงจากความเป็นส่วนตัวหรือการรั่วไหลของความลับทางการค้า ซึ่งจะช่วยส่งมอบความมุ่งมั่นของเราในการดำเนินงานที่โปร่งใสและเพิ่มความไว้วางใจของลูกค้า
zk-SNARK คืออะไร?
zk-SNARK ย่อมาจาก Zero-Knowledge Succinct Non-Interactive Argument of Knowledge เป็นเครื่องมือที่ก้าวล้ำซึ่งมีรากฐานมาจากการเข้ารหัส การใช้อัลกอริธึมทางคณิตศาสตร์ขั้นสูงทำให้สามารถตรวจสอบจำนวนเงินสำรองได้อย่างเชี่ยวชาญโดยไม่ต้องเปิดเผยรายละเอียดสินทรัพย์เฉพาะ zk-SNARK ไม่เพียงแต่อำนวยความสะดวกในการตรวจสอบทรัพย์สินอย่างรวดเร็วเท่านั้น แต่ยังลบล้างความเสี่ยงในการละเมิดความเป็นส่วนตัวอีกด้วย เนื่องจากประโยชน์เหล่านี้ ประกอบกับลักษณะที่ไม่มีการโต้ตอบและความสามารถในการปรับขยายได้สูง จึงพบแอปพลิเคชันมากมายในด้านต่างๆ เช่น การยืนยันการทำธุรกรรมบนเครือข่าย การปกป้องความเป็นส่วนตัวของข้อมูล และการยืนยันตัวตน
กระบวนการตรวจสอบ
1. ติดตั้งโปรแกรมและดาวน์โหลดข้อมูล:
1)ดาวน์โหลดโปรแกรมตรวจสอบ:
ขั้นแรก ดาวน์โหลดโปรแกรมการยืนยันผ่านลิงก์ที่ให้ไว้ หรือเข้าถึง GitHub เพื่อดาวน์โหลดโปรแกรมการยืนยัน แล้วเปลี่ยนชื่อเป็น main
2) ดาวน์โหลดข้อมูลที่จำเป็น:
เข้าถึง หน้าการตรวจสอบ และค้นหาชุดงานที่คุณต้องการตรวจสอบ คลิกที่ [ดาวน์โหลด 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
การใช้งาน Gate.io PoR
HACKEN
สำนักงานตรวจสอบบัญชีเวลาตรวจสอบ
January 3, 2024
ผู้ตรวจสอบบัญชี
Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski
รายงานการตรวจสอบ
Gate.io PoR Implementation
