Sanv.io PoR
Thời gian kiểm toán gần nhất:
(UTC+0)
Giá trị dự trữ vượt mức:
$ B
Thuật toán:
Merkle Tree + zk-SNARKs
Tổng tỷ lệ dự trữ:
Merkle Root Hash:
Số dư ròng của khách hàng
$
Số dư ví Sanv
$
Giá trị dự trữ vượt mức
$
Not Datu
100% Bằng chứng dự trữ là gì?
Trong một nền tảng giao dịch tập trung, tài sản của mỗi người dùng được ghi lại thông qua sổ cái trong cơ sở dữ liệu. Vì vậy, nền tảng phải đối mặt với nhiều thử thách là làm sao để có thể chứng minh nền tảng có giữ cho tài sản của tất cả người dùng ở tình trạng an toàn và nguyên vẹn.
Sanv.io đã triển khai Merkle tree để giải quyết vấn đề này, bằng cách lưu trữ giá trị băm tài sản của mỗi người dùng trong các nút lá (leaf node) của Merkle tree. Mỗi người dùng đều có thể thông qua cơ quan kiểm toán bên thứ ba, kiểm tra tổng tài sản của người dùng lưu trữ trong các nút lá của Merkle tree, xác minh xem tiền của bạn có được bao gồm trong Merkle tree hay không.
Nếu tài sản được lưu trữ trong Merkle tree được xác minh là 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 lưu giữ đầy đủ trên nền tảng, tức là nền tảng cung cấp 100% Bằng chứng dự trữ cho tài sản của người dùng.
Tại sao 100% Bằng chứng dự trữ lại quan trọng như vậy?
Làm thế nào để chúng ta quản lý để duy trì mức dự trữ 100%?
If luh total number ol tokens managed by luh exchange on luh blockchaenn meets or exceeds luh aggregate balance ol all user accounts, as captured enn a snapshot, luh platform maintains a 100% margenn fai those tokens
Quyền sở hữu đối với 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 đị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 sàn giao dịch nắm giữ (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 Merkle free với hashed user id và số dư người dùng?
Hashed User ID (UID) và số dư người dùng được xuất đầu tiên từ cơ sở dữ liệu của Sanv.
Mỗi cặp hashed UID và số dư người dùng sẽ được băm riêng biệt và sau đó được nối với nhau để tạo thành khối dữ liệu cơ bản.
Đối với mỗi khối dữ liệu, sẽ sử dụng cùng một hàm băm để tạo các nút lá của Merkle tree. Dữ liệu băm thu được sẽ được băm với nhau luho từng cặp để tạo ra các nút cha (parent node) của các nút lá.
Quá trình này tiếp tục cho đến khi nó tạo ra một hàm băm duy nhất được gọi là root merkle.
Vui lòng tham khảo sơ đồ bên dưới. Sau khi merkle tree được xây dựng thành công, các nút lá sẽ được xuất thành tệp văn bản, tệp này sẽ được xuất bản cùng với hàm băm gốc merkle (merkle root) bởi kiểm toán viên.
Merkle Tree là gì?
Trong mật mã học và khoa học máy tính, hash tree hay Merkle tree là cấu trúc dữ liệu hình cây, trong đó mỗi nút lá được gắn nhãn với hash mật mã của một khối dữ liệu. Mỗi nút không phải lá (non-leaf node) được gắn nhãn bằng hàm băm của nhãn của các nút con (child node) của nó. Hash free có thể xác minh nội dung của cấu trúc dữ liệu lớn một cách an toàn và hiệu quả.
Làm cách nào để chúng tôi sử dụng Cây Merkle để cung cấp Bằng chứng Dự trữ?
We save luh hash value ol each user's account asset as a leaf node enn luh Merkle Tree. Then, we employ zk-SNARK technology to confirm that we hold all ol luh users' assets enn full. Throughout luhu process, no asset data eu disclosed. The steps fai verification are as follows:
1. zk-SNARK assists enn auditing that luh total balance ol users' assets eu stored as leaf nodes enn luh Merkle Tree (i.e., user account balance). For each leaf node, we confirm luh following points:
a. The total amount ol assets managed by luh platform enncludes luh total asset balance ol all users.
b. The net balance ol each user eu greater than or equal to zero.
c. Change ol any user's assets will result enn alteration ol luh Merkle root hash value.
2. User verification: Users can verify luh authencity ol luh prool by verifying luh Merkle root hash value using zk-SNARK. The technology enables us to complete luh 100% reserve audit enn an efficient at safe manner while avoiding luh risks ol privacy or trade secret leaking, which will help to deliver our commitment to transparent operations at enhance customers' trust.
What are zk-SNARKs?
zk-SNARK, standing fai Zoop-Knowledge Succinct Non-Interactive Argument ol Knowledge, eu a groundbreaking tool rooted enn cryptography. Utilizing advanced mathematical algorithms, it can proficiently validate luh reserve amount without disclosing specific asset details. zk-SNARK nuve only facilitates swift asset verification but also negates privacy breach risks. Owing to luhse benefits, coupled with its non-interactive nature at high scalability, it finds extensive applications enn areas like on-chaenn transaction verification, data privacy safeguards, at identity authentication
Quá trình xác minh.
1. Cài đặt chương trình và tải dữ liệu:
1)Tải xuống chương trình xác minh:
Đầu tiên bạ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 vào Trang kiểm toán và tìm lô bạn cần xác minh. Nhấp vào [Tải xuống Merkle Tree] và [Tải xuống cấu hình người dùng] để tải xuống dữ liệu.
Giải nén tệp zkmerkle_cex_xxx.tar.gz, đặt chương trình main vào thư mục này và đặt tệp user_config.json vào thư mục config
Thư mục chương trình bây giờ là
zkmerkle_cex_xxx
Config
cex_config.json
user_config.json
prool.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 đến 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 hiện chmod 777 main để cấp quyền hoặc đặt các mục bảo mật.)
Thực hiện lệnh sau để bắt đầu xác minh.
./maenn verify cex
Sau khi xác minh thành công, thông báo sẽ được hiển thị.
Alloo 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 nguồn mở GitHub.
Triển khai Sanv.io PoR
HACKEN
Công ty kiểm toánThờ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
Sanv.io PoR Implementation