Gate.io PoR

มูลค่าเงินสำรองส่วนเกิน

0B

เวลาตรวจสอบล่าสุด:

(UTC+0)

อัตราเงินสำรองทั้งหมด:

อัลกอริทึม:

Merkle Tree + zk-SNARKs

แฮชรูท Merkle:

ยอดคงเหลือสุทธิของลูกค้า

0

ยอดคงเหลือกระเป๋าเงิน Gate

0

มูลค่าเงินสำรองส่วนเกิน

0

0

ไม่มีข้อมูล

การพิสูจน์เงินสำรอง 100% คืออะไร?

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

Gate.io ได้นำ Merkle tree มาใช้เพื่อแก้ไขปัญหานี้ โดยเก็บค่าแฮชของสินทรัพย์ในบัญชีของผู้ใช้แต่ละรายไว้ในโหนดใบของ Merkle tree ผู้ใช้ทุกคนสามารถตรวจสอบจำนวนรวมของสินทรัพย์ผู้ใช้ที่เก็บไว้ในโหนดใบของ Merkle tree และตรวจสอบว่าเงินทุนของตนรวมอยู่ด้วยผ่านหน่วยงานตรวจสอบบุคคลที่สามที่มีคุณสมบัติเหมาะสม

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

ทำไมการพิสูจน์เงินสำรอง 100% จึงสำคัญ?

แพลตฟอร์มมีการพิสูจน์เงินสำรอง 100%

แพลตฟอร์มมีความมั่นคงทางการเงิน

เพิ่มความไว้วางใจของผู้ใช้

รับประกันความปลอดภัยของสินทรัพย์ผู้ใช้

ถอนเงินได้ 100% ในกรณีที่มีการถอนพร้อมกันจำนวนมาก

หากไม่มีข้อผูกมัดในการพิสูจน์เงินสำรอง 100%

สินทรัพย์ของผู้ใช้มีความเสี่ยงที่จะถูกยักยอก

การถอนสินทรัพย์ล่าช้าหรือไม่สามารถถอนได้

แพลตฟอร์มอาจประสบปัญหาหากผู้ใช้พากันขอถอนเงินพร้อมกัน

แพลตฟอร์มมีโอกาสล้มละลายหรือสูญเสียสินทรัพย์มากขึ้น

เราจัดการรักษาระดับเงินสำรอง 100% ได้อย่างไร?

หากจำนวนโทเค็นทั้งหมดที่แลกเปลี่ยนจัดการบนบล็อกเชนเท่ากับหรือมากกว่ายอดคงเหลือรวมของบัญชีผู้ใช้ทั้งหมดตามที่บันทึกในสแนปช็อต แสดงว่าแพลตฟอร์มรักษาอัตราส่วน 100% สำหรับโทเค็นเหล่านั้น

Ownership over the wallet - Gate.io

ความเป็นเจ้าของกระเป๋าเงิน

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

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

วิธีสร้าง Merkle tree ด้วย ID ผู้ใช้ที่ถูกแฮชและยอดคงเหลือของผู้ใช้

ID ผู้ใช้ที่ถูกแฮช (UID) และยอดคงเหลือของผู้ใช้จะถูกส่งออกจากฐานข้อมูลของ Gate ก่อน
คู่ของ UID ที่ถูกแฮชและยอดคงเหลือของผู้ใช้แต่ละรายจะถูกแฮชตามลำดับแล้วนำมาต่อกันเพื่อสร้างบล็อกข้อมูลพื้นฐาน
สำหรับแต่ละบล็อกข้อมูล ฟังก์ชันแฮชเดียวกันจะถูกนำมาใช้เพื่อสร้างโหนดใบของ Merkle tree ข้อมูลที่ถูกแฮชจะถูกนำมาแฮชรวมกันเป็นคู่ๆ เพื่อสร้างโหนดแม่ของโหนดใบ
กระบวนการนี้จะดำเนินต่อไปจนได้แฮชเดี่ยวที่เรียกว่ารูท merkle

โปรดดูแผนภาพด้านล่างเพื่อการอธิบาย หลังจากสร้าง merkle tree สำเร็จแล้ว โหนดใบจะถูกส่งออกเป็นไฟล์ข้อความธรรมดา ซึ่งจะถูกเผยแพร่พร้อมกับแฮชรูท merkle โดยผู้ตรวจสอบ

Merkle tree - Gate.io

ในด้านการเข้ารหัสลับและวิทยาการคอมพิวเตอร์ ต้นไม้แฮชหรือ Merkle tree คือต้นไม้ที่โหนดใบทุกโหนดถูกติดป้ายด้วยแฮชการเข้ารหัสของบล็อกข้อมูล โหนดที่ไม่ใช่ใบทุกโหนดจะถูกติดป้ายด้วยแฮชของป้ายของโหนดลูก ต้นไม้แฮชช่วยให้การตรวจสอบเนื้อหาของโครงสร้างข้อมูลขนาดใหญ่มีประสิทธิภาพและปลอดภัย

เราใช้ Merkle Tree เพื่อพิสูจน์เงินสำรองอย่างไร?

1. zk-SNARK ช่วยในการตรวจสอบว่ายอดคงเหลือรวมของสินทรัพย์ผู้ใช้ถูกเก็บไว้เป็นโหนดใบใน Merkle Tree (เช่น ยอดคงเหลือในบัญชีผู้ใช้) สำหรับแต่ละโหนดใบ เรายืนยันประเด็นต่อไปนี้:

ก. จำนวนสินทรัพย์ทั้งหมดที่แพลตฟอร์มจัดการรวมถึงยอดคงเหลือสินทรัพย์รวมของผู้ใช้ทั้งหมด

ข. ยอดคงเหลือสุทธิของผู้ใช้แต่ละรายมากกว่าหรือเท่ากับศูนย์

ค. การเปลี่ยนแปลงสินทรัพย์ของผู้ใช้รายใดจะส่งผลให้ค่าแฮชรูท Merkle เปลี่ยนแปลง

2. การตรวจสอบผู้ใช้: ผู้ใช้สามารถตรวจสอบความถูกต้องของหลักฐานโดยตรวจสอบค่าแฮชรูท Merkle โดยใช้ zk-SNARK เทคโนโลยีนี้ช่วยให้เราสามารถตรวจสอบเงินสำรอง 100% ได้อย่างมีประสิทธิภาพและปลอดภัย โดยหลีกเลี่ยงความเสี่ยงในการรั่วไหลของความเป็นส่วนตัวหรือความลับทางการค้า ซึ่งจะช่วยให้เราสามารถรักษาคำมั่นในการดำเนินงานอย่างโปร่งใสและเพิ่มความไว้วางใจของลูกค้า

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

Gate.io PoR Implementation

บริษัทตรวจสอบ

HACKEN

เวลาตรวจสอบ

January 3, 2024

ผู้ตรวจสอบ

Luciano Ciattaglia, Sofiane Akermoun, Nino Lipartiia, Bartosz Barwikowski

รายงานการตรวจสอบ

Gate.io PoR Implementation