著名的區塊鏈程序員,V神(Vitalik Buterin),寫了一篇關於中心化交易所如何走向去信任的博客。
V神認爲“零知識簡潔的非交互式知識論證”(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge),簡稱ZK-SNARK是儲備的最佳證明。
以太坊的聯合創始人V神(Vitalik Buterin)於2022年11月19日發表了一篇博客,討論了CEX(中心化交易所)如何使用加密證明向公衆保證鏈上持有的資金覆蓋了他們的債務。
V神寫道,在TradFi(傳統金融)使用的措施——如審計師、公司治理、許可證和盡職調查——之上,交易所至少可以增加一個系統,限制它們在未經用戶同意的情況下提取用戶的資金。
該博客引用了一場始於9年前的討論,
“如果你證明客戶存款等於X(負債證明),X個硬幣的私鑰所有權證明(資產證明),那么你就有了償付能力證明。”
這位出生於俄羅斯的加拿大程序員的討論發生在衍生品交易所FTX暴雷一周之後,FTX交易所的新任首席執行官約翰·雷稱其爲“公司控制的徹底失敗”。
這篇博客文章——認可了Coinbase、Kraken和幣安的建議——指出,可以使用資產負債表技術、默克爾樹(Merkle Tree)、ZK-SNARK、Plasma和Validiums等加密證明來避免這種重大暴雷。
ZK-SNARK主張了將隱私考慮在內的最佳技術
V神認爲ZK-SNARK是所有模型中最好的——與人工智能中的Transformer 機器學習模型相比——因爲它證明了資產負債表不是負的。他稱這項技術是默克爾樹的補充。
它是如何工作的
用戶將資金存入默克爾樹(Merkle樹)或零知識證明- KZG多項式承諾,允許這個"證明者"計算對多項式的承諾。然後,系統將在特定位置顯示多項式的值作爲聲明值。
通過哈希保護隱私,分配給每個用戶的Merkle分支或KZG證明隱藏了個人余額。該系統還允許用戶將記錄放入默克爾樹或貸款金額的多項式中,從而爲貸款人提供服務。
默克爾的根在鏈上發布,然後系統可以識別過度槓杆化的借款人。
Plasma,Validiums和未來的無托管
這位著名的程序員還討論了Plasma和Validiums技術——作爲防止CEX(中心化交易所)竊取用戶資金的一種方法。Validium是Plasma技術的改進。
在智能合約中,“每個硬幣都被分配了一個索引,並位於Plasma區塊的默克爾樹的特定位置。”
此外,進行有效的貨幣轉账需要將交易放入樹的正確位置,並在根鏈上發布。
V神預見了托管的未來——由Validiums等智能合約控制的中心化交易所——和傾向於非托管的非托管交易所。該程序員表示,由此技術還可能催生出與法幣和加密貨幣的半托管交易所。
鄭重聲明:本文版權歸原作者所有,轉載文章僅為傳播信息之目的,不構成任何投資建議,如有侵權行為,請第一時間聯絡我們修改或刪除,多謝。
標題:V神:中心化交易所可以使用加密證明「ZK-Snark」來建立信任
地址:https://www.100economy.com/article/10472.html