官术网_书友最值得收藏!

3.5 術(shù)語介紹

  • SP——Span Program,采用多項(xiàng)式形式實(shí)現(xiàn)計(jì)算的驗(yàn)證。
  • QSP——Quadratic Span Program,QSP問題,基于布爾電路的NP問題的證明和驗(yàn)證。
  • QAP——Quadratic Arithmetic Program,QAP問題,基于算術(shù)電路的NP問題的證明和驗(yàn)證,相對(duì)于QSP,QAP有更好的普適性。
  • PCP——Probabilistically Checkable Proof,在QSP和QAP理論之前,學(xué)術(shù)界主要通過PCP理論實(shí)現(xiàn)計(jì)算驗(yàn)證。PCP是一種基于交互的、隨機(jī)抽查的計(jì)算驗(yàn)證系統(tǒng)。
  • NIZK——Non-Interactive Zero-Knowledge,統(tǒng)稱“無交互零知識(shí)驗(yàn)證系統(tǒng)”。NIZK需要滿足三個(gè)條件:
    • 〇 完備性(Completeness),對(duì)于正確的解,肯定存在相應(yīng)證明。
    • 〇 可靠性(Soundness),對(duì)于錯(cuò)誤的解,能通過驗(yàn)證的概率極低。
    • 〇 零知識(shí)(Zero Knowledge)。
  • SNARG——Succinct Non-interactive ARGuments,簡潔的、無須交互的證明過程。
  • SNARK——Succinct Non-interactive ARgumentss of Knowledge,相比SNARG,SNARK多了Knowledge,也就是說,SNARK不光能證明計(jì)算過程,還能確認(rèn)證明者“擁有”計(jì)算需要的Knowledge(只要證明者能給出證明就說明證明者擁有相應(yīng)的解)。
  • zkSNARK——zero-knowledge SNARK,在SNARK的基礎(chǔ)上,證明和驗(yàn)證雙方除了能驗(yàn)證計(jì)算外,驗(yàn)證者對(duì)其他信息一無所知。
  • Statement——對(duì)于QSP/QAP和電路結(jié)構(gòu)本身(計(jì)算函數(shù))相關(guān)的參數(shù)。比如說,某個(gè)計(jì)算電路的輸入/輸出以及電路內(nèi)部門信息。Statement對(duì)證明者和驗(yàn)證者都是公開的。
  • Witness——Witness只有證明者知道,可以理解成某個(gè)計(jì)算電路的正確的解(輸入)。

主站蜘蛛池模板: 上犹县| 桐庐县| 秀山| 昌黎县| 丹阳市| 响水县| 宁化县| 雷州市| 临澧县| 洱源县| 田阳县| 福建省| 政和县| 洛阳市| 正宁县| 名山县| 施甸县| 丘北县| 乌什县| 繁峙县| 泸水县| 文安县| 颍上县| 泰安市| 湖南省| 台北县| 平阳县| 德庆县| 正安县| 刚察县| 灌云县| 昌宁县| 越西县| 延津县| 太原市| 祁门县| 古交市| 潜山县| 天祝| 萨迦县| 龙井市|