Gate.io PoR
過剰準備金額：
$ 0B
最新の監査時間：
(UTC+0)
総準備率：
アルゴリズム：
Merkle Tree + zk-SNARKs
マークルルートハッシュ:
顧客純残高
$ 0
Gateウォレット残高
$ 0
過剰準備金額
$ 0
データなし
100％の準備金の証明とは何ですか？
集中型取引プラットフォームは、データベースにユーザー資産を記録するための台帳を管理します。そのため、プラットフォームはすべてのユーザーの資産を完全に保有していることを証明するという課題に直面しています。
Gate.ioはこの問題を解決するためにマークルツリーを実装し、各ユーザーのアカウント資産のハッシュ値をマークルツリーのリーフノードに保存します。すべてのユーザーは、マークルツリーのリーフノードに保存されているユーザー資産の総額を監査し、第三者の監査機関を通じて自分の資金が含まれているかどうかを確認できます。
マークルツリーに保存されている資産が100％以上であることが確認された場合、それはユーザーの資産がプラットフォーム上で完全に保管されていることを意味します。つまり、プラットフォームはユーザーの資産に対して100％の準備金の証明を提供します。
なぜ100％の準備金の証明が重要なのですか？
プラットフォームは100％の準備金の証明を提供します
プラットフォームは財政的に堅実です
ユーザーの信頼を高める
ユーザーの資産の安全を保証する
混雑した引き出しで100％の現金化
100％の準備金証明の約束がない場合
ユーザーの資産は不正流用のリスクにさらされます
資産の引き出しの遅延または不可能
ユーザーが引き出しを要求するために殺到すると、プラットフォームは取り付け騒ぎに見舞われる可能性があります
プラットフォームは破産または資産損失の可能性が高くなります
100％の準備金レベルを維持するにはどうすればよいですか？
ブロックチェーン上で取引所が管理するトークンの総数が、スナップショットにキャプチャされたすべてのユーザーアカウントの合計残高を満たすか超える場合、プラットフォームはこれらのトークンに対して100％のマージンを維持します
ウォレットの所有権
ホットウォレットまたはコールドウォレットを使用する場合、監査会社が指定したアドレスにランダムに指定された金額を転送して、ウォレットの所有権を証明します。
監査会社は、関連するアドレスの残高を合計して、取引に関与する総額（ユーザーの資産とプラットフォームの自己所有資産を含む）を計算します。
ハッシュ化されたユーザーIDとユーザー残高でマークルツリーを構築する方法は？
ハッシュ化されたユーザーID（UID）とユーザー残高は、最初にGateのデータベースからエクスポートされます。
ハッシュ化されたUIDとユーザー残高の各ペアはそれぞれハッシュ化され、その後、基礎データブロックを形成するために連結されます。
各データブロックに対して、同じハッシュ関数が適用されてマークルツリーのリーフノードが生成されます。結果として得られるハッシュ化されたデータは、リーフノードの親ノードを作成するためにペアで一緒にハッシュ化されます。
このプロセスは、マークルルートとして知られる単一のハッシュが生成されるまで続きます。
説明については、以下の図を参照してください。マークルツリーが正常に構築された後、リーフノードはプレーンテキストファイルにエクスポートされ、監査人によってマークルルートハッシュと一緒に公開されます。
マークルツリーとは何ですか？
暗号学とコンピュータサイエンスでは、ハッシュツリーまたはマークルツリーは、すべてのリーフノードがデータブロックの暗号ハッシュでラベル付けされているツリーです。すべての非リーフノードは、その子ノードのラベルのハッシュでラベル付けされています。ハッシュツリーは、大規模なデータ構造の内容を効率的かつ安全に検証することを可能にします。
準備金の証明を提供するためにマークルツリーをどのように使用しますか？
各ユーザーのアカウント資産のハッシュ値をマークルツリーのリーフノードとして保存します。次に、zk-SNARK技術を使用して、すべてのユーザーの資産を完全に保有していることを確認します。このプロセス全体で、資産データは開示されません。検証の手順は次のとおりです。
1. zk-SNARKは、ユーザーの資産の総残高がマークルツリーのリーフノード（つまり、ユーザーアカウント残高）として保存されていることを監査するのに役立ちます。各リーフノードについて、次の点を確認します。
a. プラットフォームが管理する資産の総額には、すべてのユーザーの資産残高の合計が含まれます。
b. 各ユーザーの純残高はゼロ以上です。
c. 任意のユーザーの資産の変更は、マークルルートハッシュ値の変更を引き起こします。
2. ユーザー検証：ユーザーは、zk-SNARKを使用してマークルルートハッシュ値を検証することにより、証明の信憑性を確認できます。この技術により、プライバシーや企業秘密の漏洩リスクを回避しながら、効率的かつ安全に100％の準備金監査を完了することができ、透明な運営へのコミットメントを実現し、顧客の信頼を高めるのに役立ちます。
zk-SNARKとは何ですか？
zk-SNARKは、Zero-Knowledge Succinct Non-Interactive Argument of Knowledgeの略で、暗号学に根ざした画期的なツールです。高度な数学的アルゴリズムを利用して、特定の資産の詳細を開示することなく、準備金の金額を効率的に検証できます。zk-SNARKは、迅速な資産検証を容易にするだけでなく、プライバシー侵害のリスクも排除します。これらの利点により、その非対話型の性質と高いスケーラビリティと相まって、オンチェーン取引の検証、データプライバシー保護、アイデンティティ認証などの分野で広く応用されています。
検証プロセス。
1. プログラムをインストールしてデータをダウンロードします：
1) 検証プログラムをダウンロードします：
まず、提供されたリンクを介して検証プログラムをダウンロードするか、GitHubにアクセスして検証プログラムをダウンロードします。次に、それをmainに名前を変更します。
2) 必要なデータをダウンロードします：
監査ページにアクセスし、検証するバッチを見つけます。[マークルツリーをダウンロード]および[ユーザー設定をダウンロード]をクリックしてデータをダウンロードします。
zkmerkle_cex_xxx.tar.gz圧縮ファイルを解凍し、このフォルダー内にmainプログラムを配置し、user_config.jsonファイルをconfigフォルダー内に配置します。
プログラムフォルダーは現在
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 Implementation
監査会社
HACKEN
監査時間
January 3, 2024
監査人
Luciano Ciattaglia, Sofiane Akermoun, Nino Lipartiia, Bartosz Barwikowski