直擊史丹佛區塊鏈大會:新攻擊可破解 Zcash、Monero 的匿名性?

agoda

流量密碼 提供 科技娛樂流行穿搭影劇遊戲電競開箱資訊正妹網紅女神 等各類新聞資訊等,發燒話題永不退流行,讓您第一手快速掌握,快速更新文章及最新消息的發布就是我們的宗旨,只要隨時關注流量密碼資訊就是掌握 流量密碼

流量密碼推播群,掌握第一手資訊

2 月 20 日到 22 日,由 Findora 主辦的 「2020 史丹佛區塊鏈大會」在史丹佛大學舉行,本次會議重點關注了區塊鏈系統中的安全工程和風險管理方法,探討通過加密技術的應用、去中心化協議、形式化方法和實證分析等,來提高區塊鏈系統的安全性。

而第一天的會議,可分為可擴展性、攻擊、零知識證明 SNARKs 以及新區塊鏈這四大話題。

可擴展性話題:Plasma 技術的限制與必要工作量證明(PoNW)

在可擴展性話題方面,來自華沙大學的 Stefan Dziembowski 發表了題為 《Off-Chain 協議的界限:探索 Plasma 技術的限制》的演講,據其表示,他們調查了 Plasma 系統存在的固有局限性,並表明惡意方總能發起攻擊,迫使誠實方將大量數據傳輸到區塊鏈。這一研究表明,每個 plasma 系統(例如 Plasma Cash)都必須具有大的出口,否則必然會遭受由數據不可用引起的大量退出問題,而這一問題無法通過引入額外的密碼學假設來規避。

Stefan Dziembowski 在演講中表示:

我認為在這一階段,Plasma 還需要更多的形式化和擴展工作。

而來自紐約大學的博士生 Assimakis Kattis 則展示了他的 《必要工作量證明(PoNW):簡潔狀態驗證和公平保證》論文成果,據悉,這一研究可使無狀態的輕客戶端能夠在大約 40 毫秒內有效地驗證整個區塊鏈歷史。在演講中,他提到稱:

我們的貢獻是,簡潔的客戶端可接受大約 1 千字節的初始化數據,在這個模型中的信任模型,你只需要訪問最長鏈的一個證明,然後就可以了,這一原型是比特幣的簡化版本,它是基於帳戶模型的,它沒有花哨的腳本,沒有 UTXO,系統中的證明是很小的,大約只有 373 字節,不管交易總數是多少,證明的大小都是一樣的。 

來自 Off-chain Labs 的 Ed Felten 則發表了題為《Arbitrum 2.0:具有鏈上安全性的快速 Off-Chain 合約》的演講,其介紹了一種稱為 Arbitrum Rollup 的擴容產品。

攻擊話題:通過遠程側通道攻擊破解 Zcash 或 Monero 的匿名性

除了可擴展性話題,關於區塊鏈的安全話題也備受關注。

在這方面,來自史丹佛大學的 Florian Tramer 發表了題為 《通過遠程側通道攻擊鏈接匿名交易》的演講,其描述了一類通用的時間側通道和流量分析攻擊方式,允許遠程對手繞過匿名貨幣提供的密碼學保護。

這些攻擊使活動的遠程攻擊者可以識別 Zcash 或 Monero 中任何交易的(秘密)收款人,研究發現,在 Zcash 的實現中,生成零知識證明的時間取決於秘密交易數據,特別是交易資金的數量。因此,儘管證明系統具有零知識屬性,但能夠測量證明生成時間的攻擊者,可能會破壞交易的機密性。

據悉,這一研究是由 Florian Tramer 和 Dan Boneh 及 Kenny Paterson 教授共同完成的。

Florian Tramer 在演講中表示:

我們負責任地向受影響的 Zcash 和 Monero 項目方披露了問題,目前他們已修補了漏洞。

另外,來自倫敦帝國理工學院的研究者 Daniel Perez 則介紹了一種稱為資源枯竭攻擊的新型 DoS 攻擊,該攻擊利用以太坊等區塊鏈系統存在的缺陷來生成低吞吐量合同,這些合約可用於阻止硬件容量較低的節點參與網絡,從而人為地降低了網絡的去中心化程度。

零知識證明話題:Stackexchange 可實現 9000-18000 tps

近年來,關於零知識證明的研究已越來越熱,而這次史丹佛區塊鏈會議,也重點探討了這方面的研究進展。

例如,來自 Starkware 的首席科學家,以色列理工學院對計算機科學教授 Eli Ben-Sasson 發表了有關 STARK 技術的演講,他表示:

STARKs 和 StarkWare 以實現高可擴展性而聞名,今天,通過 StarkExchange 智能合約系統,我們已經可以在以太坊上實現大約 9000 筆交易/秒,而對於支付,我們則可以實現 18000 筆交易/秒,這一系統很快會在以太坊主網上線,我們正在擴展這些功能,以服務於非同質代幣。

而來自加州大學伯克利分校的 Nick Spooner 則在會議上發表了題為 《Fractal: 基於 Holography 的後量子和透明遞歸證明》。他表示:“關於 SNARK 最強大的功能之一,就是所謂的遞歸證明,你可以在其中實際證明另一個 SNARK 是正確的,而 Fractal 是一個展示如何實際執行此操作,以及如何使用後量子安全性來獲得遞歸 SNARK 的系統。”

小結:在第一天的會議當中,可擴展性和隱私話題依舊是研究者們的主要關注點,另外,一些項目方也展示了自己的技術特點,例如 Facebook 的區塊鏈技術主管 Ben Maurer 就在會議上介紹了 Libra 區塊鏈以及他們的 Move 編程語言,而來自 Celo 協議的 Marek Olszewski 則重點介紹了他們的 ultralight 超輕客戶端。

預告:在明天的會議中,以太坊聯合創始人 Vitalik Buterin 將發表關於 51% 攻擊話題的演講,而來自 MIT 的 Lei Yang 則會介紹一種名為 Prism 的新共識機制,可實現比特幣 10000 倍的擴容,大家可以期待一下。

(以上內容獲合作夥伴 火星財經 授權節錄及轉載,原文鏈接 

聲明:文章僅代表作者個人觀點意見,不代表區塊客觀點和立場,所有內容及觀點僅供參考,不構成投資建議。投資者應自行決策與交易,對投資者交易形成的直接間接損失作者及區塊客將不承擔任何責任。



分享