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