加密貨幣交易所 加密貨幣交易所
Ctrl+D 加密貨幣交易所
ads

Huobi Research:CEX如何自證清白并提升資金安全性_CEX:ITA

Author:

Time:1900/1/1 0:00:00

FTX的暴雷給原本就日漸冷清的加密市場再潑了一盆冷水。用戶對中心化交易所的信任程度迅速降低,提幣運動此起彼伏。為留住用戶和資金,CEX們紛紛發布儲備金證明,以自證清白。Vitalik也發文討論了償付能力證明,從技術角度解答和展望了如何實現更安全的CEX。本文將結合對Vitalik文章的解讀、各家CEX的證明方案和各方提議,討論CEX如何自證清白并繼續發展。

1.用技術手段證明償付能力

證明CEX擁有償付用戶取款的能力就基本上等同于證明了它沒有挪用用戶的存款。這需要證明一個不等式:CEX控制的資產總和>=所用用戶存款總和。除了公布這兩個數值以外,CEX還需要證明不等式的左右兩邊的數字都是真實的,即資產屬于且一直屬于交易所,它沒有篡改用戶的存款余額。

各類技術手段都圍繞著證明這兩點而開展。對于資產證明,中心化機構需要提供其持有的鏈上地址,并對其進行驗證和審計。常見的做法是提供數字簽名以證明其對鏈上地址的所有權。這個做法難度不大,被普遍采用。當前的討論集中在負債證明上,各家交易所近期紛紛公布的默克爾樹MerkleTree資產儲備證明就是最典型的負債證明。

1.1將默克爾樹用于負債證明

默克爾樹是區塊鏈中非常常見的數據結構。它是一種典型的二叉樹結構,由一個根節點、一組中間節點和一組葉子節點組成。默克爾樹的每個更高一級的中間節點都是它下方的兩個中間節點的哈希,經過這樣的逐層計算得到最后的根節點。所以根節點包含了所有葉子節點的信息。底層數據的任何變動,都會傳遞到其父節點,并逐層傳遞到根節點。它常用來快速證明某個集合中存在或者不存在某個特定的元素、比較大量數據是否完全相同、尋找修改位置等。

BlockTower Capital在10小時前將181萬枚ARB轉至Coinbase:金色財經報道,據Spot On Chain監測,BlockTower Capital在10小時前以0.973美元的均價(共約176萬美元)將181萬枚ARB轉移到Coinbase。他們在 3月23日至31日和5月8日至15日期間以1.124美元的均價(共約204萬美元)購買了這些ARB。如果他們現在真的全部賣掉,估計將蒙受27.58萬美元的損失(投資回報率:-13.5%)。[2023/6/13 21:33:45]

CEX使用默克爾樹建立用戶賬戶資產余額的匿名化且不可篡改的集體快照,從而證明它們沒有篡改用戶的余額。最基本的方法就是把每個用戶的用戶名/UID與它的余額一起做哈希計算并作為葉子節點從而構成默克爾樹。如果用戶發現用自己的余額和默克爾樹上的路徑無法計算出正確的默克爾根,即可判定交易所挪用用戶資產。

不過正如Vitalik所言,一般的默克爾樹有個小Bug。因其不能幫助用戶識別負值,所以不能直接用于儲備金證明。如下圖所示,如果一個交易所的客戶存款總數是1390枚ETH,但是它挪用了500枚ETH,所以它的儲備只有890枚ETH。這個CEX會對外宣稱用戶存款總數是890枚ETH。為了掩蓋挪用用戶資產的行為,它可以在樹的某個位置上添加一個由它本身控制的假賬戶,賬戶余額為-500ETH。經過哈希計算后,不管是正數還是負數都會出現一串很沒有規律的數字,其他用戶無法分辨。利用這個假賬戶得到的默克爾樹會完美包含其他用戶的余額信息,導致用戶驗證的結果總是正確。審計公司可以發現這個漏洞,但若是它與交易所聯合作惡,默克爾樹將形同虛設。

超4000萬枚APE將于本周解鎖,價值約1.79億美元:金色財經報道,3月13日,據TokenUnlocks數據顯示,本周(3月13日至3月19日)以下Token即將迎來解鎖,其中:

3月14日23:00:00,有6,520,128枚DYDX(約合1434萬美元)解鎖,占總供應量0.652%;

3月15日8:00:00,有187,500,000枚BIT(約合9468萬美元)解鎖,占總供應量1.951%;

3月15日9:18:29,有107,723枚ELU(約合64.7萬美元)解鎖,占總供應量0.396%;

3月16日20:00:00,有192,307枚GAL(約合29.6萬美元)解鎖,占總供應量0.096%;

3月17日8:00:00,有40,601,326枚APE(約合1.79億美元)解鎖,占總供應量4.06%;[2023/3/13 13:00:21]

針對負值問題,Vitalik在文中提出了名為默克爾總和樹的改進方案。默克爾總和樹的每個節點都包含余額和哈希這2個信息。底層葉子節點是各個用戶的余額和用戶名哈希。在每個較高層節點中,余額是下面兩個節點余額的和,而哈希值是下面兩個節點整體信息的哈希,即對這兩個節點的余額和哈希值一起做哈希運算。將余額單獨顯示出來,有助于用戶識別負值,從而暴露CEX挪用用戶資產的行為。如上圖所示,Greta在做自行驗證時,會發現Henny的余額為負;Eve和Fred都會發現Greta和Henny余額的總和為負。這會導致他們3人驗證不通過。

CZ計劃推動建立全球數字資產標準:11月14日消息,幣安首席執行官CZ表示,在競爭對手FTX破產后,該公司計劃帶頭與其他行業參與者一起制定全球標準,他說道:“作為一個行業,我們需要提高透明度,我們需要與世界各地的監管機構密切合作,以使這個行業更加穩健。監管機構可以發揮重要作用,但我們不能將此歸咎于任何一方。”(彭博社)[2022/11/14 13:02:18]

經過改造后,交易所使用默克爾樹發布儲備證明的過程如下。

●生成默克爾樹證明:交易所委托外部審計公司或由其本身對所有用戶余額進行快照,然后將其匯總至默克爾總和樹。

●驗證:審計師對比并核實交易所控制的余額是否大于等于默克爾樹所提供的數目。由此證明客戶的資產是否有全額準備金所支持。用戶可自行核對,若用戶的用戶名和余額數值在默克爾樹中,且計算過程中未出現負余額,則證明交易所沒有篡改用戶余額,也就是沒有挪用用戶資產。

1.2默克爾樹的改進方案

用默克爾樹證明用戶余額仍然有一個小小的缺點,那就是會暴露隱私。如下圖所示,Charlie自行驗證時,CEX必須告訴他David的余額、Alice與Bob余額之和、樹的右半邊所有用戶余額之和。盡管用戶得知了這些信息后也不會做出有危害性的行為,但是對于交易所和被暴露余額的用戶來說,隱私的泄露總不是一件讓人舒服的事。

針對這個問題,BitMEX提出了一種簡便的解決方法。他們將一位用戶的賬戶余額隨機拆分成幾份,再把每一份都隨機填入Merkle樹的一個底層葉子節點。這樣暴露出來的用戶的余額都只是碎片化的,可以在一定程度上緩解隱私問題。比如圖中的Fred,他的賬戶被拆分成2個部分,Charlie不知道他到底有多少存款。只是如果真有人想通過多個賬號來獲取他人信息,他需要付出更多的努力,但還是能做到。

韓國商業銀行KEB Hana Bank將在The Sandbox開設虛擬分行:7月11日消息,The Sandbox宣布與韓國商業銀行KEB Hana Bank達成合作,KEB Hana Bank將在The Sandbox 開設提供基本的銀行服務的虛擬分行,并與The Sandbox的其他合作伙伴一起推動投資業務發展。此外,韓亞金融集團(Hana Financial Group)還將引入包含韓國當地內容的虛擬空間K-verse。[2022/7/11 2:05:26]

要想完全解決隱私問題,可以引入ZK-SNARK。正如V神文章里提到的,用所有用戶的余額生成默克爾樹,使用ZK-SNARK來證明樹中的所有余額都是非負的,并且加起來是某個聲稱的值。如果我們使用哈希來加強隱私,那么給每個用戶的默克爾樹路徑將不會透露任何其他用戶的余額。或者是用所有用戶的哈希用戶名和余額建立一個多項式,并對其做出KZG多項式承諾。交易所證明它知道這個多項式。用戶驗證的方法是以他的余額作為多項式上的一個點,讓交易所計算多項式在此處的取值,并以此生成一個見證,用戶驗證承諾、取值和見證之間的對應關系。在KZG承諾中,多項式、承諾、見證都有對應關系,不能任意偽造,這一點和默克爾樹一樣。它不需要提供“姐妹節點”作為證明的依據,可以在不泄露隱私的情況下完成證明。

1.3各類方案的總結和不足

這里先對基本默克爾總和樹、BitMEX方案、ZK-SNARK默克爾樹、KZG多項式承諾做出總結和比較,如下表所示。前兩種方法操作簡單,盡管有隱私暴露的風險,但在目前看來沒有重大隱患,已經足夠應用在實際中。后兩種方法中要使用ZK-SNARK證明加法計算,這會給交易所帶來額外的操作,所以增加了操作的成本。KZG多項式承諾的方法更高級,但是交易所計算承諾的過程資源消耗大,涉及大量橢圓曲線點運算,所以可能暫時還不會獲得采用。以上所有方法用戶都不需要有搜索操作,且都容易驗證。

SpaceX員工公開譴責馬斯克:讓我們尷尬和丟臉:6月17日消息,太空探索技術公司SpaceX的一些員工周三發表了一封公開信,對兼任SpaceX CEO的馬斯克最近的一些行為進行了譴責。

這些員工在公開信中表示,“馬斯克在公共場合的行為,經常讓我們分心和尷尬,尤其是最近幾周。作為CEO和發言人,馬斯克發送的每一條推文,都是公司事實上的公開聲明。但是,需要澄清的是,他的信息并不反映我們的工作、我們的使命或我們的價值觀,這一點至關重要。”[2022/6/17 4:33:42]

這些負債證明的技術方案與較為普遍采用資產證明方案,都還沒有解決以下幾個問題:

第一,這些負債證明方案都需要用戶來監督,但如果自行驗證的用戶太少,不足以檢查出交易所的作惡行為。需要持續教育用戶,提高用戶的自覺性。另一種方法是由交易所之間互相監督。大型交易所可在其他交易所注冊一定數量的賬戶,存放少量資產以驗證其負債證明。

第二,資產證明和負債證明都不是實時的證明,交易所完全可以在做資產證明之前通過借貸的方式獲得資金,應付檢查,隨后再歸還。解決這個問題有兩種方法,其一是可以約定一個固定時間,各大交易所同時進行審計;其二是可以進行不定期的突然審計。這兩種方法都可以壓縮資金拆借的時間。

第三,證明的過程依賴值得信任的審計公司,但如果審計公司與交易所勾結,其后所有技術手段都會失效。

第四,這一點是最關鍵的,這些方案都沒有強制的約束力。交易所可以在資不抵債的狀態下運行。尤其在熊市中,如果短期的經濟壓力大到了讓交易所撐不到下一個牛市,挪用用戶資金就成了自然而然的舉措。

2.半中心化的CEX

前文說到的各種證明,都是用于證明CEX沒有作惡,但是CEX仍然擁有作惡的能力。如果我們更進一步,用技術的約束讓交易所從沒有作惡變成無法作惡,那么用戶的信任就會恢復,甚至是增強,加密生態圈也會更繁榮。

Vitalik按照對用戶資金的控制程度和作惡的便利程度將交易所分為5類。當前交易所主要是其中的3類。下圖左起第1類交易所完全控制用戶的資金,沒有措施監督和阻止它挪用用戶資金。在FTX暴雷之前,幾乎所有CEX都是這樣的。現在大多數CEX是第2類,交易所控制用戶的資金,但有外部的人為控制措施來監督。大多數DEX屬于第5類,交易所完全不控制用戶的資金,所以也就沒有能力作惡。

V神指出CEX與DEX不是二元對立的,在完全的中心化和完全的去中心化之間,存在半中心化CEX的中間地帶。它們可以繼承傳統中心化交易所高效率的交易系統,并由如多重簽名私鑰持有者、驗證者等分散交易所的權力,從而降低交易所作惡的可能性。它們就是V神文章里的第3類和第4類交易所。

第3類交易所仍然托管用戶的資金,但是它不能在資不抵債的情況下運行。此類交易所尚未出現。如果要實現,需要對它進行一些限制。這里做出一點暢想,可以要求CEX將資產存放在幾個固定的由多重簽名控制的地址上,或者用MPC技術將私鑰拆分為幾份。通過實時或高頻率償付能力檢測來監控交易所資金狀態。常規情況下只需要CEX本身控制的私鑰完成簽名即可調動資金。若檢測出資不抵債/單筆轉出比例過高/連續轉出等情況,其他私鑰持有者可以啟動緊急模式并集體拒絕交易,以達到凍結賬戶的效果。這種方式是用多個私鑰持有者來降低了CEX的中心化程度,從而降低其作惡的便捷性。這類交易所可能是未來CEX的演進方向。

此類交易所若要繼續發展,還需要審計工作再上一個臺階。未來審計的可信度、速度和自動化程度都需要提高,才能承接住這些交易所的需求。

第4類交易所就不托管用戶的資金了,只是使用中心化的交易系統。用戶的資金托管在智能合約中。DYDX可以視為這類交易所的代表。它利用自己的交易系統在鏈下撮合交易,將交易結果壓縮打包后提交到以太坊主網上。它即利用了中心化交易系統的便利性,又獲得了以太坊這個結算層的安全性。現在它的V4版本遷移到了Cosmos生態上,其底層是專為它量身打造的區塊鏈,但中心化交易+去中心化結算的范式沒有改變。這一類交易所需要有低成本高安全性的底層區塊鏈作為保障,且在處理跨鏈問題上不如一般的CEX方便,故不太可能成為CEX的演進方向。

3.借鑒傳統金融

正如XResearchDAO的分析師Wilson在文中所言,現階段的中心化加密貨幣交易所存在著內部權限過大、資產保管不透明、收益放大沖動、不受外部約束等弊病。要解決這些問題,依靠技術進步只是一條路線,另外一條路線就是建立一整套合理的制度安排來拆分和限制CEX的權限。

當前的加密市場很像早期金融業的混業經營階段。CEX是集各項金融職能于一身的綜合型機構,一方面提供場內交易委托和撮合,也全權托管客戶充值的各類代幣資產,還提供各類理財服務。多種業務也意味著多種權限,而當一個機構的權力太大時,它會不會憑借此謀取私利就只在一念之間了。

下一階段加密市場必然有構建更安全交易模式的需求,借鑒歷經數十年實踐驗證及完善至今的證券業制度不失為一條捷徑。證券行業形成了規范化的交易制度,包括:

●由第三方存管機構存管客戶的交易結算資金。

●由證券登記結算機構集中提供證券的登記、托管與結算。

●由證券經紀商接受客戶委托并代為買賣證券證券,提供融資和融券服務。

●由證券交易所完成交易信息的場內訂單撮合。

證券行業通過這樣一套多方協作和制衡的制度,避免了單一機構作惡造成系統性風險的局面。而以上4項功能,全都由CEX完成,這就大幅度加重了單點故障的危害性。所以有必要結合加密資產交易的特點,借鑒傳統金融分業經營的模式,讓多個相互獨立的機構承擔當前加密貨幣交易所的多種功能,從而實現分權和制衡。

這種借鑒絕非容易,它存在以下困難:

●分業經營意味著CEX交出很多權限,可能會降低其盈利能力,所以CEX自身沒有意愿這么做。

●這需要監管的介入,但該如何制定規則還需探索,且出臺法律法規較為耗時。

●各國的監管規則可能不一致,這會不會導致加密市場的割裂尚不明確。

●更多的制度約束也意味著可能會出現更高的管理成本,這些成本都會轉嫁到用戶身上。

不過可以確定的是,加密資產若能成為主流資產,上述轉變就一定會出現。多一點耐心和自我保護措施,更規范的CEX正在路上。

Tags:CEXITATALALINDCEX價格Digital Currency AggregateDas Galaxy Talent TokenRealital Metaverse

歐易交易所app下載
長推:圖解什么是數據可用性DA_區塊鏈:比特幣怎么挖挖一枚需要多久呢

講到模塊化區塊鏈,數據可用性DA是一個繞不過去的主題。無論是以太坊大熱的EIP-4844提案還是通用的DA層解決方案Celestia,都跟DA有著密不可分的關系.

1900/1/1 0:00:00
數字技術讓文化遺產“活”在當下_元宇宙:區塊鏈

文化遺產是歷史留給人類的寶貴財富,不僅訴說著過去,也深刻影響著當下和未來。該如何有效保護,并讓公眾觸及文化遺產?數字技術是一種有效手段.

1900/1/1 0:00:00
Binance《直面FUD》全文:對于近期媒體及社區質疑的回應_USD:加密貨幣

12月22日,Binance發布中文文章《直面「FUD」|對于近期媒體及社區質疑的回應》,逐一回應常見質疑.

1900/1/1 0:00:00
10家毛利潤超過500萬美元的Web3企業分析:它們的收入來源于何處?_NFT:DEBASE

上圖的快照日期為2022年10月22日,讓我們分解一下他們的商業模式。*注意:這些是收入,而不是費用或回報。也不是"凈利潤"--考慮到工資和其他運營成本,凈利潤將大大降低.

1900/1/1 0:00:00
2023,讓我們繼續薅空投羊毛吧_TOK:Vodka Token

2022年還有幾天就結束了,寒冬之年,身處加密行業的你或許沒有獲得期望的收益,但是加密向前的腳步不會停下,加密行業向前的腳步也不會停下,olimpio.eth撰寫了一些迄今仍可以交互的空投項目.

1900/1/1 0:00:00
若Ape社區無法與Cartan Group續簽,接下來會發生什么?_APE:COIN

近日,ApeCoin?DAO?社區正在對由CartanGroup發起的新提案AIP-183進行投票,CartanGroup想要延長與ApeCoinDAO社區的合作.

1900/1/1 0:00:00
ads