最新の監査時間:
2024-09-29 00:00:00(UTC+0)
余剰準備金価値:
$ 1.09B
アルゴリズム:
Merkle Tree + zk-SNARKs
合計準備金率:
120.22%
マークルルートハッシュ:
171cfd97a75b5cdff1b511f6e447b1d35c8cca7a2172d11e1c145a89fbf23a99
カスタマー残高
$ 5,405,986,360
Gate Wallet残高
$ 6,499,212,860
余剰準備金価値
$ 1,093,226,500
カスタマー残高
16,788.90
Gate Wallet残高
20,070.00
Gate Wallet残高 USD
$ 1,321,705,835
カスタマー残高
900,460,369.70
Gate Wallet残高
950,199,170.00
Gate Wallet残高 USD
$ 950,199,170
カスタマー残高
218,945.56
Gate Wallet残高
275,530.00
Gate Wallet残高 USD
$ 737,152,962
カスタマー残高
1,999,007,092.09
Gate Wallet残高
2,218,526,583.00
Gate Wallet残高 USD
$ 284,135,573
カスタマー残高
87,580.12
Gate Wallet残高
88,183.00
Gate Wallet残高 USD
$ 236,418,623
カスタマー残高
1,051,604,689.28
Gate Wallet残高
1,060,501,647.00
Gate Wallet残高 USD
$ 176,817,439
中央集権型取引プラットフォームは、ユーザーの資産を記録するための台帳をデータベースで管理しています。そのため、プラットフォームは、すべてのユーザーの資産を良好な状態で全額保管していることを証明するという課題を抱えています。
Gate.ioはこの問題を解決するために、マークルツリーを実装し、各ユーザーのアカウント資産のハッシュ値をマークルツリーのリーフノードに格納することで、この問題を解決しました。各ユーザーは、マークルツリーのリーフノードに格納されたユーザーの資産総額を監査し、自分の資金が含まれているかどうかを資格ある第三者監査機関を通じて確認することができます。
マークルツリーに格納された資産が100%以上であることが確認された場合、ユーザーの資産がプラットフォーム上に完全に保持されていること、すなわち、プラットフォームがユーザーの資産に対して100%プルーフオブリザーブを提供していることを意味します。
プラットフォームは財政的に安定しています
ユーザーの信頼を高める
ユーザーの資産のセキュリティを保証する
混雑時でも100%出金できます
ユーザーの資産が横領されるリスクがあります
資産の現金化の遅れまたは不能
出金依頼が殺到した場合、プラットフォームが稼働しなくなる可能性があります
プラットフォームが倒産したり、資産を失う可能性が高くなります
取引所がブロックチェーン上で管理するトークンの総数がスナップショットで捕捉されるように全てのユーザーアカウントの総残高を満たすか上回る場合、プラットフォームはそれらのトークンの100%の証拠金を維持します
ホットウォレットやコールドウォレットを利用する場合、監査法人が指定するアドレスにランダムに指定された金額を送金し、ウォレットに対する所有権を証明します。
監査法人は該当するアドレスの残高を合算して取引に関わる総額(ユーザーの資産とプラットフォームの自己所有の資産を含む)を算出します。
下図をご参照ください。メルクルツリーが正常に構築されると、リーフノードがプレーンテキストファイルにエクスポートされ、監査人によりメルクルートハッシュとともに公開されます。
暗号理論やコンピュータサイエンスにおいて、ハッシュツリーまたはマークルツリーは、全てのリーフノードがデータブロックの暗号化ハッシュでラベル付けされているツリーです。非リーフノードには、その子ノードのラベルのハッシュが付けられています。ハッシュツリーは、大規模なデータ構造の内容を効率的かつ安全に検証することができます。
a. プラットフォームが管理する資産数量には全てのユーザーの資産残高が含まれていること。
b. 各ユーザーの純残高が0以上であること。
c. ユーザーの資産が変動するとMerkleルートハッシュ値が変更されます。
zk-SNARKとはZero-Knowledge Succinct Non-Interactive Argument of Knowledgeの略で、暗号技術に根ざした画期的なツールです。高度な数学的アルゴリズムを活用することで特定の資産詳細を開示することなく、積立数量を効率的に検証できます。zk-SNARKは迅速な資産検証を可能にするだけでなく、プライバシー侵害のリスクも排除します。このような利点に加え、非インタラクティブな性質と高いスケーラビリティにより、オンチェーン取引検証、データプライバシー保護、ID認証などの分野で幅広く利用されています。
1. プログラムインストール&データダウンロード:
提供されたリンクから検証プログラムをダウンロードまたはGitHubにアクセスして検証プログラムをダウンロードしてください。その後、"main "に名前変更してください。
監査ページに移動して検証するバッチを見つけます。[マークルツリーダウンロード]と[ユーザー設定ダウンロード]をクリックしてデータをダウンロードします。
zkmerkle_cex_xxx.tar.gzの圧縮ファイルを展開して、このフォルダの中にmainプログラムを置き、configフォルダの中にuser_config.jsonファイルを置きます。
現在のプログラムフォルダ
zkmerkle_cex_xxx
Config
cex_config.json
user_config.json
proof.csv
zkpor864.vk.save
main
2. 資産検証:
cmd またはターミナルから cd コマンドを使用して、cd ~/Downloads/zkmerkle_cex_xxx のようにダウンロードしたフォルダに移動します。
(プログラムを実行する前に、chmod 777 main を実行してパーミッションを付与するか、セキュリティ項目を設定する必要がある場合があります)
以下のコマンドを実行して検証を開始します。
./main verify cex
検証が完了するとメッセージが表示されます。
All proofs verify passed!!!
詳細なテクニカルドキュメントと検証方法については GitHubオープンソースプロジェクトをご確認ください。
監査時間 | 監査法人 | 監査人 | リポジトリ | 監査報告書 |
---|---|---|---|---|
January 3, 2024 | HACKEN | Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski | Gate.io PoR Implementation |