- 區(qū)塊鏈應(yīng)用開發(fā)指南:業(yè)務(wù)場(chǎng)景剖析與實(shí)戰(zhàn)
- 熊麗兵 董一凡等
- 479字
- 2022-07-28 20:18:10
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ì)算電路的正確的解(輸入)。
推薦閱讀
- 有趣的二進(jìn)制:軟件安全與逆向分析
- Visual Studio 2015 Cookbook(Second Edition)
- Libgdx Cross/platform Game Development Cookbook
- Creating Dynamic UIs with Android Fragments(Second Edition)
- Ceph源碼分析
- The Game Jam Survival Guide
- 深入淺出 Hyperscan:高性能正則表達(dá)式算法原理與設(shè)計(jì)
- 圖數(shù)據(jù)實(shí)戰(zhàn):用圖思維和圖技術(shù)解決復(fù)雜問題
- Hadoop大數(shù)據(jù)開發(fā)案例教程與項(xiàng)目實(shí)戰(zhàn)(在線實(shí)驗(yàn)+在線自測(cè))
- 一本書講透Elasticsearch:原理、進(jìn)階與工程實(shí)踐
- Spark分布式處理實(shí)戰(zhàn)
- 貫通SQL Server 2008數(shù)據(jù)庫系統(tǒng)開發(fā)
- 深入理解InfluxDB:時(shí)序數(shù)據(jù)庫詳解與實(shí)踐
- Expert Python Programming(Third Edition)
- 數(shù)據(jù)賦能