零知識證明及其應(yīng)用研究.pdf

1、隨著網(wǎng)絡(luò)的普及，利用網(wǎng)絡(luò)從事各種活動(dòng)變得非常的方便和有效，網(wǎng)上銀行、電子商務(wù)、電子政務(wù)等越來越多的活動(dòng)都離不開網(wǎng)絡(luò)。而對這些應(yīng)用尤其重要的一點(diǎn)就是要求它的安全性，否則，后果不堪設(shè)想。這些安全服務(wù)通常是由密碼協(xié)議提供的，零知識證明就是這樣一種為提供安全服務(wù)底層的核心技術(shù)。零知識證明是一種高級密碼協(xié)議，它是指聲稱者要向驗(yàn)證者證明某一斷言的真實(shí)性，卻并不向驗(yàn)證者泄露任何與該斷言有關(guān)的其他信息。在當(dāng)代密碼學(xué)中，零知識證明占據(jù)著重要的位置，它不僅

2、作為一個(gè)基本工具為實(shí)現(xiàn)各種密碼學(xué)協(xié)議分析與構(gòu)造提供強(qiáng)有力的支持，而且其證明方法也成為一種方法論而被廣泛使用。另外，零知識證明不只在應(yīng)用密碼學(xué)中有重要的應(yīng)用價(jià)值，在IP協(xié)議框架中，這一主題意見發(fā)展成為計(jì)算復(fù)雜性理論的一個(gè)重要分支。
　　比特承諾在現(xiàn)代密碼學(xué)協(xié)議構(gòu)造中處于核心內(nèi)容，它是實(shí)現(xiàn)零知識證明的重要工具。自 Blum于1982年首先提出了比特承諾的概念后，它已經(jīng)成為了密碼學(xué)研究的一個(gè)活躍領(lǐng)域。密碼學(xué)家指出如果有了好的加密算法，任

3、何 NP命題都有一個(gè)零知識證明。這里的加密算法本質(zhì)上就是比特承諾算法。比特承諾是構(gòu)建零知識證明的重要子協(xié)議，不僅如此，比特承諾的類型直接影響著其所構(gòu)建的上層零知識證明的零知識類型。
　　本文首先簡要介紹了比特承諾的相關(guān)理論知識，以及實(shí)現(xiàn)比特承諾的不同方式，并給出了0-1背包問題的的比特承諾方案。詳細(xì)地介紹了零知識證明協(xié)議的相關(guān)知識,接著在研究零知識證明相關(guān)理論的基礎(chǔ)上，給出了幾個(gè)零知識證明的例子，列舉了零知識證明在相關(guān)方面的實(shí)際應(yīng)