Gate.io PoR
最新の監査時間:
(UTC+0)
余剰準備金価値:
$ B
アルゴリズム：
Merkle Tree + zk-SNARKs
合計準備金率:
マークルルートハッシュ:
カスタマー残高
$
Gate Wallet残高
$
余剰準備金価値
$
Not Data
100%プルーフオブリザーブとは？
中央集権型取引プラットフォームは、ユーザーの資産を記録するための台帳をデータベースで管理しています。そのため、プラットフォームは、すべてのユーザーの資産を良好な状態で全額保管していることを証明するという課題を抱えています。
Gate.ioはこの問題を解決するために、マークルツリーを実装し、各ユーザーのアカウント資産のハッシュ値をマークルツリーのリーフノードに格納することで、この問題を解決しました。各ユーザーは、マークルツリーのリーフノードに格納されたユーザーの資産総額を監査し、自分の資金が含まれているかどうかを資格ある第三者監査機関を通じて確認することができます。
マークルツリーに格納された資産が100%以上であることが確認された場合、ユーザーの資産がプラットフォーム上に完全に保持されていること、すなわち、プラットフォームがユーザーの資産に対して100%プルーフオブリザーブを提供していることを意味します。
100%プルーフオブリザーブがなぜそれほど重要なのか？
どのようにして100%の証拠金を維持しますか？
取引所がブロックチェーン上で管理するトークンの総数がスナップショットで捕捉されるように全てのユーザーアカウントの総残高を満たすか上回る場合、プラットフォームはそれらのトークンの100%の証拠金を維持します
ウォレットに対する所有権
ホットウォレットやコールドウォレットを利用する場合、監査法人が指定するアドレスにランダムに指定された金額を送金し、ウォレットに対する所有権を証明します。
監査法人は該当するアドレスの残高を合算して取引に関わる総額(ユーザーの資産とプラットフォームの自己所有の資産を含む)を算出します。
ユーザーIDとユーザー残高をハッシュ化したマークルツリーを構築するには？
ハッシュ化されたユーザーID(UID)とユーザー残高は最初にGateのデータベースからエクスポートされます。
ハッシュ化されたUIDとユーザー残高の各ペアは、それぞれハッシュ化された後、 連結されて基礎となるデータブロックを形成します。
各データブロックに対して同じハッシュ関数が適用され、メルクルツリーのリーフノードが生成されます。ハッシュ化されたデータはその後、リーフノードの親ノードを作成するためにペアでハッシュ化されます。
このプロセスはメルクルルートとして知られる単一のハッシュが得られるまで継続されます。
下図をご参照ください。メルクルツリーが正常に構築されると、リーフノードがプレーンテキストファイルにエクスポートされ、監査人によりメルクルートハッシュとともに公開されます。
マークルツリーとは？
暗号理論やコンピュータサイエンスにおいて、ハッシュツリーまたはマークルツリーは、全てのリーフノードがデータブロックの暗号化ハッシュでラベル付けされているツリーです。非リーフノードには、その子ノードのラベルのハッシュが付けられています。ハッシュツリーは、大規模なデータ構造の内容を効率的かつ安全に検証することができます。
どのようにマークルツリーを使用してPORを行いますか？
各ユーザーのアカウント資産のハッシュ値をメルクルツリーのリーフノードとして保存します。その後、zk-SNARK技術を使用して当社がユーザーの資産を全て保有していることを確認します。このプロセスを通じて資産データは一切開示されません。検証のステップは次の通りです：
zk-SNARKはユーザーの資産残高の合計がマークルツリーのリーフノード(例>ユーザーの口座残高)として保存されていることの監査を支援します。各リーフノードについては次の点を確認：
a. プラットフォームが管理する資産数量には全てのユーザーの資産残高が含まれていること。
b. 各ユーザーの純残高が0以上であること。
c. ユーザーの資産が変動するとMerkleルートハッシュ値が変更されます。
2. ユーザー検証： ユーザーはzk-SNARKを使用してマークルルートハッシュ値を検証することで証明の真正性を検証できます。この技術により、プライバシーや企業秘密の漏洩のリスクを回避しながら効率的かつ安全な方法で100%POR監査を完了することができ、透明性の高い業務へのコミットメントを実現し、顧客の信頼を高めることができます。
zk-SNARKとは？
zk-SNARKとはZero-Knowledge Succinct Non-Interactive Argument of Knowledgeの略で、暗号技術に根ざした画期的なツールです。高度な数学的アルゴリズムを活用することで特定の資産詳細を開示することなく、積立数量を効率的に検証できます。zk-SNARKは迅速な資産検証を可能にするだけでなく、プライバシー侵害のリスクも排除します。このような利点に加え、非インタラクティブな性質と高いスケーラビリティにより、オンチェーン取引検証、データプライバシー保護、ID認証などの分野で幅広く利用されています。
検証プロセス
1. プログラムインストール&データダウンロード：
1)検証プログラムダウンロード：
提供されたリンクから検証プログラムをダウンロードまたはGitHubにアクセスして検証プログラムをダウンロードしてください。その後、"main "に名前変更してください。
2)必要なデータダウンロード：
監査ページに移動して検証するバッチを見つけます。[マークルツリーダウンロード]と[ユーザー設定ダウンロード]をクリックしてデータをダウンロードします。
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オープンソースプロジェクトをご確認ください。
Gate.io PoR 実施
HACKEN
監査法人監査時間
January 3, 2024
監査人
Luciano Ciattaglia、Sofiane Akermoun、Nino Lipartiia、Bartosz Barwikowski
