中心化交易所のユーザーは、支払い能力の証明を提供することを要求されますが、「交換所が規制されている」という主張は彼らの要求を満たすには十分ではありません。
第三者監査に基づく準備証明などの既存の方法には欠点があります（毎日更新されず、操作される可能性があります）。
StarkEx の有効性ロールアップに基づく中心化取引所は、Ethereum 上ですべての利点を得ることができます：
- 取引所は規制を受け、関連する司法管轄区の法規制を遵守することができます。
- 各有効性証明には準備証明があります（約 2 回 / 日！）。
- ユーザーは自己保管を選択できますが、積極的に取引を行うことができます。
- 取引所のオペレーターが閉鎖された場合、ユーザーは Ethereum を介して資金を引き出すことができます。
- 取引所は個々のトレーダーの清算を免除することはできません - すべての人が同じルールに従う必要があります。
紹介
FTX は元々完全に規制された取引所であり、ユーザーの資産を 1：1 で保管していました。しかし、彼らは私たちを裏切り、私たちを欺きました。
したがって、ユーザーはより多くの透明性を求めています。彼らは、取引所が十分な資産を持っていることを確認するための信頼を必要としています。彼らは規制当局を信頼していませんが、コードを信頼しています。さらに、多くのユーザーは自己保管を望みながらも取引能力を失いたくありません。
準備証明は十分ではありません
準備証明はどのように機能しますか？通常、四半期ごとに、外部の監査人が取引所の帳簿にアクセス権を持ちます。彼らは、取引所がユーザーの債務をカバーするために十分な資産を持っているかどうかを検証します。その後、監査人は Merkle ツリーを維持し、各葉には各ユーザーの特定の資産の残高が含まれています。ユーザーは、この監査人の情報に基づいて自分の残高がツリー内にあるかどうかを検証することができます。Kraken はこれを長年にわたりうまくやってきました。彼らの準備証明のウェブページをご覧ください。
問題は、準備証明が最終ユーザーに虚偽の安心感を提供することです。なぜですか？
準備証明は毎日更新されません
取引所は四半期ごとにスナップショットを撮り、監査人がすべてを準備するのに数週間かかります。この間に、業界は取引所に重大な圧力をかける可能性のある感染事例を経験するかもしれません。
取引所は監査人と共謀することができます
監査人は長期的な評判を保護したり、違法行為を避けたりすることを望むかもしれませんが、単純な事実は、彼らはまだ贈賄されて嘘をつく可能性があるということです。FTX は GAAP 監査を受けていると主張していますが、何が起こったのか見てください。
取引所はスナップショットの前に資産を借りることができます
取引所は、相手取引所から資産を借り入れることで監査を操作することができます。彼らはこの貸付を帳簿に記載せず、資金を監査人に移動したと主張することで、監査人を欺くことができます。これは本当のリスクです。
取引所は所有権を証明するために冷たいウォレットに署名する必要があります
取引所は頻繁に、インターネットから隔離された冷たいウォレットを持っていると主張します。これらのウォレットには、ハッカーからの攻撃を防ぐための厳格な制御措置があります。四半期ごとの確認が必要な場合、これらのウォレットは四半期ごとに署名されます。これにより、取引所に操作リスクが導入されます。
StarkEx はすべての問題を解決しました
準備証明以外にも、より良い選択肢があります。信頼を必要とせずに、取引所が十分な資産を持っていることを証明し、取引所がユーザーの資金を完全に窃取することを防ぐアーキテクチャがあります。
続きを読む前に、Vitalik の記事を必ず読んでください。特に「Plasma and validiums: can we make CEXes non-custodial?」というタイトルの部分に注目してください。
StarkEx アーキテクチャ
StarkEx アーキテクチャを使用すると、中心化取引所はシステムのほとんどの部分を現在の方法で実行し続けることができます（図を参照）。彼らは今日のユーザー登録プロセスとまったく同じプロセスを持つことになります。司法管轄区に応じて、彼らは現在の KYC/AML 要件と同じ要件を持つことになります。さらに、オーダーブックとマッチングエンジンは中央集権化されたままです。これは重要です、なぜならそれが流動性プロバイダがリアルタイムの価格設定を提供できるようにするからです、彼らは伝統的な金融世界で慣れているように。オンチェーンのオーダーはブロックタイムとネットワーク同期の遅延を導入し、伝統的な市場メーカーが流動性を提供するのを妨げます。
唯一の違いは、実際の取引が StarkEx サービス（REST API）に送信され、Ethereum 上で STARK 証明によって決済されることです。ここには説明が必要な多くのことがありますが、まずは全体のプロセスを見てみましょう。
私は 1200 ドルの USDC を持っており、1 つの ETH に交換したいと思っています。私はこの注文に署名するために私のプライベートキーを使用します。
取引所は私ともう一人の当事者をマッチングし、私たちの間で資産のアトミック交換を行います。
次に、ETH の残高が 1 増え、USDC の残高が 1200 ドル減ったネットワークの新しい状態を証明する STARK 有効性証明が生成されます。
その後、Ethereum 上のスマートコントラクトがこの証明を自動的に検証します。これにより、新しい状態が証明され、私のプライベートキーが 1 つの ETH を制御していることが証明されます。
利益！
上記の例は現物取引の場合です。永続契約の場合、プロセスは似ていますが、今度は証明が私のポジションを証明し、残高ではなくなります。実際、私は永続デリバティブ取引所（例：dYdX）でポジションを持っている場合のプロセスについてもう少し詳しく説明したいと思いますが、そのポジションはすでに清算されています。
私は dYdX で 100 ドルの USDC を持っています
私は 1000 ドルの ETH ポジションでレバレッジ取引を行います
その後、ETH の価格が 10％下落したため、私は清算されました
その後、StarkEx API は、Oracle 価格の更新が価格の下落を確認すると、暗号化された方法で私の清算がシステムのすべてのルールに従っていることを証明します。その後、取引所は私のポジションを清算します
もし私の資金が StarkEx インスタンスに閉じ込められていて、それらを引き出したい場合、私は StarkEx インスタンスに取引を送信し、証明がチェーン上に到着して私の資金が解放されるのを待つことができます。ただし、もっとクールなことがあります。取引所のオペレーターが悪意を持って行動したり閉鎖した場合、取引所はユーザーの資金を窃取することはできません。この場合、ユーザーは安全に Ethereum のレイヤー 1 に移動し、そこで引き出しリクエストを提出することができます。StarkEx インスタンスが引き出しリクエストを十分な時間内に処理しなかった場合、資金は Ethereum 上で解放されます。StarkEx のドキュメントを参照してください。
これは些細なことのように聞こえるかもしれませんが、それは重要なことです。ユーザーは、伝統的な取引所での取引と同じユーザーエクスペリエンスを得る一方で、次のような利点も享受することができます：
ユーザーは自己保管を選択できますが、積極的に取引を行うことができます
取引所のオペレーターが閉鎖された場合、ユーザーは Ethereum を介して資金を引き出すことができます
取引所は個々のトレーダーの清算を免除することはできません - すべての人が同じルールに従う必要があります。Alameda のことを覚えていますか？FTX で特別なルールを取得したことが暴露されました（自動清算なし）。StarkEx ではこれは不可能です - 証明者は常に保証金要件を超える有効な状態を証明しません。
データ可用性モードに関する小さなヒント
チェーン上に送信される証明に加えて、Ethereum は新しい状態が何であるかを知る必要があります。これは、完全な Merkle ツリーをチェーン上に送信することによって（Rollup モード）、または Merkle ツリーをデータ可用性委員会に格納し、ツリーのルートのみをチェーン上に格納することによって実現できます。詳細とトレードオフについては、この記事を参照してください。
これは仮定ではありません；スケーラビリティがすでに実現されています
私たちは現在、StarkEx 上で 8 つのチームが本番環境で動作しています。こちらの「顧客」セクションをご覧ください：https://starkware.co/starkex/
dYdX を現実のケーススタディとして見てみましょう。
彼らはすでに 7500 億ドル以上の累計取引量を処理しており、すべて StarkEx によってサポートされています。
FTX の話が出たとき、彼らの取引量が増加しました！
資産の検証はオンチェーンで行われ、すべての証明が更新されます
dYdX はデータ可用性の Rollup モードを使用しているため、データ可用性委員会が資金を解放する必要はありません
ユーザーは資金のプライベートキーを完全に所有しています
では、実際の資産はどうなりますか？
多くの人々は、このソリューションが Ethereum ネイティブアセットに強力な力を持っていると信じていますが、トークン化された現実世界の資産にどのように拡張されるかは明確ではありません。この点については、Vitalik の視点を参考にしましょう。
最後の質問は：法定通貨を資産として検証できますか？取引所は暗号通貨だけでなく、銀行システム内の法定通貨も保有しています。これに対する答えは「はい」ですが、そのような手順は避けられないほど「法定」の信頼モデルに依存することになります：銀行自体が残高を証明し、監査人が貸借対照表などの資産を証明することができます。法定通貨には暗号学的に検証可能な性質がないため、これがフレームワーク内でできる最善の方法ですが、それでも価値があります。
これは仮定ではありません。これはすでに実現されています。私たちは金融の未来を見ており、それは伝統的なシステムで直面する実際の問題を解決しています。私たちのビジョンは、StarkEx がすべての金融ツールの取引と決済に力を与えることです。