零知識證明系統（zero-knowledge proof system）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。
零知識證明系統（zero-knowledge proof system）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義一個互動式證明系統同時還滿足如下條件：實質上...
零知識證明系統包括兩部分：宣稱某一命題為真的示證者(prover)和確認該命題確實為真的驗證者(verifier)。證明是通過這兩部分之間的互動來執行的。在零知識協定的結尾，驗證者只有當命題為真時才會確認。但是，如果示證者宣稱一個錯誤的...
（2） 在國際上首次闡述和定義公鑰環境下並發知識抽取概念，並在廣義公鑰（bare public-key）模型下實現常數輪的並發知識可抽取的並發和可重置零知識證明系統。這方面的創新研究開創了公鑰密碼協定研究的新領域。該方向工作發表於歐洲理論...
IPP跟QIP都是給予檢驗者更多的能力，但是一個compIP系統（competitive IP proof system）則是將證明者減弱如下：完備性：如果一個字元串在語言L裡面，則誠實的驗證者會有至少2/3的機率被誠實的證明者說服。零知識證明 零知識證明是一種...
本課題擬採用現代密碼學與安全協定構造技術，在互動式證明系統（IPS）框架內探討外援數據完整性驗證中的基本密碼學問題，包括：採用零知識證明（ZKP）系統研究外援數據驗證中的數據隱私保護問題；採用多證明者的零知識證明（MP-ZKP）研究...
8.2.2互動式證明系統的定義209 8.2.3互動式證明系統的零知識性209 8.2.4非互動式證明系統212 8.2.5適應性安全的非互動式零知識證明213 8.2.6零知識證明協定的組合213 8.2.7圖的三色問題的零知識證明214 8.2.8知識證明...
期間重要的發現包括：對隨機算法的去隨機化（derandomization）的研究，對近似算法的不可近似性（hardness of approximation）的研究，以及互動式證明系統（Interactive proof system）理論和零知識證明（Zero-knowledge proof）等。特別的複雜性...
在國際上首次闡述和定義公鑰環境下並發知識抽取概念，並在廣義公鑰（bare public-key）模型（其為套用於密碼系統的最弱setup模型）下實現常數輪的並發知 識可抽取的並發和可重置零知識證明系統。在國際上首次實現了輪數最優的且基於任何...
(30) 唐春明，劉卓軍，證明一個秘密多項式是t次的統計零知識證明系統，通訊和計算機，3（10），22-27，2006 (31) Chunming Tang, Yanmeng Zhao. Identity-basedundeniablesignatures from bilinear pairngs, 深圳大學學報，23(1)，85-...
比特幣的挖礦與節點軟體主要是透過點對點網路、數字簽名、互動式證明系統來進行發起零知識證明與驗證交易。每一個網路節點向網路進行廣播交易，這些廣播出來的交易在經過礦工（在網路上的計算機）驗證後，礦工可使用自己的工作證明結果來表達...
比特幣的挖礦與節點軟體主要是透過對等網路、數位簽章、互動式證明系統來進行發起零知識證明與驗證交易。每一個網路節點向網路進行廣播交易，這些廣播出來的交易在經過礦工（在網路上的電腦）驗證後，礦工用自己的工作證明結果來表達確認，確...
5.1.2 成員的零知識論證系統 5.1.3 對NP語言的零知識證明系統 5.1.4 知識的零知識證明 5.1.5 知識的證明/論證系統 5.2 非互動零知識證明理論 5.2.1 非互動證明系統 5.2.2 非互動零知識證明 5.2.3 公開可驗證的非...
