閃電網絡通過首次形式化驗證：在數學上和比特幣一樣安全_比特幣

免責聲明：本文旨在傳遞更多市場信息，不構成任何投資建議。文章僅代表作者觀點，不代表火星財經官方立場。

小編：記得關注哦

投資區塊鏈，猛戳：火星財經App下載

文章來源：CoinDesk中文版

翻譯：王井泰

閃電網絡的概念富有創新和實驗性，不過可能導致用戶資金損失的bug仍有待發現。近日，一隊科研人員發布了對比特幣閃電網絡的形式化驗證結果。

Robinhood使用閃電網絡進行比特幣交易:金色財經報道，股票和加密貨幣交易應用程序Robinhood今天在比特幣2022會議上宣布，它正計劃將比特幣閃電網絡添加到其平臺中，以加快BTC交易。它還分享說，其beta加密等待名單中的合格用戶現在可以通過其加密錢包功能發送和接收加密貨幣。閃電網絡是建立在比特幣之上的第2層網絡，可實現更快、低費用的交易。通過其應用程序上的錢包功能，Robinhood加入了越來越多使用閃電網絡進行比特幣交易的科技和金融公司的行列。Robinhood的公告是在它分享了全面開發錢包功能的計劃后六個月發布的，該功能將允許其用戶存入和提取加密資產。該功能很快獲得了一個很長的候補名單，超過200萬人請求訪問。Robinhood在1月份發布了其加密錢包測試版，允許特定用戶轉移比特幣、以太坊和狗狗幣。（decrypt）[2022/4/8 14:11:25]

這篇論文在由愛丁堡大學的安格洛斯·齊亞伊亞斯和奧弗依斯·利托斯發表。齊亞伊亞斯還是區塊鏈公司IOHK的首席科學家，這家公司為新生支付網絡的底層安全做出了許多貢獻。

比特幣閃電網絡總容量突破1億美元:據Bitcoinvisuals數據顯示，目前比特幣閃電網絡總容量已突破2,220.56 BTC，按照美元價值計算超過1億美元，創下歷史新高，本文撰寫時為101,316,77美元，推特創始人Jack Dorsey點贊了這一消息。8月10日，閃電網絡發布了v0.10.1版本，添加了包括兼容Taproot地址在內的多項新功能。[2021/8/11 1:48:04]

迄今為止，閃電網絡尚未在數學上進行過正式的安全測試，這一測試可以建立一個計算機系統在數學上的安全程度。這篇題為“AComposableSecurityTreatmentoftheLightningNetwork”的論文認為，如今閃電網絡已經被用于保護至少8500萬美元的真實資金，但其代碼規范缺乏形式化驗證是一件“極其嚴重的事”。

閃電網絡節點數量已達13745個:金色財經報道，據1ML.com數據，目前，支撐網絡的節點數量達到13745個，相較30天前數據，環比上漲3.01%；通道數量為36885，相較30天前數據，環比下降0.7%；閃電網絡承載能力目前為1066.82BTC，約合1065.21萬美元。[2020/9/8]

“因此，我們的措施詳細地描述了如何基于底層賬本上資產實現協議安全保證。”論文解釋道。

他們所做的這個過程被稱作“形式化驗證”。這一方法在加密貨幣領域非常流行，而且有助于確定代碼的安全性。形式化安全并沒有被部署在每個加密項目上，因為部署“形式化驗證”需要高深的知識，部署成本很高。

金色相對論 | Franklyn Richards：閃電網絡是百分百由用戶運行的:在本期金色相對論之“閃電網絡：Hello，TPS”上，金色財經合伙人佟揚對話Litecoin Haus CEO?Franklyn Richards，針對目前閃電網絡潛在的主要風險在哪里，閃電網絡中是否可以保證支付安全的問題，Franklyn Richards表示，有一定可能會造成資金損失，但現在已經好多了。不知道這樣的情況會在何時何地發生。但最好還是謹慎為上，閃電網絡是百分百由用戶運行的，就像運營自己的節點或持有私鑰一樣，如果出錯，責任在于自己。這對獨立自由而言很好，但是不適合每個人。我相信，我們將會看到服務機構采用閃電技術，但這要求信任。有些人會說這是在倒退，但我保持中立的態度，我們有銀行等機構是有原因的，因為大多數人不想為自己的資金安全負責，當一些人認為這樣可能會損失所有時他們會選擇不這樣做。[2019/3/7]

一、堅實的規范

研究者結果是積極的，這表明為使支付系統正常工作而堆積在一起的底層加密技術是正確的。“系統所有的重要安全部分都是可靠的，這是意料之中的結果。”利托斯告訴CoinDsek。這究竟意味著什么？利托斯和齊亞伊亞斯審查了閃電網絡的規范，每一款閃電網絡軟件都必須滿足這些規則，以向網絡的其他部分發起支付。

利托斯告訴CoinDesk：“主要的結論是閃電網絡和比特幣一樣安全。”為了得出這一結論，他們研究了構成閃電網絡的密碼學。密碼學是由數學算法組成的，這些算法提供了網絡上的安全和隱私基礎。在閃電網絡中，密碼學是把支付系統黏在一起的膠水，最后的結果是允許一個人把比特幣轉賬給其他人。因此，研究者們研究了閃電網絡底層不同的密碼學技術，包括數字簽名。這一技術對于比特幣而言，意味著比特幣只能被有著正確私鑰的用戶產出。

“閃電網絡用戶只可能在用于比特幣的數字簽名和哈希函數出錯時才可能會丟失資金。”利托斯說，“使用底層的真實賬戶允許我們精準定位閃電網絡運行參數間的安全聯系。特別的，我們對‘閃電網絡用戶需要多久檢查一次區塊鏈，尤其是進行連續多次交易時’這個問題給出了確切的答案。”

二、規格并非軟件

雖然形式化驗證是重要的一步，但它只存在于閃電網絡的藍圖上，尚未由開發者落實在任何一款軟件上。雖然論文聲稱閃電網絡“和比特幣一樣安全”，這不意味著軟件本身也是安全的。這也許聽起來是微不足道的區別，但實際上區別極大。

有3款主要閃電網絡執行了專家們的意見，分別是Acinq’sEclair、Blockstream’sc-lightning和LightningLab’slnd。“我們的分析基于形式化驗證，而不是實際執行。因此，并不能排除各種實現中的錯誤，目前僅僅是排除了規范中的錯誤而已。”利托斯表示。利托斯提到，未來的形式化分析可能最終被用于研實際的代碼。“理想情況下，通過對代碼進行形式化驗證來證明其符合規范，會在系統中提升信任程度。但在那之前，我們仍然需要一個機器可讀的規范版本。”他表示。

聲明：本文為入駐“火星號”作者作品，不代表火星財經官方立場。轉載請注明出處、作者和本文鏈接

提示：投資有風險，入市須謹慎。本資訊不作為投資理財建議。

Tags：比特幣區塊鏈加密貨幣比特幣中國官網聯系方式40億比特幣能提現嗎比特幣最新價格行情走勢區塊鏈工程專業學什么區塊鏈存證怎么弄區塊鏈技術發展現狀和趨勢加密貨幣是什么意思啊加密貨幣市場還有未來嗎

SAND