• 沒有找到結果。

理論密碼學與應用---子計畫II:擬亂數產生器與編碼及其密碼之應用(I)

N/A
N/A
Protected

Academic year: 2021

Share "理論密碼學與應用---子計畫II:擬亂數產生器與編碼及其密碼之應用(I)"

Copied!
10
0
0

加載中.... (立即查看全文)

全文

(1)

行政院國家科學委員會專題研究計畫 期中進度報告

子計畫二:擬亂數產生器與編碼及其密碼之應用(1/3)

計畫類別: 整合型計畫 計畫編號: NSC91-2213-E-009-102-執行期間: 91 年 08 月 01 日至 92 年 07 月 31 日 執行單位: 國立交通大學資訊工程學系 計畫主持人: 陳榮傑 報告類型: 精簡報告 報告附件: 出席國際會議研究心得報告及發表論文 處理方式: 本計畫可公開查詢

國 92 年 5 月 23 日

(2)

行政院國家科學委員會補助專題研究計畫

□成果報

期中進

度報告

理論密碼學與應用-子計畫二:

擬亂數產生器與編碼及其密碼之應用

(1/3)

計畫類別:□ 個別型計畫

整合型計畫

計畫編號:NSC 91-2213-E-009-102-

執行期間: 91 年 8 月 1 日至 92 年 7 月 31 日

計畫主持人:陳榮傑

共同主持人:

計畫參與人員: 胡鈞祥、劉穎駿、劉明宇

成果報告類型(依經費核定清單規定繳交): 精簡報告 □完整報

本成果報告包括以下應繳交之附件:

□赴國外出差或研習心得報告一份

□赴大陸地區出差或研習心得報告一份

□出席國際學術會議心得報告及發表之論文各一份

□國際合作研究計畫國外研究報告書一份

(3)

處理方式:除產學合作研究計畫、提升產業技術及人才培育研究

計畫、列管計畫及下列情形者外,得立即公開查詢

□涉及專利或其他智慧財產權,□一年□二年後可公

開查詢

執行單位:國立交通大學資訊工程學系

中 華 民 國

92 年

5 月

15

(4)

中文摘要: 在隨機演算法中,如何產生一個亂數,以及亂數對隨機演算法進行去隨機化 的動作,是非常重要的課題。 亂度萃取器是一個能夠從微弱的亂度源中萃取亂度出來的演算法,這是我們 目前用來對隨機演算法進行去隨機化的主要方法。在[Tre99]中提到,我們可以利 用亂數產生器做出亂度萃取器,這些亂數產生器都是要建立在一些非常困難的問 題上,所以我們研究的方向之一是探討亂度萃取器與已知的困難問題之間的關聯 性,以及如何更有效率的利用亂數產生器。 英文摘要:

In randomized algorithms, it is an important subject how we could generate a random number and de-randomize randomized algorithm with random numbers. An Extractor is an algorithm that is able to extract randomness from weak random source. It is now the major method on de-randomizing a randomized algorithm. In [Tre99], we know we could make extractors from pseudorandom generators, and these pseudorandom generators are based on some very hard predicate. And one aspect of our research is to explore the relation between extractors and some well-known open hard problems, and the way to use pseudorandom generators more efficiently. 報告內容: 前言 隨機演算法和編碼理論各自都是長久以來已有大量研究的課題,而兩者之 間,原本並沒有被認為是相關的,因此兩方的研究人員各自處理各自的問題。但 在近來的研究中[4][10],逐漸地建立起這兩方的橋梁。在隨機演算法中相當重要 的亂度萃取器,和編碼理論中各式各樣的糾錯碼,開始被拿來一起研究討論,而 且得到了很重要的成果。而因為這些研究,在隨機演算法中開始進行對各式糾錯 碼的研究,試圖利用發展得很完整的編碼理論來進行亂度萃取的工作[8];而另 一方面,也有人嘗試使用已知的亂度萃取器來建造更好的糾錯碼[7]。 研究目的 隨機計算(Randomized computation)對於許多計算方面的難題而言,是非常有 用且可行的方法。如質數檢定(Primality testing)等等,而使用隨機演算法是已知

(5)

的有效方法。在計算理論中,常用 BPP 這類的問題來定義這些存在有效隨機演 算 法 的 問 題 。 依 照 目 前 的 研 究 來 說 , 如 果 存 在 一 個 有 效 的 擬 亂 數 產 生 器 (Pseudorandom generator),即可以將 BPP 中的問題轉換成 P 的問題,此即為 Derandomize BPP,亦即證明了 BPP=P 的問題。因此凡相關至亂數產生器的研究 都是我們關心的課題。 研究內容 亂數產生器 (Pseudorandom generators) 亂數產生器(Pseudorandom generators)就是一個演算法,可將一個長度較短的 亂數(random bits)拉長,使成為長度較長的擬亂數(pseudorandom bits)。擬亂數可 以用在去隨機性(derandomizing):去除原本在進行隨機演算法時所需用到的亂 數。如果可產生一個夠好的亂數產生器 , 我們就可以把屬於 BPP(Bounded Probabilistic Polynomial)中的問題用確定性的(deterministic)演算法來完成。 而所謂一個好的亂數產生器,乃是指其所產生的擬亂數必須和均勻分布 (Uniform distribution)為不可分辨的(indistinguishable)。 亂度萃取器 (Randomness Extractors)

(6)

亂度萃取器是一個演算法,可將一個稍具亂度的資料來源(weak source of randomness),在搭配使用少許長度的真實亂數(truly random bits)後,將其中的亂 度萃取(extract)出來,成為一個高亂度的亂數。所以亦可說是另一種產生亂數的 方法。 首先,我們先說明一下何謂一個稍具亂度的資料來源。我們稱一個資料來源 具有最小亂度為 k(k-min entropy),即是對於每一個屬於此資料來源的樣本 (Sample),所發生的機率皆小於等於 2 的負 k 次方,其數學表示法如下(假設具 有最小亂度 k 的資料來源為 X): 以下是兩個具有最小亂度 k 的分佈的例子: 其中圖一是具有最小亂度 k 的分佈中最不均勻的例子,所有的機率都集中到 2k 的個體上,而剩下的機率都是 0,所以符合定義。而圖二是均勻分佈,也就是 最均勻的例子。 擁有了符合要求的資料來源後,我們再加入少許的真實亂數(truly random bits)加以催化,便能得到一個接近均勻分布的亂數,這便是亂度萃取器的演算過 程,其數學表示法如下(資料來源長度為 n,加入真實亂數的長度為 t,所萃取的 亂數長度為 m): 亂度萃取器在演算法中有非常多的應用,我們以下舉出一些例子: 1. 模擬 BPP 的演算法: 2. RP 問題的黑盒(black-box)模擬法。 3. 確定性的機率問題的增益放大方法(Deterministic Amplification) 4. 建造遺忘性的取樣者(Oblivious Sampler) 5. Clique 問題的近似解

(7)

6. 產生圖論中的超級精練器(Super Concentrators) 7. 產生“高度擴張圖”(Highly expanding Graphs)

8. 建造擬亂數產生器

而 Luca Trevisan 在[10]中也有研究亂度萃取器的建立方法,簡單來看,可以 將其看成是一個二分圖(bipartite graph),而輸入值和輸出值各佔一邊,輸入值域

是 2n,而輸入值域是 2m。而每個輸入值都有 2t 個邊對映到輸出,當然,不是一

對一映射(one to one mapping)也不是蓋射(on to mapping)。而另外輸入的 t 位元亂 數,等於是用來隨機選一個對應,將輸入值對應到輸出值。而其對應關係的建立 是利用「設計」(Design)此種數的結構來定義的。 設計(Design),又稱為分裝(packing),為符合條件的一群集合。我們稱一群 集合 S1,S2,… ,Sm為一個(m,t,l,a)設計,即共 m 個集合,每個集合的元素(element) 皆由數字 1~t 中不重複選出,且每個集合 Si的大小皆為 l,而任兩個集合之間的 交集個數小於等於 a 個。由數學式來表示如下: 而如何產生一個設計呢?最簡單的作法,便是先將 1~t 的數字分為 l 塊, 每一塊含有 t/l 個數字,並且每個集合 Si從皆從每一塊中選取一個數字,如此剛 好為 l 的大小,而可由 Chernoff bound 證明得存在符合設計條件的集合元素選法。 而在[10]中,即是利用[13]的亂數產生器,套用設計(Design)的性質,產生出 一個建立亂度萃取器的演算法,並在剛開始建立的步驟中,加入了糾錯碼 (Error-correcting codes)的概念。 在從亂數產生器建立亂度萃取器的過程中,加入了糾錯碼的應用,是主要是 用於在證明其定理的正確性,而主要的亂度來源還是來自於擬亂數產生器。其 中,所用到的糾錯碼叫二元碼(binary code)。所謂二元碼,是指具有串列解碼性 質(list decoding property)的編碼方法。所謂的串列解碼性質是指在編碼空間中任

(8)

半徑為 1/2-α的漢明距離的球(Hamming ball)內最多只可能有 O(1/α2 )個編碼,換 句話說,其實主要是利用糾錯碼的特性,經過編碼過後的字串,將會有比較均勻 的亂度分佈。而將輸入字串經過編碼後再拿來使用比直接拿來使用有更好的效 果。 如何使用糾錯碼來建立亂度萃取器呢?所使用到的糾錯碼是 Reed-Muller code,這是在編碼理論中非常有用而且常被其他的領域利用的一種編碼。這裡所 用到的 Reed-Muller code 編碼的定義形式如下: (h,D) Reed-Muller code 分佈於 Fq: 1. 訊息:D 變數分佈於 Fq 的多項式 f,總合維度(total degree)最大為 h 2. 碼文:訊息所代之多項式的值。分佈於 FqD 3. 碼文長度最大為 qD 4. 訊息維度(h+D)!/h!D!。 建立亂度萃取器的過程,是先把輸入值用 Reed-Muller code 編碼後,再用 二元碼編碼。像這種多重編碼的技巧,在編碼理論中是常見也很有用的。舉例來 說,在編碼理論中討論到建造能抵擋大量鄰近而突發的錯誤的糾錯碼時,為了防 止大量的錯誤同時打到某一個訊息而導致無法更正,就必需將編碼後的字串再加 以打散,讓鄰近的錯誤分散到每一個訊息之上,之後再加更正即可。而將字串加 以打散的方法通常會需要亂數的參與,而此時所用的方法是用多重的糾錯碼加以 疊加、重複編碼,之間用交錯的方式加以結合。方法如下: 存在兩個糾錯碼 C1=[n1, k1, d1], C2 = [n2, k2, d2], 先將訊息(message)利用 C1 編碼成長度為 n1 的碼文(codeword),再利用深度為 k2 的內插傳送法,當成中 介訊息,而後再將這些長度為 k2 的中介訊息,利用 C2 編碼成長度為 n2 的碼文。 此時再將這些長度為 n2 的碼文以深度為 k1-1 的內插傳送法傳送過去。此時 C2 利用本身具有的 d2-1 錯誤偵測能力,而使得 C1 會具有 n1-d1+1 的錯誤更正能力。

(9)

而結果證實,利用這種方法可以非常有效的進行打亂的動作,而這個結果也 隱含了編碼和亂數之間存在的關係。我們可以嘗試由已知的編碼方式,來建構出 一種不同的亂度萃取器演算法,或是利用編碼理論改善其亂度萃取器演算法。 目前進度: 1. 探討並設計新的 Extractor 2. 探討 list coding 在密碼學的應用 3. Extractor code 在記憶裝置的應用 參考文獻:

[1]. L. Blum, M. Blum, M. Shub, "A simple unpredictable random number generator", SIAM Journal on Computing, 15(1986), pp. 364-383, 1986. [2]. M. Blum, S. Micali, "How to generate cryptographically strong sequence of

pseudo-random bits", SIAM Journal on Computing, 13(1984), pp. 850-864, 1984.

[3]. J. Boyar, "Inferring sequences produced by pseudo-random number generators", Journal of Association for Computing Machinery (JACM), 36(1989), pp.

129-141, 1989.

[4]. N. Nisan and A. Ta-Shma. Extracting randomness : A survey and new constructions. Journal of Computer and System Sciences, 1998. To appear. Preliminary versions in [Nis96, TS96]

[5]. Noam Nisan and Avi Wigderson. Hardness vs randomness. Journal of Computer and System Sciences, 49(2):149-167, October 1994.

[6]. R. Raz, O. Reingold, and S. Vadhan. Extracting all the randomness and reducing the error in Trevisan’s extractors. In Proceedings of the 31st ACM Symposium on Theory of Computing, pages 149-158, 1999.

[7]. A. Ta-Shma and D. Zuckerman. “Extractor codes”, In Proceedings of the 33rd Annual ACM Symposium on Theory of Computing, 2001.

[8]. A. Ta-Shma, D. Zuckerman, S. Safra. “Extractors from Reed-Muller codes”, Electronic Colloquium on Computational Complexity, Report No. 36 (2001). [9]. R. Shaltiel and C. Umans, “Simple Extractors for All Min-Entropies and a New

Pseudo-Random Generator”, IEEE Symposium on Foundations of Computer Science (FOCS’01)

[10].Luca Trevisan. Construction of extractors using pseudo-random generators. In Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing. Pages 141-148, Atlanta, Georgia, 1-4 May 1999.

(10)

In 23rd Annual Symposium on Foundations of Computer Science, pages 80-91,Chicago,Illinois,3-5 November 1982.IEEE.

[12].N. Nisan. Extracting randomness: How and Why. In Proceedings of the 11th IEEE Conference on Computational Complexity,page 44-58, 1996.

[13].N. Nisan and A. Wigdersn. Hardness vs randomness. Journal of Computer and System Sciences, 49149-167, 1994. Preliminary version in Proc. Of FOCS’98.

參考文獻

相關文件

密碼系統中,通常將想要保護的密碼訊息稱為 plain text。而將經過加密後產生的加密訊息稱為 cipher text。在這 中間的過程,會用到可以對外供應的 Public Key 以及私人保

頁碼編排步驟 (4) 點選 格式 後,出現以下畫面:. 接著選擇頁碼要呈現

電腦、手機設定密碼 應設定開機密碼,避免 裝置遺失時,造成私密

蔣松原,1998,應用 應用 應用 應用模糊理論 模糊理論 模糊理論

C., "Prediction of pollutant emission through electricity consumption by the hotel industry in Hong Kong", International Journal of Hospitality Management..

術科測試編號最小(假設為第 1 號)之應檢人抽中崗位號碼 6,則第 1 號應檢人入 座崗位號碼為 6,第 2 號應檢人入座崗位號碼為 7,第

In this paper, we build a new class of neural networks based on the smoothing method for NCP introduced by Haddou and Maheux [18] using some family F of smoothing functions.

Wallace (1989), "National price levels, purchasing power parity, and cointegration: a test of four high inflation economics," Journal of International Money and Finance,