買比特幣 買比特幣
Ctrl+D 買比特幣
ads

WEB3:密碼學技術如何選型?再探工程能力邊界的安全模型_web3.0幣種

Author:

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

作者:李昊軒

來源:微眾銀行區塊鏈

牢不可破的密碼學算法也怕物理攻擊?物理信號泄露為何會威脅到隱私保護的效果??隱私保護方案對部署環境有何講究?不可信執行環境下如何設計隱私保護方案?

這里,我們將繼續安全模型的分析,由隱私保護技術方案中理論層面的能力邊界,擴展到實際開發部署時工程層面的能力邊界,梳理工程實現中相關安全假設,以及適用的業務場景。

在上一論中,我們介紹了多種不同的安全模型,來衡量基于密碼學隱私保護技術方案的理論強度。然而,一個隱私保護技術方案如果只考慮理論層面的安全,而忽視工程層面的安全,其有效性是值得質疑的。

早在1985年,WimvanEck在論文中提出,攻擊者可以通過軟件運行時產生的電磁輻射信號,結合統計學分析方法,破譯出電子設備正在處理的機密信息內容。這就是一種典型的側信道攻擊,是密碼學工程領域不能忽視的風險。

與密碼學理論領域的安全模型類似,對于密碼學工程領域的安全風險,我們也可以根據其安全假設來定義對應的安全模型。最常見的三類安全模型如下:

Mano 首席技術官:Web3 的額外部分是對等發現層、密碼學和共識協議:金色財經現場報道,在Coinlive舉辦的峰會上,題為“塑造新加坡數字資產類別的未來”的圓桌討論邀請了 Cobo 首席運營官 Lily Z. King、新加坡管理大學 (SMU) 經濟學助理教授(實踐) Goh Jing Rong、Immin Mano Thanabalan 首席技術官、德國創業亞洲 Yitch,區塊鏈協會 (BAS) 合作伙伴總監 Yoon KC (Steven)。關于 Web3 是什么以及數字資產在 Web3 生態系統中扮演什么角色的問題,Mano 首先說 Web3 的額外部分是對等發現層、密碼學和共識協議,這可能是最有趣的。 YC 澄清應該是 Web3 而不是 Web 3.0。

Lily 補充說,EWeb3 有望成為一個更加開放的互聯網,讓所有用戶都能從中受益。 Jing Rong 列出了下一代互聯網的三個定義,使用新聞技術來改進當前的網絡,并專注于去中心化,即控制權被分配給生態系統中的多方。最后一個給出答案的 Yitch 解釋說,歸根結底,數字資產只是數字,除非你可以創造現實世界的效用。其他問題,如數字資產的機構采用、法規等,引起了小組成員的不同回應。[2022/12/22 22:00:54]

黑盒安全模型

密碼學博士高承實:量子計算機大規模應用將對非對稱密碼算法和哈希函數帶來致命性的影響:密碼學博士,計算機應用專業副教授高承實發表《量子計算機的應用會顛覆掉比特幣系統嗎?》專欄文章,文章表示,量子計算機從發展狀況來看,還處于極其早期階段,離真正實用還有相當遠的距離。如果量子計算機真正能夠大規模應用,將對密碼算法當中的非對稱密碼算法和哈希函數帶來致命性的影響。現在基于數學難解問題而生成的非對稱密碼算法RSA和ECC安全性將不復存在,哈希函數的抗碰撞性也將受到極大挑戰,除非盡可能增加哈希函數的輸出長度。目前的非對稱密碼,主要是ECDSA和哈希函數SHA256,是比特幣系統最核心的底層技術,確保了比特幣分配和支付的安全,在比特幣系統的多個環節得到了應用,包括生成錢包地址、對交易進行簽名和驗證、計算區塊內所有交易的默克爾數生成區塊以保證塊內數據難以被篡改、激勵礦工開展挖礦競賽以維護系統的自運行……如果ECDSA和SHA256兩種算法的安全性不復存在,那么整個比特幣系統的安全性也將不復存在。

當然我們也沒有必要那么悲觀。第一,量子計算機的真正使用還有相當遠的距離;第二,隨著量子計算以及量子計算機的發展,抗量子計算的密碼算法也會同步得到發展,比如格密碼。

真的到了那個時候,或者比特幣系統中的密碼模塊會替換為抗量子計算的密碼模塊,或者比特幣已經完成它的歷史使命,從這個世界上消亡。(財新)[2020/12/24 16:21:46]

灰盒安全模型

聲音 | 密碼學高級研究員Vidyasagar Potdar:許多加密貨幣交易所未建立足夠的密碼安全壁壘:根據Itp.net消息,近日,科廷大學高級研究員Vidyasagar Potdar進行的一項研究表明,現今流行的11種加密貨幣交易所均存在密碼安全性問題,這些安全漏洞可能直接導致用戶的加密貨幣或是用戶憑證被盜用,交易所也會因此喪失聲譽和公信力。同時,Potdar還認為交易所應該普遍提高安全標準,因為安全性對于金融交易至關重要,這也是用戶選擇交易所的信心來源。[2018/9/4]

白盒安全模型

以上三類安全模型中,密碼學系統對部署環境的信任要求逐步降低。本論,我們將繼續敘說小華的故事,以小華向好友美麗發送私密信息時的加密過程為例,一一闡述這三類安全模型對于企業隱私保護技術選型的影響和啟示。

黑盒安全模型

科班出身的小華,對于自己的技術能力相當自信,打算以加密信息的方式,給他的好友美麗一個驚喜……

現場 | 元道:通證是凝結在密碼學基礎設施上的人類共識符號:金色財經現場報道,在中國區塊鏈行業發展論壇現場,中關村區塊鏈產業聯盟理事長、通證派創始人元道表示,行業數字化通證第一、區塊鏈第二。通證是凝結在密碼學基礎設施上的人類共識符號,全球發行,全球流通。通證應用在于:第一、協作,行業上下游的強協作激勵機制(包括負激勵);第二、品牌,通證全球流通,便于建立全球品牌;第三、組織,新一代行業協會,社群自治組織。自金融,自帶金融的數字化變革,從自媒體到自金融。[2018/7/11]

小華選用了業界標準AES加密方案,將他的私密信息,用特殊的方式傳達給美麗。小華使用了公用機房中的電腦,開發并運行了對應的技術方案,產生了密文信息。

不巧的是,公用機房中的電腦被攻擊者植入了木馬,木馬通過讀取代碼執行時的電量消耗和其他中間狀態信息,破譯了小華私密信息的明文。

實際上,除了基于密碼學技術構建的軟件技術方案,就連基于可信硬件模塊構建的硬件技術方案,也會不同程度受到以上這類隱私風險的影響。但是,我們依舊認為這些方案在常見業務環境中是安全可用的,究竟是何緣故?

Andrew Miller拜訪Hyper Pay團隊 為該團隊帶來關于密碼學以及更好開發服務安全性的見解 :近日,Andrew Miller 拜訪了全球數字貨幣跨境支付整合平臺Hyper Pay團隊并進行了友好交談。Hyper Pay團隊非常感謝 Andrew 為他們帶來了一些關于密碼學以及更好開發服務安全性的深入見解。 ?[2017/12/19]

這就引入了黑盒安全模型的定義,假定技術方案的執行過程對于外界是一個完全封閉的黑盒。

如果我們把整體的隱私技術保護方案抽象成關于隱私數據x的一個函數y=f(x),對于攻擊者而言,只能獲得y,無法獲得f(x)在運算過程中產生的任何中間狀態信息。

中間狀態信息包括直接敏感信息和間接敏感信息:

直接敏感信息:計算過程中的內部變量值、代碼執行軌跡等

間接敏感信息:執行時間、設備能耗、內存用量、電磁輻射等

絕大多數密碼學算法實現,如AES加密算法的標準實現等,都是基于黑盒安全模型的。

這意味著,即便對應的密碼學算法和協議設計達到了理論能力的上限,信息論安全在黑盒安全模型要求的假設被打破的前提下,依舊可能泄露隱私數據。

反過來講,對于受控的業務環境,可以保證沒有攻擊者能夠進入機房,或者難以通過其他方式遠程獲得這些中間狀態信息,而且對應軟硬件模塊的配置和使用都正確,那么對應的技術方案還是安全的。

考慮到隱私和效率的取舍,黑盒安全模型下的技術方案,工程實現相對復雜度低,能夠提供高效的系統實現,可用于中間狀態信息泄露風險低、可控部署環境中的業務場景。

灰盒安全模型

小華吸取了上次的教訓,優化了加密算法的實現,屏蔽了執行時間、設備能耗等常用中間狀態信息泄露。新的方案似乎生效了,攻擊者之前部署的木馬無法獲得有效信息來破譯小華的私密信息。

小華的優化一定程度上降低了隱私保護技術方案對于部署環境的信任要求,相比之前的黑盒安全模型,這里的安全模型為灰盒安全模型,允許一定程度的中間狀態信息泄露。

灰盒安全模型,要求技術方案能夠防范由于常用中間狀態信息而導致的隱私信息泄露。常用中間狀態信息,一般指技術方案執行過程中,容易從外部觀察到的各種物理信號,如執行時間、設備能耗、電磁輻射、聲波信號等。這一類的攻擊通常被稱為側信道攻擊、旁路攻擊,或統稱為灰盒攻擊。

為了應對這些灰盒攻擊,需要在原先黑盒安全工程實現的基礎上改寫算法,使得在不同輸入下,所需防范的物理信號表現相同。以最常見的執行時間分析攻擊為例,灰盒安全模型下,對于所有的輸入,技術方案的執行時間總是保持均等,以此避免由于執行時間存在差異,而泄露關于隱私數據的信息。

然而,這一類灰盒安全技術方案在系統效率上的副作用也很明顯。即便某些執行路徑可以更高效地執行,也需要特意降低其效率,使之與業務邏輯中效率最差的一條執行路徑相匹配,以此確保執行過程使用的時間、消耗的能量等外部可觀測物理信號,在任意輸入下都不表現出顯著差異。

由此可見,灰盒安全技術方案的執行效率總是由業務邏輯中效率最差的一條執行路徑來決定,這對系統效率的優化帶來了一定的挑戰。

相比黑盒安全模型,灰盒安全模型對于部署環境的信任要求更接近現實情況,一定程度上考慮了內部人員風險等原本只能通過治理手段才能防范的隱私風險,具備更實用的抗攻擊能力。

灰盒安全模型下,技術方案的應用主要用于防范內部人員風險,或者在不完全可信的外包環境中部署運行業務。

白盒安全模型

好景不長,攻擊者發現之前部署的木馬失效之后,升級了木馬程序,小華的灰盒安全方案并不完美,攻擊者獲得了技術方案執行過程中的內部變量值,小華的私密信息再次遭到破譯。

灰盒安全模型雖然對中間狀態信息做了一定的保護,但無法保證所有的中間狀態信息都能得到有效保護。如果能夠實現這一點,就達到了工程層面中最強的白盒安全。

回到定義黑盒安全模型的公式,隱私技術保護方案可以抽象為關于隱私數據x的一個函數y=f(x)。在白盒安全模型下,除了x之外,攻擊者可以獲得y和f(x)在運算過程中產生的任何中間狀態信息。

白盒安全模型假定執行環境完全對攻擊者透明,聽起來效果很玄幻。但密鑰如何保護?明文輸入不是直接就被看到了嗎?面對如此強大的攻擊者,如何才能保護隱私數據的安全呢?

效果確實很玄幻,目前現有研究對白盒安全模型的定義做了一定的弱化,通常會把保護目標限定為即便攻擊者控制了整個執行環境,也無法輕易通過內存讀取等方式提取出密鑰。

為了實現白盒安全,需要在灰盒安全的基礎上進一步打亂混淆密鑰的存儲方式并改寫算法,讓正確的密鑰能夠在執行過程中被間接使用。這一工程安全要求進一步提升工程實現的復雜度,例如,AES加密算法的白盒安全實現要比黑盒安全實現慢10倍以上。

盡管白盒安全模型下的大部分技術方案目前尚不成熟,在方案可用的前提下,對于需要在不可控的公開環境中部署的業務,如公共物聯網應用,非常有必要考慮使用白盒安全技術方案,用以保護終端設備中的密鑰、控制隱私數據的泄露風險。

正是:密碼巧妙理論無破綻,工程精細實現需謹慎!

工程安全和理論安全是相互獨立的兩個維度,理論安全并不等于工程安全。再強的理論安全方案設計,也會因為不當的工程實現而導致前功盡棄。

了解密碼學工程領域的安全風險,對于實際應用落地和安全運行至關重要。企業在對基于密碼學技術的隱私保護技術方案選型時,需要理論聯系工程,根據自身的業務場景和部署環境的特征,選擇合適的安全模型,確保隱私保護技術方案的最終有效性。

在這兩論中,我們對密碼學技術選型中的理論能力邊界和工程能力邊界進行了分析。除了算法理論和工程實現中的諸多安全假設,新興的量子計算和量子通信也對隱私保護技術方案的有效性帶來了挑戰,具體分析,敬請關注下文分解。

Tags:比特幣WEBWEB3區塊鏈比特幣價格發展web3.0幣種web3游戲行業區塊鏈技術最早應用于

比特幣價格今日行情
FIL:簡單讀懂Reddit的積分幣:與加密社區一般意義上的代幣發行有何不同?_Rodeo Coin

編者注:原標題為《簡單讀懂Reddit的積分幣》根據統計,Reddit社區在2019年的月活用戶達到4.3億,超越推特.

1900/1/1 0:00:00
CAS:科普 | Casper FFG 的可審計安全性和近似活性_Astro Cash

作者:AdityaAsgaonkar翻譯&校對:IANLIU&阿劍 來源:以太坊愛好者 感謝CarlBeekhuizen的審閱.

1900/1/1 0:00:00
USDT:巴比特專欄 | 蔡凱龍:穩定幣終極9問_usdn幣價格

最近穩定幣成為關注焦點,一方面是因為在3月12日幣價暴跌期間,穩定幣普遍超額溢價,特別是USDT場外高達8-10%溢價,另一方面是以USDT快速大量增發:?在三月份18天內增發19次.

1900/1/1 0:00:00
SEC:京東區塊鏈溯源數據首次披露!溯源產品銷量增長近30%_區塊鏈

近年來,隨著技術的日趨成熟,區塊鏈在實體經濟領域的應用越來越廣泛。眾多的區塊鏈應用中,防偽溯源被認為是最有前景的落地場景之一,也是科技巨頭們爭奪的重要區塊鏈領地之一.

1900/1/1 0:00:00
COI:什么樣的區塊鏈項目值得投資?圖網絡數據告訴你 | 巴比特產業大課_cointiger交易所下載

巴比特產業大課第二期《金融是陷阱還是財富寶藏?——“區塊鏈與金融”學習周》,于3月23日正式開班。為期5天的課程中,五位頂級的區塊鏈專家以投資為主題,展現來自區塊鏈最前沿的投資經驗和理念.

1900/1/1 0:00:00
ETH:行情解析:上漲才剛剛開始?ETH還會漲到多少_ETH是什么意思啊

歐洲疫情開始趨緩,美聯儲也不遺余力發布更多刺激政策,來穩住“前線”,全球股市今天都開始反彈上漲,BTC也不例外.

1900/1/1 0:00:00
ads