มูลค่าเงินสำรองส่วนเกิน:
$ 0B
เวลาตรวจสอบล่าสุด:
(UTC+0)
อัตราเงินสำรองทั้งหมด:
อัลกอริทึม:
Merkle Tree + zk-SNARKs
แฮชรูท Merkle:
ยอดคงเหลือสุทธิของลูกค้า
$ 0
ยอดคงเหลือกระเป๋าเงิน Gate
$ 0
มูลค่าเงินสำรองส่วนเกิน
$ 0
ไม่มีข้อมูล
แพลตฟอร์มการซื้อขายแบบรวมศูนย์จัดการบัญชีแยกประเภทสำหรับบันทึกสินทรัพย์ของผู้ใช้ในฐานข้อมูล ดังนั้น แพลตฟอร์มจึงเผชิญกับความท้าทายในการพิสูจน์ว่ามีการดูแลรักษาสินทรัพย์ทั้งหมดของผู้ใช้อย่างครบถ้วนและอยู่ในสภาพดี
Gate.io ได้นำ Merkle tree มาใช้เพื่อแก้ไขปัญหานี้ โดยเก็บค่าแฮชของสินทรัพย์ในบัญชีของผู้ใช้แต่ละรายไว้ในโหนดใบของ Merkle tree ผู้ใช้ทุกคนสามารถตรวจสอบจำนวนรวมของสินทรัพย์ผู้ใช้ที่เก็บไว้ในโหนดใบของ Merkle tree และตรวจสอบว่าเงินทุนของตนรวมอยู่ด้วยผ่านหน่วยงานตรวจสอบบุคคลที่สามที่มีคุณสมบัติเหมาะสม
หากสินทรัพย์ที่เก็บไว้ใน Merkle tree ได้รับการตรวจสอบว่ามากกว่าหรือเท่ากับ 100% แสดงว่าสินทรัพย์ของผู้ใช้ถูกเก็บรักษาไว้อย่างครบถ้วนบนแพลตฟอร์ม นั่นคือ แพลตฟอร์มมีการพิสูจน์เงินสำรอง 100% สำหรับสินทรัพย์ของผู้ใช้
แพลตฟอร์มมีความมั่นคงทางการเงิน
เพิ่มความไว้วางใจของผู้ใช้
รับประกันความปลอดภัยของสินทรัพย์ผู้ใช้
ถอนเงินได้ 100% ในกรณีที่มีการถอนพร้อมกันจำนวนมาก
สินทรัพย์ของผู้ใช้มีความเสี่ยงที่จะถูกยักยอก
การถอนสินทรัพย์ล่าช้าหรือไม่สามารถถอนได้
แพลตฟอร์มอาจประสบปัญหาหากผู้ใช้พากันขอถอนเงินพร้อมกัน
แพลตฟอร์มมีโอกาสล้มละลายหรือสูญเสียสินทรัพย์มากขึ้น
หากจำนวนโทเค็นทั้งหมดที่แลกเปลี่ยนจัดการบนบล็อกเชนเท่ากับหรือมากกว่ายอดคงเหลือรวมของบัญชีผู้ใช้ทั้งหมดตามที่บันทึกในสแนปช็อต แสดงว่าแพลตฟอร์มรักษาอัตราส่วน 100% สำหรับโทเค็นเหล่านั้น
เมื่อคุณใช้กระเป๋าเงินร้อนหรือเย็น คุณจะโอนจำนวนเงินที่กำหนดแบบสุ่มไปยังที่อยู่ที่กำหนดโดยบริษัทตรวจสอบเพื่อพิสูจน์ความเป็นเจ้าของกระเป๋าเงิน
บริษัทตรวจสอบจะรวมยอดคงเหลือของที่อยู่ที่เกี่ยวข้องเพื่อคำนวณจำนวนเงินทั้งหมดที่เกี่ยวข้องในธุรกรรม (รวมถึงสินทรัพย์ของผู้ใช้และสินทรัพย์ที่แพลตฟอร์มเป็นเจ้าของเอง)
โปรดดูแผนภาพด้านล่างเพื่อการอธิบาย หลังจากสร้าง merkle tree สำเร็จแล้ว โหนดใบจะถูกส่งออกเป็นไฟล์ข้อความธรรมดา ซึ่งจะถูกเผยแพร่พร้อมกับแฮชรูท merkle โดยผู้ตรวจสอบ
ในด้านการเข้ารหัสลับและวิทยาการคอมพิวเตอร์ ต้นไม้แฮชหรือ Merkle tree คือต้นไม้ที่โหนดใบทุกโหนดถูกติดป้ายด้วยแฮชการเข้ารหัสของบล็อกข้อมูล โหนดที่ไม่ใช่ใบทุกโหนดจะถูกติดป้ายด้วยแฮชของป้ายของโหนดลูก ต้นไม้แฮชช่วยให้การตรวจสอบเนื้อหาของโครงสร้างข้อมูลขนาดใหญ่มีประสิทธิภาพและปลอดภัย
ก. จำนวนสินทรัพย์ทั้งหมดที่แพลตฟอร์มจัดการรวมถึงยอดคงเหลือสินทรัพย์รวมของผู้ใช้ทั้งหมด
ข. ยอดคงเหลือสุทธิของผู้ใช้แต่ละรายมากกว่าหรือเท่ากับศูนย์
ค. การเปลี่ยนแปลงสินทรัพย์ของผู้ใช้รายใดจะส่งผลให้ค่าแฮชรูท Merkle เปลี่ยนแปลง
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 หรือ terminal ใช้คำสั่ง 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