中心化交易所的用戶要求提供償付能力證明，而聲稱「交易所受到監管」的說法不足以滿足他們的要求
像基於第三方審計的儲備證明這樣的現有方法存在弱點（它們不會每天更新，也可以被操縱）
在以太坊上運行基於 StarkEx 有效性 Rollup 的中心化交易所可以獲得所有好處：
— 交易所可以受到監管並遵守相關司法管轄區的法規
— 每個有效性證明都有儲備證明（大約每天兩次！）
— 用戶可以選擇自主託管但仍然積極交易
— 如果交易所營運者關閉，用戶可以通過以太坊提取資金
— 交易所不能免除任何個別交易者的清算 - 每個人都必須遵守相同的規則
介紹
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），在以太坊上通過 STARK 證明的驗證來結算。這裡有很多需要解釋的內容，讓我們來看看整個流程。
我擁有 1200 美元的 USDC，並且想要將其交換成 1 個 ETH。我使用我的私鑰數字簽名一份授權此訂單的訂單。
交易所將我與另一方進行匹配，並在我們之間原子交換資產。
然後生成一個 STARK 有效性證明，證明了網絡的新狀態，其中我的 ETH 餘額增加了 1，我的 USDC 餘額減少了 1200 美元。
然後，以太坊上的智能合約會自動驗證此證明。這個驗證證明了新狀態，現在我的私鑰控制 1 個 ETH。
利潤！
上面的示例是用於現貨交易。對於永續合約，流程類似，只是現在證明證實了我的頭寸，而不是我的餘額。事實上，我想更深入地解釋一下，如果我在永續衍生品交易所（例如 dYdX）上有頭寸的情況下的流程，該頭寸現在已被清算。
我在 dYdX 上有 100 美元的 USDC
我以 1000 美元的 ETH 頭寸槓桿交易
然後，ETH 價格下跌了 10%，所以我被清算了
然後，StarkEx API 接收到一個確認價格下跌的 Oracle 價格更新，並以密碼學方式證明我的清算遵循了系統的所有規則。然後，交易所清算我的頭寸
如果我的資金被困在 StarkEx 實例中，而我想要提取它們，我可以在 StarkEx 實例上提交一筆交易，等待證明到達鏈上並釋放我的資金。然而，情況變得更酷了。如果交易所營運者選擇惡意行事或關閉，交易所無法竊取用戶的資金。在這種情況下，用戶可以信任地前往以太坊的第一層，並在那裡提交提取請求。如果 StarkEx 實例沒有在足夠的時間內處理提款請求，資金將在以太坊上釋放。請參閱 StarkEx 文檔。
這聽起來可能微不足道，但它是深刻的。用戶獲得了與傳統交易所交易相同的用戶體驗，同時還享有其他好處：
用戶可以選擇自主託管但仍然積極交易
如果交易所營運者關閉，用戶可以通過以太坊提取資金
交易所不能免除任何個別交易者的清算 - 每個人都必須遵守相同的規則。還記得 Alameda 發生了什麼嗎？曝光了 Alameda 在 FTX 上獲得特殊規則的情況（沒有自動清算）。在 StarkEx 上這是不可能的 - 證明者永遠不會證明一個令頭寸超出保證金要求的有效狀態。
關於數據可用性模式的小提示
除了發送到鏈上的證明外，以太坊還需要知道新狀態是什麼。它可以通過將整個 Merkle 樹發送到鏈上（Rollup 模式）或者通過將 Merkle 樹存儲在數據可用性委員會中，並僅將樹的根存儲在鏈上來實現。有關更多信息和權衡，請參閱此文章。
這不是假設的；今天已經實現了規模化
我們今天在 StarkEx 上有 8 個團隊在生產中。請查看這裡的「客戶」部分：https://starkware.co/starkex/
讓我們以 dYdX 作為一個現實世界的案例研究。
他們已經處理了超過 7500 億美元的累計交易量，所有這些都是由 StarkEx 提供支持的。
當 FTX 的故事傳出來時，他們的交易量增加了！
資產的驗證可以在鏈上進行，每個證明都會更新
dYdX 使用 Rollup 模式的數據可用性，因此甚至不需要數據可用性委員會來釋放他們的資金
用戶完全掌握資金的私鑰
那麼真實資產呢？
許多人相信這種解決方案對以太坊原生資產具有強大的力量，但不清楚它如何擴展到代幣化的真實世界資產。對此，讓我們借鑒 Vitalik 的觀點。
最後一個問題是：您是否可以對法定貨幣進行資產驗證？交易所不僅持有加密貨幣，還持有銀行體系內的法定貨幣。對於這一點，答案是：是的，但這樣的程序不可避免地將依賴於「法定」信任模型：銀行本身可以證明餘額，審計員可以證明資產負債表等。鑒於法定貨幣不具備密碼學可驗證性，這是該框架內所能做的最好的事情，但這仍然值得做。
在這個代幣化中有一個信任點，但到此為止。交易所仍然可以按照上述描述運行。
結論
這是金融的未來，它解決了傳統系統中遇到的真實問題。我們的願景是，未來十年內，StarkEx 將為所有金融工具的交易和結算提供動力。