買以太坊 買以太坊
Ctrl+D 買以太坊
ads

NAR:V神文章:如何使用 ZK-SNARKs 改善中心化交易所的安全性?_MARKS價格

Author:

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

作者:VitalikButerin

原文鏈接:https://hackmd.io/@vbuterin/proof_of_solvency

每當一個大型中心化交易所崩潰時,一個常見的問題就是我們是否可以使用加密技術來解決。交易所可以利用密碼學證明它們在鏈上持有的資金足以支付它們對用戶的債務,而不是僅僅依賴政府許可、審查公司審計和運營交易所的個人背調等法律途徑。

而且交易所可以建立一個系統,在該系統中,未經儲戶同意,交易所不能提取儲戶的資金。我們可以探索「主動不做壞事」且有野心的CEX和「沒有能力做壞事」的CEX之間的界限,但目前往往人們只是看向效率低下且隱私泄露的鏈上DEX。

這篇文章將討論將CEX向免信任更近一步的嘗試過程、這些技術的局限性,以及一些依靠ZK-SNARK等先進技術的方案和更強大的想法。

交易所試圖用密碼學的方式證明自己沒有欺騙用戶的最早嘗試要追溯到很久以前。

2011年,當時最大的比特幣交易所MtGox通過發送一筆交易,將424242個比特幣轉移到預先公布的地址,證明他們有資金。

2013年,人們開始討論如何解決問題的另一面:證明客戶存款的總規模。如果你證明客戶的存款等于X,并證明擁有X個代幣的私鑰,那么你就有了償付能力證明——你證明了交易所有資金償還所有儲戶。

證明存款的最簡單方法是簡單地發布一個對列表。每個用戶都可以檢查他們的余額是否包含在列表中,任何人都可以檢查完整的列表,查看:

每個余額都是非負的;

總額為索賠金額。

當然,這破壞了隱私,所以我們可以稍微改變一下方案:

ETH 2.0開發人員:Altair升級規格將于5月21日左右凍結,V神提案允許將質押委托為礦池:ETH 2.0開發人員Ben Edgington更新Eth2雙周進展表示,Altair是計劃在年中進行的相對較小的信標鏈更新。根據開發人員最近的電話,客戶端團隊在實施Altair規格方面進展相當順利。目前暫定時間規劃(未承諾):Altair規格凍結在5月21日左右;6月初短期上線測試網(僅是Altair規格,不是分叉轉換);嘗試在6月底之前將當前的測試網分叉;七月底八月初部署到信標鏈。此外,Altair升級會導致不能支付驗證節點一個epoch的獎勵,除非采取一次性修復。該修復增加了實現和測試的復雜性,但回報相對較少。

另外,V神Vitalik提案允許驗證節點更改其簽名密鑰:提供了一種將質押委托給礦池的方法,同時保留一定程度的控制權,并對slashable行為負責。[2021/5/9 21:41:22]

發布一個對的列表,并私下向每個用戶發送他們的salt值。但即使這樣也會泄露余額和余額變化的模式。

為了保護隱私,我們想到了下一個發明:默克爾樹技術。

綠色:代表Charlie的節點。

藍色:代表Charlie將收到作為證明的一部分代節點。

黃色:代表根節點,向所有人公開顯示。

默克爾樹技術包括將客戶余額表放入默克爾總和樹中。在默克爾總和樹中,每個節點都是一個對。底層葉節點表示各個客戶的余額和salt的用戶名哈希。

在每個較高層節點中,余額是下面兩個余額的和,而哈希是下面兩個節點的哈希。默克爾總和證明與默克爾證明一樣,是樹的一個「分支」,由從葉到根的路徑上的姐妹節點組成。

V神:預計1個月左右將推出完全兼容EVM的Rollup:3月10日消息,以太坊聯合創始人V神在最近的播客節目上表示,Eth2開發人員正致力于進行以太坊鏈合并工作,并相信在分片開發完成之前,第二層解決方案可以支持以太坊網絡。他稱:“Rollup很快就會出現。我們完全有信心,而到需要更多的擴展性能時,分片已經準備好很長時間了。”此外,V神預計,“大約在一個月左右”,將推出完全兼容以太坊虛擬機(EVM)的Rollup。V神還表示,以太坊網絡即將擴展100倍,并預測Optimism將在未來幾周內發布其第二層解決方案。此前2月25日消息,以太坊擴容方案Optimism官方宣布將于3月推出主網。(Cointelegraph)[2021/3/10 18:31:29]

該交易所將向每位用戶發送一份默克爾存款證明。然后,用戶將得到一個保證,他們的余額是正確包括在總額的一部分。可以在這里找到一個簡單的示例代碼實現。

這種設計中泄露的隱私比完全公開的列表要低得多,而且可以通過在每次發布「根」時移動分支來進一步減少,但仍然存在一些隱私泄露:Charlie了解到有人的余額為164ETH,有兩個用戶的余額加起來達到70ETH等等。控制多個帳戶的攻擊者仍有可能了解交易所用戶的大量信息。

該方案的一個重要的微妙之處是負余額的可能性:如果一個交易所有1390ETH的客戶余額,但只有890ETH的儲備,試圖通過在樹的某個位置的假賬戶下添加-500ETH余額來彌補差額,該怎么辦?

事實證明,這種可能性并沒有破壞該方案,這就是我們特別需要默克爾總和樹而不是常規默克爾樹的原因。假設Henry是交易所控制的假賬戶,交易所在那里放了-500ETH:

V神:我最糟糕的預測之一就是認為CSW退出后BCH開發會改善:8月4日午間,V神在推特回復網友時表示,不理解BCH團隊的人為什么那么在意難度調整算法的細節。與此同時,V神還稱,很誠實地說,樂觀地認為在CSW退出后,BCH的開發會得到改善,這絕對是我最糟糕的預測之一。[2020/8/4]

Greta的證明驗證將會失敗:交易所將不得不給她Henry的-500ETH節點,她會以無效為由拒絕它。Eve和Fred的證明驗證也會失敗,因為Henry上面的中間節點有-230的ETH,所以也是無效的。為了避免被懷疑盜用,交易所必須希望樹的右半部分沒有人檢查他們的余額證明。

如果交易所能夠識別出價值500ETH的用戶,他們相信這些用戶要么不會費心檢查證據,要么在他們抱怨他們從未收到過證明時不信任他們,他們就可以不被懷疑盜用。但是,交易所也可以將這些用戶從樹中排除并產生相同的效果。

因此,如果僅以實現負債證明為目標,默克爾樹技術基本上與責任證明方案一樣好。但它的隱私屬性仍然不理想。你可以用更聰明的方式使用默克爾樹,比如把每個satoshi或wei做成一個單獨的葉,但最終通過更現代的技術,還有更好的方法來做到這一點。

ZK-SNARK是一項強大的技術。ZK-SNARK之于密碼學,可能就像變壓器之于人工智能。我們可以使用ZK-SNARK極大地簡化和改善責任證明協議中的隱私。

我們可以做的最簡單的事情是將所有用戶的存款放入默克爾樹,并使用ZK-SNARK來證明樹中的所有余額都是非負的,并且加起來是某個聲稱的值。如果我們為隱私添加一層哈希,那么給每個用戶的默克爾分支將不會透露任何其他用戶的余額。

聲音 | V神:加密貨幣同時具有可擴展性、去中心化和安全性并非不可能:據bitcoinist報道,末日博士、紐約大學經濟學教授Nouriel Roubini近日再次發表了有關加密貨幣是泡沫,只對希望用加密貨幣洗錢的犯罪分子和逃稅者有用,以及加密貨幣毫無價值等言論。對此,以太坊聯合創始人V神(Vitalik Buterin)對他的許多主張進行了反擊。V神表示,加密貨幣作為支付手段提供的任何便利都是所有人都喜歡的。V神指責末日博士的批評沒有考慮到采用加密貨幣的諸多好處。至于該技術的低效率,V神強調加密貨幣和區塊鏈領域目前正在進行持續的技術進步。對于加密貨幣的三難問題,V神表示,三難論并沒有數學證明。同時具有可擴展性、去中心化和安全性并非不可能。[2019/4/6]

使用KZG承諾是避免隱私泄露的一種方法,因為不需要提供「姐妹節點」作為證明,并且可以使用一個簡單的ZK-SNARK來證明余額的總和,并且每個余額都是非負的。

我們可以用一個專用的ZK-SNARK證明上述KZG中余額的總和以及非負性。這里有一個簡單的例子。

我們引入一個輔助多項式I(x),它組成每個余額的比一部分,每16個位置跟蹤一個帶有偏移量的總和,只有當實際的總和與聲明的總和相匹配時,它的總和才為零。如果z是單位的-128階根,我們可以證明以下等式:

可在這里找到關于ZK-SNARK的進一步解釋。只需要幾個額外的方程,這樣的約束系統就可以適應更復雜的環境。例如,在杠桿交易系統中,個人用戶的余額為負是可以接受的,但前提是他們有足夠的其他資產,以一定的擔保保證金覆蓋資金。SNARK可以用來證明這一更復雜的約束,讓用戶放心,交易所不會通過秘密豁免其他用戶遵守規則來冒資金風險。

聲音 | V神:新興穩定幣和加密瀏覽器等產品有利于生態系統:據Ambcrypto消息,近日在Token 2049大會上,V神指出,除了加密貨幣領域的技術細節之外,生態系統中還發生了許多非常積極和令人鼓舞的事情。許多加密貨幣交易所、新興的穩定幣和加密瀏覽器正在為更快、更可靠的加密貨幣領域鋪平道路。他還提到Brave瀏覽器以及Opera將以太坊錢包集成到瀏覽器中的決定。[2019/3/20]

在較長期的未來,這種ZK債務證明或許不僅可以用于客戶在交易所的存款,還可以用于更廣泛的貸款。任何人借出一筆貸款都會將記錄放入一個多項式或包含該貸款的樹中,該結構的根會在鏈上發布。這將使任何尋求貸款的人向貸款機構證明,他們還沒有獲得過多的其他貸款。

最終,法律創新甚至可能使以這種方式承諾的貸款比沒有這樣承諾的貸款具有更高的優先級。這與我們在《去中心化社會:尋找Web3的靈魂》文章中討論的一個想法的方向完全相同——通過某種形式的「靈魂綁定代幣」,在鏈上產生負面聲譽的概念。

資產證明的最簡單版本是我們上面看到的協議:要證明你持有X個代幣,你只需在事先約定的時間移動X個代幣,或者在數據字段包含「這些資金屬于幣安」字樣的交易中移動X個代幣。為了避免支付交易費用,你可以簽署一個鏈下消息。比特幣和以太坊都有鏈外簽名消息的標準。

這種簡單的資產證明技術存在兩個實際問題:

冷錢包處理;

抵押品兩用。

出于安全考慮,大多數交易所將絕大多數客戶資金保存在冷錢包中。在離線計算機上,交易需要手動簽名并轉移到互聯網上。我過去用來存放個人資金的冷錢包設置需要一臺永久離線的電腦生成一個包含簽名交易的二維碼,然后我用手機掃描。

現在的交易所協議更加瘋狂,經常涉及多個設備之間的多方計算。在這種設置下,制造一個額外的消息來證明對地址的控制是一個昂貴的操作。

交易所可以采用以下幾種方式:

保留一些公共長期使用地址。交易所將生成一些地址,發布一次每個地址的證明以證明所有權,然后重復使用這些地址。這是迄今為止最簡單的選擇,不過它確實在如何保護安全和隱私方面增加了一些限制。

有很多地址,隨便證明幾個。交易所將有許多地址,甚至可能每個地址只使用一次,并在單筆交易后退出。在這種情況下,交易所可能有一個協議,其中不時隨機選擇一些地址,必須“打開”以證明所有權。一些交易所已經通過審計師進行了類似的操作,但原則上,這種技術可以轉化為完全自動化的程序。

更復雜的ZKP選項。例如,一個交易所可以將它的所有地址設置為1/2多簽,其中每個地址的私鑰都是不同的,另一個是某個“重要”緊急備份密鑰的盲版,以某種復雜但安全的方式存儲,例如12/16多簽。為了保護隱私并避免泄露其全部地址,交易所甚至可以在區塊鏈上運行零知識證明,證明鏈上所有具有這種格式的地址的總余額。

另一個主要問題是防止抵押品兩用。在彼此之間來回轉移抵押品以證明儲備,這對交易所而言很容易做到,這將使它們能夠在實際上沒有償付能力的時候假裝自己有償付能力。理想情況下,償付能力的證明應該是實時完成的,每個區塊之后都有一個更新的證明。如果這是不切實際的,那么下一個最好的辦法就是在不同交易所之間按照固定的時間表進行協調,例如在UTC時間每周二下午2點時證明儲量。

最后一個問題是:你能以法定方式進行資產證明嗎?交易所不僅持有加密貨幣,它們還在銀行系統內持有法定貨幣。在這方面,答案是肯定的,但這樣的程序將不可避免地依賴于「法定」信托模型——銀行本身可以證明余額,審計師可以證明資產負債表等等。考慮到法幣無法通過密碼學驗證,這是在該框架內所能做到的最好的方法,但仍然值得一做。

另一種方法是將一個運營交易所處理資產支持穩定幣的實體和另一個處理在加密貨幣和傳統銀行系統之間移動的現金進出過程的實體完全分離開來。因為USDC的“負債”只是鏈上的ERC20代幣,負債證明是「免費的」,只需要資產證明。

假設我們想更進一步:我們不想僅僅證明交易所有資金償還用戶。相反,我們希望阻止完全交易所盜用用戶的資金。

第一個主要嘗試是Plasma,這是一種2017年和2018年在以太坊研究圈流行的擴容解決方案。Plasma的工作原理是將余額拆分為一組獨立的「代幣」,其中每個代幣都被分配一個索引,并位于Plasma區塊的默克爾樹的特定位置。要進行有效的代幣轉移,需要將一筆交易放到根被發布到鏈上的樹的正確位置。

Plasma的一個版本的過度簡化圖。代幣保存在智能合約中,該合約在取款時強制執行Plasma協議的規則。

自2018年Plasma討論的熱潮以來,ZK-SNARK已經變得更加適用于與擴展相關的用例,正如我們上面所說的,ZK-SNARK改變了一切。

更現代的Plasma想法是Starkware所稱的validium:基本上與ZK-rollup相同,只是數據是鏈外保存的。這種結構可以用在很多用例中,可以想象任何中心化服務器需要運行一些代碼并證明它正在正確執行代碼的情況。在有效期限內,操作人員沒有辦法竊取資金,盡管根據實現的細節,如果操作人員消失,一些數量的用戶資金可能會被卡住。

CEX和DEX并不是二進制的,事實證明,它們有一系列的選擇,包括各種形式的混合中心化,在那里你可以獲得一些優勢,比如效率,但仍然有很多加密屏障,防止中心化運營商的濫用。

處理用戶錯誤也是一個大問題。到目前為止,最重要的錯誤類型是——如果用戶忘記了密碼,丟失了設備,被黑客攻擊,或者無法訪問自己的帳戶,該怎么辦?

交易所可以解決這個問題。首先是電子郵件恢復,如果連這都失敗了,再通過KYC進行更復雜的恢復。但為了能夠解決這些問題,交易所需要真正控制這些代幣。為了有能力以正當的理由收回用戶賬戶的資金,交易所需要有能力以不正當的理由竊取用戶賬戶的資金。這是一個不可避免的權衡。

理想的長期解決方案是依靠自我托管,并借助諸如多簽和社會恢復錢包等技術來幫助用戶處理緊急情況。但在短期內,有兩種明顯的替代方案,它們的成本和收益明顯不同:

短期內,有兩種明確的交易所類別:托管交易所和非托管交易所。如今,后一類只是像Uniswap?這樣的DEX,在未來我們可能還會看到加密技術受限的CEX,用戶資金以類似validium智能合約的形式持有。我們也可能會看到半托管交易所,我們信任他們使用法定貨幣,而不是加密貨幣。

這兩種類型的交易所將繼續存在,而提高托管交易所安全性的最簡單的向后兼容方法是增加儲備證明。這包括資產證明和負債證明的結合。為兩者都制定好的協議存在技術上的挑戰,但我們可以也應該盡可能在這兩個方面取得進展,并盡可能地開源軟件和流程,以便所有的交易所都能受益。

從長遠來看,我希望我們越來越接近所有非托管交易所,至少在加密貨幣方面是這樣。錢包恢復將會存在,而且可能需要為處理小額金額的新用戶提供高度集中的恢復選項,以及由于法律原因需要這種安排的機構,但這可以在錢包層而不是在交易所內部完成。

magic.link與Polymarket等平臺的交互就是這種方法的一個例子。在法幣方面,傳統銀行系統和加密貨幣生態系統之間的流動可以通過USDC等資產支持穩定幣原生的現金進出過程完成。然而,我們要完全實現還需要一段時間。

Tags:加密貨幣ETHARKNAR我國為什么禁止加密貨幣ethicalissuesMARKS價格Genaro Network

抹茶交易所
NFT:Web3:價值投資的范式轉移_NFTN幣

原文作者:Peter 進化是宇宙中最強大的力量,是唯一永恒的東西,是一切的驅動力。———橋水基金雷.達利奧時間拉長,進化才是人類的主旋律。過去,環境的變化是進化的主因.

1900/1/1 0:00:00
TRU:基礎設施和應用程序周期:新興基礎設施提供商的戰略思考_DEF

文:LiamRoberts 來源:substack 在淘金熱的喧囂中尋找信號并非易事;保持冷靜的頭腦和執行戰略是取勝的關鍵.

1900/1/1 0:00:00
TOKE:新Token經濟模型: 解決當下GameFi困境的「新范式」_itoken錢包安卓版下載

原文作者:LeonHan 介紹: 當你每天打開StepN,奔跑在回本的道路上,卻發現,原來路可以越跑越長,回本成了可望而不可即的幻想,你是否感到些許無奈?當你充滿激情,懷揣致富的夢想.

1900/1/1 0:00:00
GNO:金色晨訊 | 12月9日隔夜重要動態一覽_Gnosis Safe

21:00-7:00關鍵詞:報稅、Gnosis、美國OCC、美國SEC1.加拿大魁北克省計劃停止向加密礦工出售廉價電力;2.CREW要求聯邦選舉委員會調查SBF是否涉嫌“嚴重違反”選舉法;3.

1900/1/1 0:00:00
WEB3:加密凜冬 對于Web3來說或是最好的時候_比特幣交易手續費怎么算

作者:DavidSBennahum2022年,加密行業充滿動蕩,繼Terra、三箭資本崩盤后,FTX暴雷及其次生危機使得加密寒冬愈發嚴酷,低迷的市場、腰斬的幣價與強硬的監管態勢并行.

1900/1/1 0:00:00
ROLL:zkEVM:以太坊可擴展性的未來_DarkShield Games Studio

原文標題:zkEVMs:TheFutureofEthereumScalability原文作者:ChristineKim 原文來源:galaxy 編譯:Lynn.

1900/1/1 0:00:00
ads