以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads
首頁 > Polygon > Info

密碼學原語如何應用?解析密文同態性的妙用_SEE:EEL幣

Author:

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

作者:李昊軒

來源:微眾銀行區塊鏈

隱私數據在密文形式下是否依舊可以加減乘除?其背后的同態性原理具體指什么?半同態性和全同態性有什么區別?單密鑰和多密鑰同態加密有哪些奇妙的應用場景?

隱私保護方案設計,往往需要在密文狀態下,對隱私數據進行特定的業務操作,以此保障數據的機密性。

沿用上一論的電子支付例子,客戶目前擁有一張面額1000元的電子支票,電子支票以密文憑證形式存儲,流轉過程中不會輕易泄露金額。客戶使用這張支票時,消費額可能低于1000元,需要將支票進行拆分找零。假定消費額為200元,這一支票需要被拆分成兩份密文憑證,面額200元的給商戶,面額800元的留給客戶自己作為找零。

這個過程中,存在三個隱私保護相關的主要功能點:

客戶不希望其他人獲知找零的金額為800元,相當于在消費時能保護客戶自身財產總額相關信息不泄露。

商戶需要驗證密文支票在本次消費前的余額不小于200元,但無需知道具體的余額。

簽發密文支票的銀行需要驗證,客戶和商戶在交易后,沒有憑空造出更多的錢,即消費額與找零額相加等于拆分前的電子支票中的余額。

動態 | 量子鏈開發者在密碼學IACR電子期刊公布幻影隱私協議:金色財經報道,2月13日,量子鏈開發者在密碼學IACR電子期刊公布了基于智能合約的幻影隱私協議(Qtum Phantom Protocol),推動數字資產隱私領域發展。據介紹,幻影隱私協議基于zk-SNARK技術,對Merkle樹、hash算法等多個環節進行了改進,使得協議能夠高效地運行于智能合約上。量子鏈幻影隱私協議在智能合約的基礎上,實現隱私資產的發行和管理。相比AZTEC只能實現交易金額的隱私,無法隱藏交易地址。幻影協議實現了更徹底的隱私,可以同時隱藏交易金額和交易地址。該協議同時提供隱私資產和公開資產之間的互轉功能。據悉幻影隱私協議將率先在Qtum網絡部署,同時也計劃支持其他的智能合約網絡。[2020/2/14]

以上功能點涉及如何在不解密的限制下,對隱私數據的密文形式進行計算和驗證。而解決問題的關鍵,就在于密文同態性的使用。

在數據業務中,密文同態性在需要隱私保護的相關場景方案中應用十分廣泛,可以實現隱私數據可信跨域協作、聯合數據發掘等高價值需求,在多方數據協作、機器學習、云計算等熱門領域皆有用武之地。密碼學同態究竟有何奇妙之處?且隨本文一探究竟。

聲音 | Anchorage聯合創始人:加密技術正在開創分布式系統、安全性和密碼學研究的新領域:據AMBCrypto報道,在最近的一次演講中,加密安全公司Anchorage的聯合創始人Diogo Monica談到了加密在提高個人安全、隱私和數據主權方面的作用。Diogo注意到加密降低了黑客攻擊和服務中斷的風險,他宣稱加密技術正在開創分布式系統、安全性和密碼學研究的新領域。他稱,“缺乏個人安全、缺乏隱私和數據主權是我們日常生活中的事情,我們接受這些東西作為互聯網的一部分,但這不應該是這樣,這就是加密技術的來源。加密貨幣的發展實際上幫助你的每一臺設備變得更安全,因此有助于你的個人安全,新的加密方法有助于保護你的數據,并最終讓你重新獲得一些隱私。”[2020/2/3]

1.同態性

同態的概念起源于抽象代數,具體是指兩個代數結構之間保持結構不變的映射。

對應地,密碼學意義中的同態,多指一類代數結構能夠滿足在指定運算下結構不變的性質。例如,函數f(x)=3x對應的代數結構滿足加法同態性,函數f(x)=x^3對應的代數結構滿足乘法同態性。

動態 | 1999年的密碼學難題被解開,證明被存儲在BTC和BCH區塊鏈上:據bitcoin.com報道,1999年4月,麻省理工學院(MIT)的密碼學家設想了一個預計需要35年才能解決的難題。上個月,自學成才的程序員Bernard Fabrot透露已經破解了該難題。Fabrot的證明過程已于4月20日被標記并儲存在BCH區塊鏈上,并已在此后5天被儲存在BTC區塊鏈上。此后Antpool礦池還在Coinbase的數據中為573138區塊添加了祝賀信息。[2019/5/18]

同態性在密碼學中最常見的應用之一,就是用來構造

同態加密算法。

同態加密允許在不解密的條件下,直接對密文形式下的隱私數據進行特定形式的代數運算,運算效果等同于將隱私數據明文直接計算后再加密所獲的效果。

這項技術試圖實現隱私數據協同計算中的數據密文可計算,但明文不可見的效果。

同態加密一直是密碼學研究領域的一個重要課題,經典的算法有RSA、ElGamal、Paillier加密算法。2009年9月,CraigGentry從理論上取得了重大突破,提出了全同態加密的構造方法,即可以在不解密的條件下,對隱私數據的密文形式進行任意形式的運算,并使得運算之后的結果密文滿足同態性。

動態 | Seele元一密碼學黃皮書正式公開:今日,Seele元一全球首發的密碼學領域黃皮書“多重橢圓曲線的數字簽名方法”已被提交至全球預印本資料庫資料庫資料庫arxiv.org發表,并隨后于Seele元一官網Seele.pro全文公開。該黃皮書通過橢圓曲線數量和六個參數的動態調整,實現了適用于不同應用場景和安全需求的動態簽名機制。Seele元一首席科學家畢偉博士表示:“新簽名算法和獨特的運行機制,為主網上線提供了更加堅實的安全技術保障。[2018/8/10]

除了同態加密外,其他密碼學原語,如上一論中提及的密碼學承諾,也可能具有同態性。

同態加密與具有同態性的密碼學承諾在功能上的區別在于:

同態加密重在計算,即對多方提供的隱私數據的密文形式進行一定計算后,對結果密文解密后得到的值,等同于對明文數據進行對應運算得到的結果。這個過程不會泄露隱私數據明文,但解密之前無法獲知結果。

具有同態性的密碼學承諾重在驗證,即通過密碼學承諾密文形式的同態性,對于已知的結果,構造相應的零知識證明,用以證明多個承諾滿足一定的約束條件。密碼學承諾難以支持計算結果未知、且需要從多方收集隱私數據的密文計算過程。

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

同態性在不同的密碼學原語中會有不同的功能和限制,本文以同態加密算法為例,對同態性的特性和應用進行分享,其他相關密碼學原語會在后續專題中展開。

2.半同態vs全同態

同態加密根據支持的運算類型的限制,可分為半同態加密和全同態加密。

對于一個半同態加密算法,其密文形式僅僅對部分運算方式滿足同態性,有代表性的密碼學算法體系如下:

加法運算同態性:UnpaddedRSA,ElGamal,Benaloh,Paillier

邏輯運算同態性:Goldwasser-Micali

半同態加密算法的優點在于構造相對簡單,工程實現效率高,目前已經可以達到商用的性能要求。

對于引言中密文支票電子支付的例子,使用一個具備加法運算同態性算法便可以構造出滿足相關的隱私保護需求的密碼學協議。除了支付之外,對于日常業務中的大多數場景,如投票、選舉、競拍等,半同態加密算法一般都可以滿足對應的隱私保護需求。

對于一個全同態加密算法,其密文形式在理論上對任意運算方式都滿足同態性。對于數據密文計算相關同態加密算法設計,這一要求通常體現為密文對應的代數結構對加法和乘法同時滿足同態性。

對于任意的隱私數據x,y,全同態加密算法提供了一對加密算法E和解密算法D,滿足如下關系:

相比半同態加密算法,全同態加密算法功能更強大、設計更復雜,整體性能遠不及半同態加密算法。例如可能面臨密文數據膨脹困擾。相關研究報告顯示,在一次使用全同態加密開源庫為敏感醫療數據構建密文線性回顧模型的嘗試中,需要將隱私數據進行編碼轉換,映射到密文的向量空間中。

此過程,1M的明文數據編碼后可能膨脹至約10G密文數據;同時,針對值域范圍為512位的明文數據,單次密文乘法運算,在普通個人計算機實測耗時約5秒左右,通常一個需要全同態計算的場景涉及的密文乘法次數很多,總體耗時較高。

由此可見,全同態加密算法的愿景雖美,但目前還處于理論探索層面,離工程實用化、支持高頻次和大數據量的業務需求尚有一定距離。

3.單密鑰vs多密鑰

同態加密根據數據控制方的數量,可分為單密鑰同態加密和多密鑰同態加密。

早期的同態加密算法都是單密鑰算法,主要應用于外包計算場景。數據控制方對自身的數據進行加密,然后發送到云計算服務平臺,在密文的形式下完成一系列運算,最后下載結果密文,本地解密之后獲得最后的計算結果。

上一節提到的ElGamal、Paillier等加密算法都是單密鑰同態加密,即對于隱私數據只能使用同一對的密鑰進行加解密。

單密鑰同態加密優點在于構造相對簡單、性能高,可用于有一定信任基礎或強監管環境下的聯合計算場景。

由于涉及到可信初始化和密鑰選用的問題,單密鑰同態加密在多方參與的協作場景中,會遇到不少挑戰,例如:

如何決定使用哪一方提供的密鑰?數據由誰來解密?

如何平衡單密鑰所代表的單一數據控制權?如何確保數據提供方的敏感數據輸入不被解密?如何防范數據控制方惡意提前終止協議?

如何讓所有參與方都能驗證最終結果正確性?

實際業務流程中,隱私數據可以由多方提供,在可信初始化之后使用同一個公鑰加密數據,并匯總密文數據進行計算,計算結束之后,需要委托可信方或者使用分布式解密協議,對最終結果進行解密。

相比單密鑰同態加密算法,多密鑰同態加密較好地解決了信任相關的問題。

一個多密鑰同態加密算法,允許不同參與方使用各自不同的密鑰對加密,加密后的密文可以通過各個參與方的公鑰進行密文擴展,擴展后的密文對于指定的運算方式依舊滿足同態性。解密過程可以通過分布式解密協議,在不泄露各自數據私鑰的前提下,對約定的結果密文進行解密。

典型的多密鑰同態加密算法可以參考ClearandMcGoldrick(CRYPTO2015)、MukherjeeandWichs(EUROCRYPT2016)相關的論文。

目前多密鑰同態加密方案,隨著參與方個數的增加,系統性能會急劇降低。對于一些需求比較明確的多方協作場景,相較于多密鑰同態加密方案,定制構造的安全多方計算協議或許更有效。

總體而言,密文同態性可以為業務場景中,常見的隱私數據的計算和驗證需求,提供有效解決方案,根據具體的業務需求,基本技術選型可以參考下圖:

正是:隱私數據密文亦無妨,計算驗證同態兩相宜!

具有同態性的密碼學原語提供了一系列直觀、便捷的密鑰學協議構造利器,在保障隱私數據機密性的同時,允許多個協作方對隱私數據的密文形式進行直接運算和驗證操作,以此適配多樣化的隱私保護需求。

除計算和驗證需求外,多方授權也是常見的業務需求之一,如對多方共有的業務數據進行授權使用,此時需要用到門限密碼學相關技術,欲知詳情,敬請關注下文分解。

Tags:區塊鏈EELSEEELE區塊鏈的未來發展前景與應用EEL幣Seek TigerELENA價格

Polygon
從特斯拉CEO到推特CEO ,細數這9位持有比特幣的頂級富豪_ETF:API

到2020年,全球億萬富翁的數量超過了野生黑犀牛的數量。其中的一些億萬富翁要么投資了比特幣,要么被贈予比特幣作為禮物.

1900/1/1 0:00:00
巴比特專欄 | 區塊鏈將對哪些場景賦能?如何賦能?_COIN:COI

去年“1024會議”之后,國內區塊鏈應用市場迅速升溫。今年4月份,發改委將區塊鏈納入新基建建設范圍.

1900/1/1 0:00:00
捕獲價值還是捕獲用戶?_ION:defi community

應用一定是協議的附庸嗎?一、「胖」協議和「瘦」應用2016年8月,美國著名基金USV的JoelMonegro,發表了名為《fat-protocols》的文章,中文世界稱之為《胖協議》.

1900/1/1 0:00:00
大戶有話說 | 被國產公鏈項目套牢后的大戶_區塊鏈:Topshelf Finance

編者注:原標題為《大戶有話說丨被套牢后的ELF大戶》 來源:律動 從時間上來看,百倍幣、千倍幣頻出于2017年和2018年。國產公鏈項目在那兩年也是一個接一個,可惜至今仍活得不錯的項目卻是少有.

1900/1/1 0:00:00
巴比特專欄 | 區塊鏈的技術意義:數據的全網可驗證_比特幣:加密貨幣是干什么用的

目前人們對于區塊鏈的意義有諸多角度的解讀,我認為從最底層的技術角度來看,區塊鏈最核心的特點就是全網可驗證.

1900/1/1 0:00:00
那些仰望星空的人們,《三體》中看見區塊鏈的未來_區塊鏈:EOSC價格

宇宙就是一座黑暗森林,每個文明都是帶槍的獵人,像幽靈般潛行于林間,輕輕撥開擋路的樹枝,竭力不讓腳步發出一點兒聲音,連呼吸都小心翼翼.

1900/1/1 0:00:00
ads