Một nền tảng giao dịch tập trung quản lý sổ cái để ghi lại tài sản của người dùng trong cơ sở dữ liệu. Do đó, các nền tảng phải đối mặt với thách thức chứng minh rằng họ có quyền giám sát đầy đủ tất cả tài sản của người dùng trong điều kiện tốt.

Gate đã triển khai cây Merkle để giải quyết vấn đề này, bằng cách lưu trữ giá trị băm của tài sản tài khoản của mỗi người dùng trong các nút lá của cây Merkle. Mọi người dùng có thể kiểm toán tổng số tài sản của người dùng được lưu trữ trong các nút lá của cây Merkle và xác minh xem tiền của họ có được bao gồm thông qua một cơ quan kiểm toán bên thứ ba đủ điều kiện hay không.

Nếu tài sản được lưu trữ trong cây Merkle được xác minh lớn hơn hoặc bằng 100%, điều đó có nghĩa là tài sản của người dùng được giữ đầy đủ trên nền tảng, tức là nền tảng cung cấp Bằng chứng dự trữ 100% cho tài sản của người dùng.

Tại sao Bằng chứng dự trữ 100% lại quan trọng như vậy?

Nền tảng cung cấp Bằng chứng dự trữ 100%

Nền tảng vững mạnh về tài chính

Tăng cường niềm tin của người dùng

Đảm bảo an toàn tài sản của người dùng

Rút tiền mặt 100% trong đợt rút tiền đông đúc

Không có cam kết bằng chứng dự trữ 100%

Tài sản của người dùng có nguy cơ bị chiếm đoạt

Chậm trễ hoặc không thể rút tiền mặt

Nền tảng có thể gặp khó khăn nếu người dùng đổ xô yêu cầu rút tiền

Nền tảng có nhiều khả năng phá sản hoặc bị mất tài sản

Làm thế nào chúng tôi duy trì mức dự trữ 100%?

Nếu tổng số token mà sàn giao dịch quản lý trên blockchain đáp ứng hoặc vượt quá tổng số dư của tất cả tài khoản người dùng, như được ghi lại trong ảnh chụp nhanh, nền tảng duy trì tỷ lệ ký quỹ 100% cho những token đó

Quyền sở hữu ví

Khi bạn sử dụng ví nóng hoặc ví lạnh, bạn chuyển một số tiền được chỉ định ngẫu nhiên đến các địa chỉ do công ty kiểm toán chỉ định để chứng minh quyền sở hữu của bạn đối với ví.

Công ty kiểm toán sẽ cộng số dư của các địa chỉ liên quan để tính tổng số tiền liên quan trong giao dịch (bao gồm tài sản của người dùng và tài sản tự sở hữu của nền tảng).

Làm thế nào để xây dựng cây Merkle với ID người dùng đã băm và số dư người dùng?

ID người dùng đã băm (UID) và số dư người dùng được xuất đầu tiên từ cơ sở dữ liệu của Gate.

Mỗi cặp UID đã băm và số dư người dùng sẽ được băm tương ứng và sau đó được nối lại để tạo thành khối dữ liệu cơ bản.

Đối với mỗi khối dữ liệu, cùng một hàm băm sẽ được áp dụng để tạo các nút lá của cây Merkle. Dữ liệu đã băm thu được sau đó được băm cùng nhau theo cặp để tạo các nút cha của các nút lá.

Quá trình này tiếp tục cho đến khi tạo ra một băm duy nhất được gọi là gốc merkle.

Vui lòng tham khảo sơ đồ bên dưới để minh họa. Sau khi cây merkle được xây dựng thành công, các nút lá sẽ được xuất vào tệp văn bản thuần túy, sẽ được công bố cùng với băm gốc merkle bởi kiểm toán viên.

Cây Merkle là gì?

Trong mật mã học và khoa học máy tính, cây băm hoặc cây Merkle là một cây trong đó mọi nút lá được gắn nhãn bằng băm mật mã của một khối dữ liệu. Mọi nút không phải lá được gắn nhãn bằng băm của các nhãn của các nút con của nó. Cây băm cho phép xác minh hiệu quả và an toàn nội dung của các cấu trúc dữ liệu lớn.

Làm thế nào chúng tôi sử dụng Cây Merkle để cung cấp Bằng chứng dự trữ?

Chúng tôi lưu giá trị băm của tài sản tài khoản của mỗi người dùng dưới dạng nút lá trong Cây Merkle. Sau đó, chúng tôi sử dụng công nghệ zk-SNARK để xác nhận rằng chúng tôi nắm giữ đầy đủ tất cả tài sản của người dùng. Trong suốt quá trình này, không có dữ liệu tài sản nào được tiết lộ. Các bước xác minh như sau:

1. zk-SNARK hỗ trợ kiểm toán rằng tổng số dư tài sản của người dùng được lưu trữ dưới dạng các nút lá trong Cây Merkle (tức là số dư tài khoản người dùng). Đối với mỗi nút lá, chúng tôi xác nhận các điểm sau:

a. Tổng số tài sản do nền tảng quản lý bao gồm tổng số dư tài sản của tất cả người dùng.

b. Số dư ròng của mỗi người dùng lớn hơn hoặc bằng không.

c. Thay đổi tài sản của bất kỳ người dùng nào sẽ dẫn đến thay đổi giá trị băm gốc Merkle.

2. Xác minh người dùng: Người dùng có thể xác minh tính xác thực của bằng chứng bằng cách xác minh giá trị băm gốc Merkle bằng zk-SNARK. Công nghệ cho phép chúng tôi hoàn thành kiểm toán dự trữ 100% một cách hiệu quả và an toàn trong khi tránh rủi ro rò rỉ quyền riêng tư hoặc bí mật thương mại, điều này sẽ giúp thực hiện cam kết hoạt động minh bạch và tăng cường niềm tin của khách hàng.

zk-SNARK là gì?

zk-SNARK, viết tắt của Zero-Knowledge Succinct Non-Interactive Argument of Knowledge, là một công cụ đột phá bắt nguồn từ mật mã học. Sử dụng các thuật toán toán học nâng cao, nó có thể xác thực hiệu quả số tiền dự trữ mà không tiết lộ chi tiết tài sản cụ thể. zk-SNARK không chỉ tạo điều kiện xác minh tài sản nhanh chóng mà còn loại bỏ rủi ro vi phạm quyền riêng tư. Nhờ những lợi ích này, cùng với bản chất không tương tác và khả năng mở rộng cao, nó được ứng dụng rộng rãi trong các lĩnh vực như xác minh giao dịch trên chuỗi, bảo vệ quyền riêng tư dữ liệu và xác thực danh tính

Quy trình xác minh

1. Cài đặt chương trình và tải dữ liệu:

1)Tải chương trình xác minh:

Đầu tiên, tải chương trình xác minh qua liên kết được cung cấp hoặc truy cập GitHub để tải chương trình xác minh. Sau đó đổi tên thành main.

Tải xuống cục bộ

Mac OS

Tải xuống cục bộ

Linux

Tải xuống cục bộ

Windows

2)Tải dữ liệu cần thiết:

Truy cập Trang Kiểm toán và xác định đợt bạn cần xác minh. Nhấp vào [Tải Cây Merkle] và [Tải Cấu hình Người dùng] để tải dữ liệu.

Giải nén tệp nén zkmerkle_cex_xxx.tar.gz, đặt chương trình main bên trong thư mục này và đặt tệp user_config.json bên trong thư mục config.

Thư mục chương trình hiện là

zkmerkle_cex_xxx

Config

cex_config.json

user_config.json

proof.csv

zkpor864.vk.save

main

2. Xác minh tài sản:

Từ cmd hoặc terminal, sử dụng lệnh cd để điều hướng vào thư mục đã tải xuống, chẳng hạn như cd ~/Downloads/zkmerkle_cex_xxx.

(Trước khi chạy chương trình, bạn có thể cần thực thi chmod 777 main để cấp quyền hoặc thiết lập các mục bảo mật.)

Thực thi lệnh sau để bắt đầu xác minh.

./main verify cex

Sau khi xác minh thành công, thông báo sẽ được hiển thị.

All proofs verify passed!!!

Để biết tài liệu kỹ thuật chi tiết và nguyên tắc xác minh, vui lòng kiểm tra dự án mã nguồn mở GitHub

Gate PoR Implementation

Công ty kiểm toán

HACKEN

Thời gian kiểm toán

January 3, 2024

Kiểm toán viên

Luciano Ciattaglia, Sofiane Akermoun, Nino Lipartiia, Bartosz Barwikowski

Kho lưu trữ

https://github.com/gateio/proof-of-reserves

Báo cáo kiểm toán

Gate PoR Implementation

Bằng chứng dự trữ 100%

Gate là nền tảng chính thống đầu tiên cam kết cung cấp dự trữ 100%

Gate PoR