100%準備金証明(POR)

Gate.ioは100%準備金証明(POR)をした最初の主要プラットフォーム

Gate.io PoR

100%プルーフオブリザーブとは？

中央集権型取引プラットフォームは、ユーザーの資産を記録するための台帳をデータベースで管理しています。そのため、プラットフォームは、すべてのユーザーの資産を良好な状態で全額保管していることを証明するという課題を抱えています。

Gate.ioはこの問題を解決するために、マークルツリーを実装し、各ユーザーのアカウント資産のハッシュ値をマークルツリーのリーフノードに格納することで、この問題を解決しました。各ユーザーは、マークルツリーのリーフノードに格納されたユーザーの資産総額を監査し、自分の資金が含まれているかどうかを資格ある第三者監査機関を通じて確認することができます。

マークルツリーに格納された資産が100%以上であることが確認された場合、ユーザーの資産がプラットフォーム上に完全に保持されていること、すなわち、プラットフォームがユーザーの資産に対して100%プルーフオブリザーブを提供していることを意味します。

Fullscreen Exit fullscreen

Play Pause

00:00 00:00

Replay

100%プルーフオブリザーブがなぜそれほど重要なのか？

プラットフォームは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 "に名前変更してください。

ローカルダウンロード

Mac OS

ローカルダウンロード

Linux

ローカルダウンロード

Windows

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

リポジトリ

https://github.com/gateio/proof-of-reserves

監査報告書

Gate.io PoR Implementation

100%準備金証明(POR)

Gate.io PoR

100%プルーフオブリザーブとは？

100%プルーフオブリザーブがなぜそれほど重要なのか？