零知識證明的特點(diǎn)有哪些?零知識證明介紹
我們在了解零知識證明的特點(diǎn)有哪些這一問題之前，最好能夠先來了解一下這個(gè)零知識證明究竟是個(gè)什么東西。其實(shí)這個(gè)零知識證明就是一種協(xié)議，它涉及了兩方或更多方，能夠幫助驗(yàn)證者相信某一個(gè)論斷是正確的。通過零知識證明協(xié)議，證明這可以向驗(yàn)證者證明自己知道或擁有某一消息，并且這個(gè)證明的過程也不會(huì)像驗(yàn)證者泄露信息。該機(jī)制是在密碼學(xué)中是非常的常見的，很多投資者都想要知道這個(gè)零知識證明的特點(diǎn)有哪些？下面就讓小編為大家介紹一下。
一文了解零知識證明的特點(diǎn)有哪些？
零知識證明需要滿足三個(gè)屬性。
1、如果語句為真，誠實(shí)的驗(yàn)證者(即：正確遵循協(xié)議的驗(yàn)證者)將由誠實(shí)的證明者確信這一事實(shí)。
2、如果語句為假，不排除有概率欺騙者可以說服誠實(shí)的驗(yàn)證者它是真的。
3、如果語句為真，證明者的目的就是向驗(yàn)證者證明并使驗(yàn)證者相信自己知道或擁有某一消息，而在證明過程中不可向驗(yàn)證者泄漏任何有關(guān)被證明消息的內(nèi)容。
零知識證明并不是數(shù)學(xué)意義上的證明，因?yàn)樗嬖谛「怕实恼`差，欺騙者有可能通過虛假陳述騙過證明者。換句話來說，零知識證明是概率證明而不是確定性證明。但是也存在有技術(shù)能將誤差降低到可以忽略的值。
零知識的形式定義必須使用一些計(jì)算模型，最常見的是圖靈機(jī)的計(jì)算模型。
零知識證明介紹
顧名思義，零知識證明就是既能充分證明自己是某種權(quán)益的合法擁有者，又不把有關(guān)的信息泄露出去——即給外界的“知識”為“零”。其實(shí)，零知識證明并不是什么新東西，早在16世紀(jì)的文藝復(fù)興時(shí)期，意大利有兩位數(shù)學(xué)家為競爭一元三次方程求根公式發(fā)現(xiàn)者的桂冠，就采用了零知識證明的方法。
當(dāng)時(shí)，數(shù)學(xué)家塔爾塔里雅和菲奧都宣稱自己掌握了這個(gè)求根公式，為了證明自己沒有說謊，又不把公式的具體內(nèi)容公布出來(可能在當(dāng)時(shí)數(shù)學(xué)公式也是一種技術(shù)秘密)，他們擺開了擂臺：雙方各出30個(gè)一元三次方程給對方解，誰能全部解出，就說明誰掌握了這個(gè)公式。比賽結(jié)果顯示，塔爾塔里雅解出了菲奧出的全部30個(gè)方程，而菲奧一個(gè)也解不出。于是人們相信塔爾塔里雅是一元三次方程求根公式的真正發(fā)現(xiàn)者，雖然當(dāng)時(shí)除了塔爾塔里雅外，誰也不知道這個(gè)公式到底是個(gè)什么樣子。從這個(gè)故事，我們可以初步了解零知識證明的概念。
在有必要證明一個(gè)命題是否正確，又不需要提示與這個(gè)命題相關(guān)的任何信息時(shí)，零知識證明系統(tǒng)是不可或缺的。零知識證明系統(tǒng)包括兩部分：宣稱某一命題為真的示證者(prover)和確認(rèn)該命題確實(shí)為真的驗(yàn)證者(verifier)。證明是通過這兩部分之間的交互來執(zhí)行的。在零知識協(xié)議的結(jié)尾，驗(yàn)證者只有當(dāng)命題為真時(shí)才會(huì)確認(rèn)。但是，如果示證者宣稱一個(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無法推斷出這些信息是什么，我們稱P實(shí)現(xiàn)了最小泄露證明。不僅如此，如果V除了知道P能夠證明某一事實(shí)外，不能夠得到其他任何知識，我們稱P實(shí)現(xiàn)了零知識證明，相應(yīng)的協(xié)議稱作零知識協(xié)議。
眾所周知，在目前的主流公鏈中，每一個(gè)賬號之間的交易信息都是公開的，這是為了更好的解決比特幣雙花的問題，但是只要某一個(gè)賬號的身份暴露的話，第三方就能夠?qū)@個(gè)賬號進(jìn)行追蹤，還能夠通過這個(gè)賬號去控制其他的賬號。零知識證明就是可以幫助交易在不泄漏交易相關(guān)細(xì)節(jié)的情況下被驗(yàn)證，很好的解決了鏈上交易隱私的問題，不過大家要注意想要生成零知識證明需要大量的算力，并且部分協(xié)議需要可信設(shè)置。
以上就是零知識證明的特點(diǎn)有哪些?零知識證明介紹的詳細(xì)內(nèi)容，更多關(guān)于零知識證明特點(diǎn)介紹的資料請關(guān)注腳本之家其它相關(guān)文章！
你可能感興趣的文章
-
區(qū)塊鏈資產(chǎn)有什么特點(diǎn)?區(qū)塊鏈資產(chǎn)特點(diǎn)和意義介紹
這篇文章主要介紹了區(qū)塊鏈資產(chǎn)有什么特點(diǎn)?區(qū)塊鏈資產(chǎn)特點(diǎn)和意義介紹的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹…
2023-01-13 -
比特幣合約交易所提供交割單嗎?比特幣合約的特點(diǎn)
這篇文章主要介紹了比特幣合約交易所提供交割單嗎?比特幣合約的特點(diǎn)的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹…
2023-01-09 -
區(qū)塊鏈3.0的特點(diǎn)是什么?區(qū)塊鏈3.0技術(shù)落地應(yīng)用介紹
這篇文章主要介紹了區(qū)塊鏈3.0的特點(diǎn)是什么?區(qū)塊鏈3.0技術(shù)落地應(yīng)用介紹的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹…
2023-01-04 -
幣圈說的土狗是什么意思?幣圈土狗類項(xiàng)目的特點(diǎn)
這篇文章主要介紹了幣圈說的土狗是什么意思?幣圈土狗類項(xiàng)目的特點(diǎn)的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹…
2023-01-03 -
加密借貸平臺破產(chǎn)怎么辦?加密借貸平臺的特點(diǎn)
這篇文章主要介紹了加密借貸平臺破產(chǎn)怎么辦?加密借貸平臺的特點(diǎn)的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹…
2022-12-23 -
Alameda Research是什么交易所?Alameda Research交易特點(diǎn)
這篇文章主要介紹了Alameda Research是什么交易所?Alameda Research交易特點(diǎn)的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹…
2022-12-21 -
比特幣縮量橫盤意味著什么?比特幣橫盤的特點(diǎn)
這篇文章主要介紹了比特幣縮量橫盤意味著什么?比特幣橫盤的特點(diǎn)的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹…
2022-12-08 -
區(qū)塊鏈技術(shù)有什么特點(diǎn)?區(qū)塊鏈技術(shù)的前景
這篇文章主要介紹了區(qū)塊鏈技術(shù)有什么特點(diǎn)?區(qū)塊鏈技術(shù)的前景的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹…
2022-12-07 -
區(qū)塊鏈域名是什么意思?通俗解釋區(qū)塊鏈域名的概念/應(yīng)用及特點(diǎn)
這篇文章主要介紹了區(qū)塊鏈域名是什么意思?通俗解釋區(qū)塊鏈域名的概念/應(yīng)用及特點(diǎn)的相關(guān)資料,需要的朋友可以參考下本文詳細(xì)內(nèi)容介紹…
2022-11-23 -
永續(xù)合約有哪些特點(diǎn)?永續(xù)合約可以長期持有嗎?
這篇文章主要介紹了永續(xù)合約有哪些特點(diǎn)?永續(xù)合約可以長期持有嗎?永續(xù)合約類似于一個(gè)保證金現(xiàn)貨市場，因此它的交易價(jià)格接近標(biāo)的物的現(xiàn)貨指數(shù)價(jià)格，這是它與期貨合約不同的地…
2021-05-07
