Bằng chứng dự trữ xác nhận tài sản được bảo chứng đầy đủ; Bằng chứng bảo mật xác nhận tài sản được lưu trữ an toàn.
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.
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
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
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 đó
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).
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.
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.
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.
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
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.
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
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ữ
Báo cáo kiểm toán
Gate PoR Implementation
