隱私保護為何選用密碼學演算法？密碼學演算法背後有哪些神奇的數學理論？3何時比9大？計算可逆性錯覺究竟是如何在數學領域被打破？
這裡，我們將從密碼學信任的理論基礎出發，分享在隱私保護技術方案中應用密碼學技術的一些思考：如何理解密碼學演算法的能力邊界，如何客觀地比較不同密碼學演算法對於隱私保護方案有效性的影響。
這一切，要從密碼學神奇的「不對稱性」說起。
神奇的「不對稱性」
早在西元前，古埃及、古羅馬、古希臘等古文明均已開始使用密碼技術來保護資訊的機密性，歷史上最早的不對稱性表現為選用特殊的資訊編碼方式，如果第三方不知道具體的編碼方式，則難以解碼對應的資訊。
大約經過4000多年的發展，也就是近代20世紀初，現代密碼學正式成型，引入了關於不對稱性更為嚴謹的數學定義。比較有代表性的早期**包括2023年lester s. hill在美國數學月刊上發表的《cryptography in an algebraic alphabet》。
20世紀末，隨著網際網路的普及，大量敏感資料在網路上進行傳輸，產生了大量的資料內容保護的需求，密碼學技術也因此得到飛速發展。
在現代密碼學中，關於不對稱性，大家最熟悉的概念莫過於「公鑰」和「私鑰」。
以加密通訊為例，主人公小華要向他的朋友美麗通過加密的方式傳送乙份電子郵件，可以先找到美麗的公鑰，使用公鑰對郵件內容進行加密，並將加密後的得到密文傳送給美麗。美麗收到郵件內容的密文之後，通過自己的私鑰進行解密，最終得到郵件內容的明文。
以上過程中，密碼學演算法神奇的不對稱性體現在以下問題中：
這些問題的答案，都要歸結於密碼學中的計算困難性理論。
計算困難性理論
在隱私保護場景中，計算困難性理論具體表現為，對同一隱私資料主體，通過不同計算路徑，獲得相同資訊的計算難度具有不對稱性。不對稱性中，相對容易的計算方式被用來構造授權的資料訪問，而困難的計算方式被用來避免非授權的資料洩露。
構造這樣的不對稱性的方式有很多，最經典的方式之一，就是千禧年七大難題之一——p和np問題。
p問題是確定性圖靈機，即通用計算機計算模型，在多項式時間(o(n^k))內可以計算獲得答案的一類問題。np問題是確定性圖靈機在多項式時間內可以驗證答案的正確性，但不一定能計算出答案的一類問題。
關於同乙份答案，驗證過程比計算過程要容易很多，由此我們可以構造出密碼學演算法所需要的計算難度不對稱性。
np問題是否能夠通過有效的多項式時間演算法轉化成p問題，由此破解計算難度不對稱性？目前學術界尚無定論。
理論研究進一步表明，對於np問題集合中的核心問題，即np完全問題，如果能夠找乙個有效的多項式時間演算法來解決任何乙個np完全問題，那其他所有np問題都可以基於這個演算法來構造出有效的多項式時間演算法。由此，之前提到的計算難度不對稱性將不復存在。
幸運的是，經過將近70年的科學探索，這樣的演算法並沒有被發現。在有限時間內，現代計算機難以求解這些問題的答案，所以現代密碼學可以比較安全地基於這些np完全問題來構造有效的密碼學演算法。
神奇的「計算困難問題」
形象地講，計算困難性理論的核心就是構造乙個迷宮，如果不知道捷徑，是很難到達出口的。
大數分解困難問題
給定兩個大素數p和q，計算n=p*q是容易的。然而，給定n，求解p、q則是困難的。
整數的素數分解是數論中最著名的問題之一，目前，求解素數分解最有效的方法稱為數域篩法，即通過構造代數數域不停地對整數可能的集合進行迭代運算。
目前，大整數分解問題仍不存在更有效的分解方法，因此密碼學一些方案利用大數分解困難問題構造相應協議，如rsa系列演算法將其困難性規約為大數分解困難問題。如果大整數分解困難問題被破解，使用rsa密碼方案保護的隱私資料也會相應遭到破譯。
離散對數困難問題
在模為n，生成元為g的有限域中，給定整數a，計算g^a = b是容易的。然而，給定b和g計算a則是困難的。
許多新接觸密碼學的讀者都會對離散對數問題產生計算可逆性的錯覺，看起來就是進行一次log運算的事情，但真相並非如此。
在實數域，元素有乙個非常重要的性質，全序關係，所以很容易比較大小。例如，在實數域中9>2且3>2，一定能推出9>2。
在計算log2(9)時，計算機會對以元素9為輸入的函式結果進行二分查詢法，首先計算(9/2)^2和9進行比較，再計算（(0+9/2）/2)^2…。通過不停比較元素大小的性質，從而計算log最終的結果。
然而，在有限域中，元素之間並不存在全序關係。在模為7的有限域中，可以看到諸如9等於2，3比9大的關係存在。
因此，無法通過有效的演算法計算上述過程中的a。許多著名的密碼協議安全性都是建立在離散對數困難性上的，如diffie-hellman金鑰交換協議、elgamal加密、dsa演算法等。
橢圓曲線上的離散對數困難問題
當前，橢圓曲線密碼學演算法是當前密碼應用的主流，每乙個隱私資料都能以座標(x, y)的形式，表示為橢圓曲線上的乙個點。與一般離散對數困難問題類似，橢圓曲線上的離散對數困難問題可以表示為：
在有限域f上的橢圓曲線群，點p為曲線上某個點，給定整數a，計算a*p=q是容易的。然而，根據p和q計算a則是困難的。
有別於普通代數運算，橢圓曲線上的點運算定義如下：
可以看到，橢圓曲線上的點運算和普通實數域上的運算有很大差別，當前尚未存在一種有效的演算法對橢圓曲線離散對數問題進行破譯。目前，最常用的公鑰密碼演算法體系ecdsa、eddsa、國密sm2等都是基於這一困難問題。
客觀比較不同的密碼學演算法
由於不同的密碼學演算法構造使用了不同的困難問題，對應地，不同的困難問題也勢必會引入不同的安全假設。
理解這些安全假設，是企業進行技術選型，客觀地判斷基於不同密碼學演算法構造隱私保護方案孰強孰弱的關鍵。
這裡，我們需要進一步引入「安全引數」的概念。
安全引數是乙個衡量密碼學演算法保護隱私資料強度的數值。對位於「同一等級"的安全引數值來說，不同密碼學演算法的安全級別基本相同，即面對已知最有效的攻擊方式，演算法被破解導致隱私資料洩露的概率相同。
一般情況下，安全引數值的大小，直接體現為金鑰長度的長短。在同一等級下，安全引數值有大有小，對應的金鑰長度也有長有短。
基於不同困難問題的密碼學演算法金鑰最小長度，美國國家標準與技術研究院nist作如下推薦，其中，每個單元格表示需要使用金鑰長度的最小位元數。
通過上表，我們可以看到，即便金鑰長度相同，選用不同困難問題獲得的安全級別是不同的。一般而言，基於同一困難問題構造的技術方案，金鑰長度越長，安全性越高，相應地，系統效率越低，其中往往也伴隨其他系統設計上的取捨。
不同場景應按照業務需求選擇適合的技術方案和金鑰長度，具體有以下幾點需要特別注意：
計算困難問題歸根結底還是乙個計算問題，隨著計算機計算能力的增強，或是演算法理論研究進展的推進，這些困難問題的安全性都會發生變化。如rsa加密演算法，nist金鑰管理準則認為，2023年後，1024位的金鑰不再安全，需要增加到2048位的金鑰長度，預計其安全有效性可以保持至2023年。
對於企業而言，這裡的啟示在於，不能簡單地認為，隱私保護技術方案現在有效，就保證了10年後依舊有效。無論什麼樣的隱私保護技術方案都有其時效性。
企業如果能夠根據權威技術組織推薦的安全引數、演算法方案及時更新現有的系統，困難性理論就能夠有效保障隱私保護技術方案的有效性歷久如新。
正是：密碼學技術易守難攻，困難性理論當居首功！
作為密碼學安全的基石，計算困難問題和相關的安全引數，是企業有效進行密碼學演算法選型的關鍵考察點。企業應用落地時，需充分考慮隱私資料保密的有效期，選擇合適的密碼學演算法和金鑰長度，對資料安全性和系統效率進行必要衡量。
除了與密碼學演算法直接相關的計算困難問題，乙個完整的隱私保護技術方案通常還需要構造密碼學協議，來組合多種密碼學演算法。密碼學協議引入了多方之間的互動，由此也引入其他重要的安全假設。
密碼學筆記 代替技術
代替技術是將明文本母替換成其他字母 數字或符號的方法。ab cdef gh01 2345 67ijklmnop89 1011 1213 1415 qrstuvwx 1617 1819 2021 2223 yz 2425 則加密演算法可以如下表達。對每個明文本母p，代替成密文字母c c e 3，p p...
區塊鏈技術 密碼學
1 對稱加密 用相同金鑰對原文進行加密和解密 加密過程 金鑰 原文 密文 解密過程 密文 金鑰 原文 缺點 無法確保金鑰被安全傳遞 2 非對稱加密 公鑰 私鑰，ras演算法 公鑰用於加密，私鑰用於解密。私鑰簽名，公鑰解簽名。公鑰由私鑰生產，私鑰可以推導出公鑰 從公鑰無法推導出私鑰 優點 解決了金鑰傳...
密碼學與安全技術概要
hash 雜湊或雜湊 能將任意長度的二進位制明文對映為較短的 通常是固定長度的 二進位制串 hash值 並且不同的明文很難對映為相同的hash值。hash值在應用中又常被稱為指紋 fingerprint 或摘要 digest 乙個優秀的hash演算法將能實現如下功能 1 正向快速 2 逆向困難 3 ...