當(dāng)前位置：主頁(yè) > 區(qū)塊鏈 > 區(qū)塊鏈技術(shù) > 零知識(shí)證明特點(diǎn)介紹

零知識(shí)證明的特點(diǎn)有哪些?零知識(shí)證明介紹

2023-01-27 14:50:36 | 來(lái)源： | 作者：佚名

這篇文章主要介紹了零知識(shí)證明的特點(diǎn)有哪些?零知識(shí)證明介紹的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹

我們?cè)诹私饬阒R(shí)證明的特點(diǎn)有哪些這一問(wèn)題之前，最好能夠先來(lái)了解一下這個(gè)零知識(shí)證明究竟是個(gè)什么東西。其實(shí)這個(gè)零知識(shí)證明就是一種協(xié)議，它涉及了兩方或更多方，能夠幫助驗(yàn)證者相信某一個(gè)論斷是正確的。通過(guò)零知識(shí)證明協(xié)議，證明這可以向驗(yàn)證者證明自己知道或擁有某一消息，并且這個(gè)證明的過(guò)程也不會(huì)像驗(yàn)證者泄露信息。該機(jī)制是在密碼學(xué)中是非常的常見(jiàn)的，很多投資者都想要知道這個(gè)零知識(shí)證明的特點(diǎn)有哪些？下面就讓小編為大家介紹一下。

一文了解零知識(shí)證明的特點(diǎn)有哪些？

零知識(shí)證明需要滿(mǎn)足三個(gè)屬性。

1、如果語(yǔ)句為真，誠(chéng)實(shí)的驗(yàn)證者(即：正確遵循協(xié)議的驗(yàn)證者)將由誠(chéng)實(shí)的證明者確信這一事實(shí)。

2、如果語(yǔ)句為假，不排除有概率欺騙者可以說(shuō)服誠(chéng)實(shí)的驗(yàn)證者它是真的。

3、如果語(yǔ)句為真，證明者的目的就是向驗(yàn)證者證明并使驗(yàn)證者相信自己知道或擁有某一消息，而在證明過(guò)程中不可向驗(yàn)證者泄漏任何有關(guān)被證明消息的內(nèi)容。

零知識(shí)證明并不是數(shù)學(xué)意義上的證明，因?yàn)樗嬖谛「怕实恼`差，欺騙者有可能通過(guò)虛假陳述騙過(guò)證明者。換句話(huà)來(lái)說(shuō)，零知識(shí)證明是概率證明而不是確定性證明。但是也存在有技術(shù)能將誤差降低到可以忽略的值。

零知識(shí)的形式定義必須使用一些計(jì)算模型，最常見(jiàn)的是圖靈機(jī)的計(jì)算模型。

零知識(shí)證明介紹

顧名思義，零知識(shí)證明就是既能充分證明自己是某種權(quán)益的合法擁有者，又不把有關(guān)的信息泄露出去——即給外界的“知識(shí)”為“零”。其實(shí)，零知識(shí)證明并不是什么新東西，早在16世紀(jì)的文藝復(fù)興時(shí)期，意大利有兩位數(shù)學(xué)家為競(jìng)爭(zhēng)一元三次方程求根公式發(fā)現(xiàn)者的桂冠，就采用了零知識(shí)證明的方法。

當(dāng)時(shí)，數(shù)學(xué)家塔爾塔里雅和菲奧都宣稱(chēng)自己掌握了這個(gè)求根公式，為了證明自己沒(méi)有說(shuō)謊，又不把公式的具體內(nèi)容公布出來(lái)(可能在當(dāng)時(shí)數(shù)學(xué)公式也是一種技術(shù)秘密)，他們擺開(kāi)了擂臺(tái)：雙方各出30個(gè)一元三次方程給對(duì)方解，誰(shuí)能全部解出，就說(shuō)明誰(shuí)掌握了這個(gè)公式。比賽結(jié)果顯示，塔爾塔里雅解出了菲奧出的全部30個(gè)方程，而菲奧一個(gè)也解不出。于是人們相信塔爾塔里雅是一元三次方程求根公式的真正發(fā)現(xiàn)者，雖然當(dāng)時(shí)除了塔爾塔里雅外，誰(shuí)也不知道這個(gè)公式到底是個(gè)什么樣子。從這個(gè)故事，我們可以初步了解零知識(shí)證明的概念。

在有必要證明一個(gè)命題是否正確，又不需要提示與這個(gè)命題相關(guān)的任何信息時(shí)，零知識(shí)證明系統(tǒng)是不可或缺的。零知識(shí)證明系統(tǒng)包括兩部分：宣稱(chēng)某一命題為真的示證者(prover)和確認(rèn)該命題確實(shí)為真的驗(yàn)證者(verifier)。證明是通過(guò)這兩部分之間的交互來(lái)執(zhí)行的。在零知識(shí)協(xié)議的結(jié)尾，驗(yàn)證者只有當(dāng)命題為真時(shí)才會(huì)確認(rèn)。但是，如果示證者宣稱(chēng)一個(gè)錯(cuò)誤的命題，那么驗(yàn)證者完全可能發(fā)現(xiàn)這個(gè)錯(cuò)誤。這種思想源自交互式證明系統(tǒng)。交互式系統(tǒng)在計(jì)算復(fù)雜度理論方面已經(jīng)獲得異常獨(dú)立的地位。

設(shè)P表示掌握某些信息，并希望證實(shí)這一事實(shí)的實(shí)體，設(shè)V是證明這一事實(shí)的實(shí)體。假如某個(gè)協(xié)議向V證明P的確掌握某些信息，但V無(wú)法推斷出這些信息是什么，我們稱(chēng)P實(shí)現(xiàn)了最小泄露證明。不僅如此，如果V除了知道P能夠證明某一事實(shí)外，不能夠得到其他任何知識(shí)，我們稱(chēng)P實(shí)現(xiàn)了零知識(shí)證明，相應(yīng)的協(xié)議稱(chēng)作零知識(shí)協(xié)議。

眾所周知，在目前的主流公鏈中，每一個(gè)賬號(hào)之間的交易信息都是公開(kāi)的，這是為了更好的解決比特幣雙花的問(wèn)題，但是只要某一個(gè)賬號(hào)的身份暴露的話(huà)，第三方就能夠?qū)@個(gè)賬號(hào)進(jìn)行追蹤，還能夠通過(guò)這個(gè)賬號(hào)去控制其他的賬號(hào)。零知識(shí)證明就是可以幫助交易在不泄漏交易相關(guān)細(xì)節(jié)的情況下被驗(yàn)證，很好的解決了鏈上交易隱私的問(wèn)題，不過(guò)大家要注意想要生成零知識(shí)證明需要大量的算力，并且部分協(xié)議需要可信設(shè)置。

以上就是零知識(shí)證明的特點(diǎn)有哪些?零知識(shí)證明介紹的詳細(xì)內(nèi)容，更多關(guān)于零知識(shí)證明特點(diǎn)介紹的資料請(qǐng)關(guān)注腳本之家其它相關(guān)文章！

聲明：文章內(nèi)容不代表本站觀點(diǎn)及立場(chǎng)，不構(gòu)成本平臺(tái)任何投資建議。本文內(nèi)容僅供參考，風(fēng)險(xiǎn)自擔(dān)！