直擊斯坦福區塊鏈大會Day1：新攻擊可破解Zcash或Monero的匿名性？_區塊鏈:ARK

編者按：本文來自巴比特資訊，作者：灑脫喜，星球日報經授權發布。北京時間2月20日-22日，由Findora主辦的2020斯坦福區塊鏈大會在斯坦福大學舉行，本次會議重點關注了區塊鏈系統中的安全工程和風險管理方法,探討通過加密技術的應用、去中心化協議、形式化方法和實證分析等，來提高區塊鏈系統的安全性。而第一天的會議，可分為可擴展性、攻擊、零知識證明SNARKs以及新區塊鏈這四大話題。

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

在可擴展性話題方面，來自華沙大學的StefanDziembowski發表了題為《Off-Chain協議的界限：探索Plasma技術的限制》的演講，據其表示，他們調查了Plasma系統存在的固有局限性，并表明惡意方總能發起攻擊，迫使誠實方將大量數據傳輸到區塊鏈。這一研究表明，每個plasma系統都必須具有大的出口，否則必然會遭受由數據不可用引起的大量退出問題，而這一問題無法通過引入額外的密碼學假設來規避。StefanDziembowski在演講中表示：“我認為在這一階段，Plasma還需要更多的形式化和擴展工作。”論文鏈接：https://eprint.iacr.org/2020/175而來自紐約大學的博士生AssimakisKattis則展示了他的《必要工作量證明：簡潔狀態驗證和公平保證》論文成果，據悉，這一研究可使無狀態的輕客戶端能夠在大約40毫秒內有效地驗證整個區塊鏈歷史。在演講中，他提到稱：“我們的貢獻是，簡潔的客戶端可接受大約1千字節的初始化數據，在這個模型中的信任模型，你只需要訪問最長鏈的一個證明，然后就可以了，這一原型是比特幣的簡化版本，它是基于賬戶模型的，它沒有花哨的腳本，沒有UTXO，系統中的證明是很小的，大約只有373字節，不管交易總數是多少，證明的大小都是一樣的。”論文鏈接：https://eprint.iacr.org/2020/190來自Off-chainLabs的EdFelten則發表了題為《Arbitrum2.0：具有鏈上安全性的快速Off-Chain合約》的演講，其介紹了一種稱為ArbitrumRollup的擴容產品。攻擊話題：通過遠程側通道攻擊破解Zcash或Monero的匿名性

直擊烏鎮 | 中鈔區塊鏈張一鋒：下一代的數字身份是分布式的:金色財經現場報道，在11月8日舉行的第二屆世界區塊鏈大會·烏鎮現場，中鈔區塊鏈技術研究院院長張一鋒做出題為“分布式數字身份 構建區塊鏈的基礎設施”的演講。他指出雖然新的應用不斷被發掘并落地，但現在的聯盟鏈存在問題，包括：技術門檻高、浪費資源、不利于創新，而公有鏈因為監管缺失和非法應用的泛濫，流離于現實應用之外。張一鋒還介紹了數字身份的演進，應用賬戶、聯盟身份、數字證書，他認為下一代的數字身份是分布式的，且分布式數字身份是彈性的、扁平化的公布式認證方式，這更符合數字世界發展的需要。同時，張一鋒還簡要說明了分布式數字身份模型，及分布式數字身份的相關標準與密碼技術。[2019/11/8]

除了可擴展性話題，關于區塊鏈的安全話題也備受關注。在這方面，來自斯坦福大學的FlorianTramer發表了題為《通過遠程側通道攻擊鏈接匿名交易》的演講，其描述了一類通用的時間側通道和流量分析攻擊方式，允許遠程對手繞過匿名貨幣提供的密碼學保護。這些攻擊使活動的遠程攻擊者可以識別Zcash或Monero中任何交易的收款人，研究發現，在Zcash的實現中，生成零知識證明的時間取決于秘密交易數據，特別是交易資金的數量。因此，盡管證明系統具有零知識屬性，但能夠測量證明生成時間的攻擊者，可能會破壞交易的機密性。據悉，這一研究是由FlorianTramer和DanBoneh及KennyPaterson教授共同完成的。FlorianTramer在演講中表示：“我們負責任地向受影響的Zcash和Monero項目方披露了問題，目前他們已修補了漏洞。”論文鏈接：https://crypto.stanford.edu/timings/paper.pdf另外，來自倫敦帝國理工學院的研究者DanielPerez則介紹了一種稱為資源枯竭攻擊的新型DoS攻擊，該攻擊利用以太坊等區塊鏈系統存在的缺陷來生成低吞吐量合同，這些合約可用于阻止硬件容量較低的節點參與網絡，從而人為地降低了網絡的去中心化程度。論文鏈接：https://arxiv.org/abs/1909.07220零知識證明話題：Stackexchange可實現9000-18000tps

直擊烏鎮 | 百度區塊鏈肖偉：百度智能司法解決方案有法院、公證處、司法鑒定中心等為節點構建完整的區塊鏈法院聯盟系統:金色財經現場報道，在今日舉行的第二屆世界區塊鏈大會·烏鎮現場，百度區塊鏈實驗室負責人肖偉以《基于可信價值傳遞網絡的智慧城市建設》為題進行了演講。他表示，百度智能司法解決方案做到了一鍵立案，有法院、公證處、司法鑒定中心等為節點構建完整的區塊鏈法院聯盟系統，實現了證據從生成、存儲、傳輸到最終提交的整個環節真是可信，并具有法律效率。北京互聯網法院“天平鏈”、廣州互聯網法院“網通法鏈”、青島仲裁委員會證據平臺均有百度的支持。[2019/11/8]

近年來，關于零知識證明的研究已越來越熱，而這次斯坦福區塊鏈會議，也重點探討了這方面的研究進展。例如，來自Starkware的首席科學家，以色列理工學院對計算機科學教授EliBen-Sasson發表了有關STARK技術的演講，他表示：“STARKs和StarkWare以實現高可擴展性而聞名，今天，通過StarkExchange智能合約系統，我們已經可以在以太坊上實現大約9000筆交易/秒，而對于支付，我們則可以實現18000筆交易/秒，這一系統很快會在以太坊主網上線，我們正在擴展這些功能，以服務于非同質代幣。”而來自加州大學伯克利分校的NickSpooner則在會議上發表了題為《Fractal:基于Holography的后量子和透明遞歸證明》。他表示：“關于SNARK最強大的功能之一，就是所謂的遞歸證明，你可以在其中實際證明另一個SNARK是正確的，而Fractal是一個展示如何實際執行此操作，以及如何使用后量子安全性來獲得遞歸SNARK的系統。”論文鏈接：https://eprint.iacr.org/2019/1076.pdf小結：在第一天的會議當中，可擴展性和隱私話題依舊是研究者們的主要關注點，另外，一些項目方也展示了自己的技術特點，例如Facebook的區塊鏈技術主管BenMaurer就在會議上介紹了Libra區塊鏈以及他們的Move編程語言，而來自Celo協議的MarekOlszewski則重點介紹了他們的ultralight超輕客戶端。

直擊烏鎮 | 嘉楠耘智孔劍平：Libra帶來的才是真正的貨幣戰爭:金色財經現場報道，在今日舉行的第二屆世界區塊鏈大會·烏鎮現場，嘉楠耘智聯席董事長孔劍平指出Libra帶來的才是真正的貨幣戰爭，DCEP將引領央行數字貨幣，Libra掀起的是貨幣戰爭，而BTC有要付成為數字世界之錨，未來會發生的是貨幣戰爭、算力戰爭和可信應用。他還表示，未來將會是云計算、超級節點加邊緣計算的時代。長期來看，區塊鏈混合計算（POP）會超越現在的房地點和數字地產成為人類有史以來重要的資產類別。硅基文明是一個分布式的數字社會，硅基文明時代，一切算力都將來源于礦機，礦機是硅基文明的基石，礦工是硅基文明的奠基者。[2019/11/8]

直擊烏鎮 | 騰訊區塊鏈蔡弋戈：DCEP?將促進數字資產應用落地更加閉環，加速合規化進程:金色財經現場報道，在今日舉行的第二屆世界區塊鏈大會·烏鎮現場，騰訊區塊鏈業務總經理蔡弋戈以《數字資產基礎設施的產業化道路思考》為主題進行分享。他表示，DCEP?將促進數字資產應用落地更加閉環，加速合規化進程。DCEP的落地完成了支付，流轉換的鏈上閉環，并進一步促進了財稅，司法，社會服務等領域對數字資產的認可，并推動合規化進程。[2019/11/8]

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

Tags：區塊鏈ARKSTATPS區塊鏈技術通俗講解圖Stonk MarketFilcoin Standard Full Hashrate Tokenhttps://etherscan.io

UNI