安全是計算機科學體系中老生常談的一個話題,尤其在區塊鏈領域中。當一個項目大肆宣傳安全性時,它提供了怎樣的安全保證呢?換句話說,現有的區塊鏈是否在核心的安全性方面仍存然很欠缺?要回答這些問題,首先我們需要清晰地定義什么是安全性。在這篇文章中,我們主要討論以下3個話題:當前區塊鏈的安全性;為什么說保密性和隱私性是當前區塊鏈最核心但也是最欠缺的屬性,以及,我們該如何來完善區塊鏈。安全性的經典定義
在安全性的經典定義中,我們假設Alice和Bob想要共同運行程序f(x,y)。該程序的輸入是保密的:其中Alice僅知道x,Bob僅知道y。這里的挑戰在于Alice和Bob都希望在不讓對方知曉自己輸入數據的情況下得到計算的結果。如果我們有一個想象中的可信第三方存在,這個問題就會簡單地多,這個可信第三方會同時接收Alice和Bob的輸入數據,誠實地執行該程序,并可靠地向雙方返回計算結果。除了這些操作之外,這個可信第三方不會做任何其他事情,特別是,可信第三方不會告訴別人任何有關x和y的信息。
EigenLayer已將stETH、rETH、cbETH的再質押上限均提升至1.5萬枚:7月13日消息,以太坊再質押協EigenLayer官方宣布,已將stETH、rETH、cbETH的流動性再質押上限均提高至1.5萬枚。目前,stETH和rETH的再質押池均已觸達TVL上線,cbETH暫還有約2000枚左右的空間。[2023/7/13 10:52:03]
Alice和Bob在可信第三方的幫助下使用保密的輸入運行程序f(x,y)所以,定義協議安全性的一種方法,就是將其與這個可信第三方進行比較。上述可信第三方定義的安全性具有以下三個關鍵屬性:
保密性:Alice和Bob除了各自的輸入數據和計算的結果之外,得不到任何有關計算的信息;誠實性:可信第三方返回的結果是程序f(x,y)在給定輸入下的正確計算;可用性:Alice和Bob可以隨時訪問這個可信第三方。但在現實世界中是否真的存在我們想象中的可信第三方呢?事實上,并不存在。但如果我們做出一些具體的假設,就可以近似得到一些可信第三方。比如說,銀行和政府部門的聲譽、社會地位以及其他相關因素,讓許多人將他們視為可信第三方。另一方面,智能合約是在不需要信任中心化實體的情況下實現可信第三方的核心手段。但智能合約并不是萬能的,在有些情況下,智能合約面對某些情況也無能無力。智能合約的短板
數據:某巨鯨魚6小時前解質押408萬枚SUSHI:金色財經報道,據Lookonchain數據監測,某巨鯨于6小時前解質押408萬枚SUSHI(約438萬美元),該巨鯨曾于去年收到378萬枚SUSHI,并在價格約為3美元時質押。
此前該地址曾以約11美元收到SUSHI,并以約6美元的價格轉移至Bitfinex。[2023/3/23 13:21:42]
當人們談論比特幣和以太坊的安全性時,實際上他們只是在談論區塊鏈的誠實性和可用性,而不是保密性和隱私性。比如說,以太坊擁有一個由數千個節點組成的區塊鏈網絡,每個節點都獨立維護著以太坊區塊鏈的完整備份。當你通過以太坊網絡上的某一賬戶執行智能合約時,在智能合約被記錄在區塊鏈中之前,它的執行將被所有挖礦節點驗證。因此,如果大多數的哈希算力都由遵守以太坊協議的誠實節點掌控,那么你智能合約的運行結果將會是正確的,這種正確計算實現了區塊鏈的誠實性。以太坊網絡還提供了一些可用性保證:與中心化實體不同,以太坊網絡的“服務器”去中心化地分布在世界各地。因此,雖然說某些節點可能會因為某些突發情況宕機,但所有節點同時宕機的情況不太可能發生。但以太坊和許多其他區塊鏈項目缺乏的都是保密性和隱私性。人們通常都對區塊鏈存在一個錯誤的認識,就是說因為參與到區塊鏈網絡中不需要提供姓名和身份證號,所以它是隱私的。不幸的是,這是一種極具誤導性甚至是危險性的謬論。僅僅因為人們使用假名并不意味著他們在區塊鏈上的活動是不可見的。實際上,由于交易活動中的每一個數據都被記錄在公共賬本之上并向所有人公開,因此有一些方法可以用來推斷出用戶的隱私信息。此外,隨著越來越多復雜的去中心化應用程序的上線,用戶的數據逐漸成為信用評分,保險業務和身份管理等去中心化應用的重要推動力,而在以太坊上,智能合約的輸入數據需要被保存在區塊鏈上并向所有人公開,因為只有這樣所有節點才可以執行交易的驗證。在過去的幾年中,許多加密貨幣項目試圖通過使用諸如零知識證明之類的密碼學技術來解決區塊鏈上數據保密性不足的問題。但其中許多項目都聚焦于簡單的支付交易,而不是像機器學習和數據分析這類更為復雜的應用。數據隱私性如何實現?
瑞士當局據悉考慮將瑞信全部或部分國有化:金色財經報道,知情人士透露,瑞士當局正在考慮將瑞士信貸集團完全或部分國有化,作為瑞銀集團收購之外的唯一可行選擇。知情人士稱,由于交易安排的復雜性和涉及的時間框架短,如果瑞銀集團的收購失敗,該國正在考慮要么完全接管瑞信,要么持有瑞信的大量股權。形勢非常不穩定,而且仍有可能發生變化,因為瑞士當局尋求在亞洲市場開盤前(歐洲時間深夜)敲定對瑞信的解決方案。瑞士財政部拒絕對此置評。瑞銀對瑞信的收購有很多復雜之處,棘手問題包括政府是否會提供擔保,以彌補可能的法律和其他損失。[2023/3/20 13:13:55]
上文中提到的保密性是實現數據隱私性的重要先決條件,但需要指出的一點是保密性通常不足以實現數據的隱私性。具體而言,保密性側重于保護在計算過程中不泄漏敏感信息,它保證除了計算的輸出之外,計算過程中不會泄露任何內容。但是它并沒有解決計算輸出中存在的潛在數據泄漏。換句話說,即使有完全保密的計算過程,攻擊者仍可能會從其輸出中復原出有關敏感輸入的信息。再回到上文中提到的Alice和Bob的例子,保密性意味著Alice和Bob只能得到計算的結果f(x,y),而攻擊者什么都得不到。除此之外,數據的隱私性還要求,不能從計算結果f(x,y)中復原出x和/或y。一個簡單的反例是f(x,y)=x+y,其中Alice可以在給定結果x+y的情況下立即推算出Bob的輸入y。舉一個我們最近和Google一起研究的例子,機器學習模型可能會泄漏出訓練數據中的敏感信息。我們將那些不會通過計算結果泄漏出輸入數據的計算稱為隱私性的計算。例如,差分隱私(DifferentialPrivacy,DP)是實現隱私性計算的一種方法。那么區塊鏈上的數據隱私性該如何實現呢?一個想法是,在區塊鏈上構建一個隱私第一的云計算平臺。為了實現數據的隱私性,開發者可以在云計算平臺的每一層都建立了隱私保護措施,在計算層中啟用了保密性措施保護智能合約的執行,以防止在計算過程中泄漏任何敏感信息,并在應用層中實現了隱私保護的數據分析和機器學習,包括差分隱私,以防止在計算輸出中泄露敏感的輸入信息。關于這一點,OasisLabs專門設計了一種新的區塊鏈架構,以實現具有高可擴展性的去中心化信任。
非農公布前:美聯儲3月加息50BP的概率為64.6%:金色財經報道,據CME“美聯儲觀察”:美聯儲3月加息25個基點至4.75%-5.00%區間的概率為35.4%,加息50個基點至5.00%-5.25%區間的概率為64.6%;到5月累計加息50個基點的概率為28.7%,累計加息75個基點的概率為59.1%,累計加息100個基點概率為12.3%。[2023/3/10 12:54:58]
自從去年以太坊上的游戲CtyptoKitties流行起來以后,很多人發現了智能合約的新玩法——做游戲!在手機游戲市場中,棋牌類的游戲占領了很大的市場,比如斗地主、德州撲克等.
1900/1/1 0:00:00周報摘要上周全球數字貨幣資產日均市值上漲3.96%,日均交易量下跌14.72%。30家代表交易所,新上交易對15個全球截止公募的項目共12個,項目軟頂總和超5700萬美元.
1900/1/1 0:00:003月29日下午,比特大陸宣布,搭載第二代7nm芯片的螞蟻礦機S17系列新品將于4月9日正式發布,且一發布即有現貨供應.
1900/1/1 0:00:004月5日,幣安發布公告稱,將于北京時間本月22日18點下架比特幣現金分叉幣BSV。此舉在加密社區引起了轟動.
1900/1/1 0:00:00頭條 比特幣大漲觸及5000美元關口,港股美股區塊鏈概念股最高漲超20%繼A股連續兩日漲停后,4月2日,回調多日的港股雄岸科技終放量突破,午后升幅一度擴大至22%,后略有收窄.
1900/1/1 0:00:00自從萊特幣出現之后呢,涌現了大量的山寨幣,林子大了什么鳥都有,這里面魚龍混雜,摻雜了一些空氣幣和傳銷幣,讓人猝不及防。其實,山寨幣、空氣幣、傳銷幣,雖然他們的界限是很模糊的,但是各有各的特點.
1900/1/1 0:00:00