Gate.io は、1,300万人以上のユーザーと1,700+の取引ペアを持つ主要な暗号取引所です。 世界で最も古く、最大の取引プラットフォームの1つとして、Gate.io 業界の規制を厳守し、市場操作には参加していません。 オープン性、透明性、平等性、コラボレーションは、常に私たちの使命です。 ユーザーの資産のセキュリティを確保するために、さまざまな集中型および分散型の方法を採用しています。

早くも2020年5月には、Gateは取引所の準備金(PoR)を最初に提案し、米国の有名な監査法人Armanino LLPに資産の監査を依頼しました。 これは、リザーブプルーフを提案する業界で最も早い取引所の1つです。 2023年11月23日、Gateはゼロ知識証明技術を通じてPoRをアップグレードし、ユーザーがより優れたプライバシー保護とデータセキュリティを享受できるようにしたことを 正式に発表 しました。 業界で初めてゼロ知識証明PoRを採用した取引所の1つとなりました。 この記事では、GateのProof-of-Reserveを使用して、Gate.io での資金の安全性を確認する方法について説明します。

経歴

プルーフ・オブ・リザーブとは?

中央集権型取引所(CEX)では、各ユーザーの資産がプラットフォームのデータベース台帳に記録されるため、ユーザーは自分の資産が譲渡されたかどうか、ユーザーが預けた資産をカバーするのに十分な資産が取引所にあるかどうかを確認することが困難です。 したがって、取引所は、ユーザーの資金を全額償還するのに十分な準備資産があることを証明する方法を必要としており、そのためには、取引所の準備資産の価値が、ユーザーが預けた資産の価値よりも高いことが必要です。 この公開されている資産の証明は、プルーフ・オブ・リザーブと呼ばれます。 プルーフ・オブ・リザーブの関連データは、ユーザーの預金資産に対する取引所の保有資産の比率に100%を掛けた準備率です。 準備率が100%を超えると、取引所の資産はユーザーの通常の引き出しニーズを満たすことができます。 預金準備率が高いほど、流動性リスクに抵抗する能力が強くなります。

準備率は、一般的に為替準備率と単一通貨準備率に分けられます。 取引所準備率とは、ユーザーの総預金額に対する取引所の総資産に100%を掛けた比率を指します。 単一通貨準備率とは、ユーザーが預け入れたその通貨の量に100%を掛けた、交換ウォレットに保持されている特定の通貨の数の比率を指します。

詳細については、zk-SNARKが Gate.io プルーフ・オブ・リザーブをどのように改善するか_clickをご覧ください。

ゼロ知識証明とは?

ゼロ知識証明(ZKP)は、ある当事者(証明者)が、証明の根拠を開示する追加情報を開示することなく、特定のステートメントが真実であることを別の当事者(検証者)に証明できるようにする暗号化方法です。 このプロセスは、証明者のプライバシーを保護するだけでなく、検証者が証明プロセスを複製したり、証明プロセスから追加情報を取得したりできないようにします。

この技術を理解するために、ユーザーAがユーザーBの電話番号を知っているという簡単な例を考えてみましょう。ユーザーCがユーザーAに「ユーザーBの電話番号を知っているか」と尋ねた場合、ユーザーAは、ユーザーCに明かさずにその場でBの番号をダイヤルすることで、その電話番号を実際に所有していることを証明することができます。 このプロセスは、ユーザーのプライバシーを保護しながら回答を提供するもので、私たちはこれを「ゼロ知識証明」と呼んでいます。

詳細については、 ゼロ知識証明の詳細な説明をクリックしてください。

ゼロ知識証明とプルーフ・オブ・リザーブの組み合わせ

zk-SNARKは、簡潔で非対話型のゼロ知識証明技術です。 事前に「信頼できる設定」を実行して共通参照文字列(CRS)を生成し、すべての証明者が直接アクセスできるようにします。 これは、zk-SNARKが正解を直接アップロードし、受験者が解答を確認できるようにする試験の採点システムに似ています(解答をバックエンドシステムに送信し、正解の最終結果を提供します)。 それは非常に効率的です。

マークルツリーは、「ツリー」に似たデータ構造です。 最下層のデータを「リーフノード」と呼び、真ん中のデータを「中間ノード」と呼ぶことができます。 中間ノードの値は、2 つの子ノードの値をハッシュすることによって計算されます (入力値は特定の方法で処理され、特定の値が生成されます)。 次に、左右の中間ノードがハッシュされ、上位レベルの中間ノードの一意の出力値が取得されます。 各レベルで処理した後、マークルツリーの一意のルートノード(ルート)が取得されます。

Gate.io は、zk-SNARKテクノロジーとMerkle Treeを組み合わせて、すべてのユーザーの預金をMerkle Treeに配置します。 次に、zk-SNARKを使用して、ツリー内のすべての残高が負でないことを証明します(つまり、取引所はマークルツリーの出力を妨害するアカウントを偽造していません)。 最後に、マークルツリーが生成され、関連するノードハッシュとルートハッシュがユーザー検証のために公開されます。

操作チュートリアル

フロントエンド UI インターフェイス

リンクをクリックするか、Gate.io のWebサイトにアクセスして、一番下までスクロールします。「100% Proof of Reserves」ボタンをクリックして、Gate Reservesのフロントエンドページにアクセスします。

基本準備金情報

Gate.io Proof-of-Reservesフロントエンドページに入ると、ユーザーは準備金の最新の更新時間を直接表示できます。 以下の例では、最新の監査は2023年11月10日にMarkle Tree + zk-SNARKsを監査方法として使用して実施されました。 ユーザーは約27億7,000万米ドル相当の資産を預けており、Gateウォレットに保有されている資産は、ユーザーの預金を4億3,400万米ドル上回り、合計32億600万米ドルとなっています。 全体の準備率は115.69%です。

単一暗号通貨準備率

ページを下にスクロールすると、さまざまな暗号通貨の具体的な金額と準備率が表示されます。 最初の暗号であるBTCを例にとると、2023年12月8日現在、ユーザーは13.85K BTCを入金しており、Gateウォレットは17.10K BTCを保有しており、BTCのリザーブ率は123.52%となっています。

画像の右下隅にあるページアイコンをクリックすると、Gateで最大112トークンのリザーブ率が表示されます。 画像の「今すぐ確認」ボタンをクリックして、検証チュートリアルを表示します。 チュートリアルに従うことで、口座残高が計算に含まれているかどうかを確認し、準備金率が資金を適切に計上した結果を反映していることを確認できます。

その他のフロントエンド表示ページ

アセットの監査ステータスを確認する別の方法として、「 マイアカウント 」ページに移動し、「監査」セクションに移動する方法があります。 ここでは、過去の監査記録とGateの包括的な準備金状況を確認できます。

認証プロセス

1.検証プログラムをダウンロードする

ユーザーは、 Github または予約ページにある ダウンロードリンク から検証プログラムをダウンロードし、名前を[main]に変更できます。

ユーザーは、ダウンロードするデバイスの対応するシステムを選択する必要があります。

2. 資産検証データのダウンロード

個人 監査 ページに入り、検証が必要なバッチを見つけ、それぞれ「マークルツリーのダウンロード」と「ユーザー設定のダウンロード」をクリックしてデータをダウンロードします。

ダウンロード後、zkmerkle_cex_xxx.tar.gzという名前の圧縮ファイルが作成されます。 メインプログラム(先ほどの検証プログラムファイル)をフォルダに入れ、configフォルダにuser_config.jsonファイルを配置します。 すべてが完了すると、ファイル構造は次の図のようになります。

このステップが完了すると、必要なすべての準備が完了し、正式な検証を開始できます。

3. 取引所資産の確認

ユーザーは、[cmd]を直接入力するか、[ターミナル]で[cd ~/Downloads/zkmerkle_cex_xxx]コマンドを入力して、上記の以前に構成したzkmerkle_cex_xxxファイルに入ることができます。

次に、次のように入力します。

プレーンテキスト
。/メイン CEX の確認

検証が成功すると、次の出力が出力されます。

プレーンテキスト
すべての証明が合格したことが確認されます!!

4. 自分の資産を確認する

次のコマンドを入力して、自分の資産を確認してください。

プレーンテキスト
。/メイン ユーザーの確認

ユーザーの資産が正しく計算されていれば、口座と残高のデータはマークルツリーのリーフノードになります。 そのため、検証に成功したことが出力されます。

プレーンテキスト
マークルはハッシュを残す:164bc38a71b7a757455d93017242b4960cd1fea6842d8387b60c5780205858ce
パスを確認します!!

技術的な詳細を知りたい場合は、 リンク をクリックしてGithubにアクセスし、オープンソースコードを表示できます。

結論

zk-SNARKを有効にすることは、Gate.ioのProof of Reservesの重要なアップグレードであり、ユーザー資産のセキュリティを保護するための重要なステップです。 優れたセキュリティとプライバシーの保護により、ユーザーに自信をもたらし、暗号通貨業界全体の新しい基準を設定します。