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ì)算電路的正確的解（輸入）。