Please use this identifier to cite or link to this item:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/21119
Title: | 關於零知識證明的探討及其在區塊鏈系統上之應用 On the Zero-Knowledge Proof and its Application in Blockchain |
Authors: | Ting-Yuan Cheng 程鼎元 |
Advisor: | 廖世偉 |
Co-Advisor: | 鄭振牟 |
Keyword: | 密碼學,零知識證明,二次算術程式,一階約束系統,編譯器,可驗證計算,非交互式簡潔知識證明, Cryptography,Zero-knowledge proof,Quadratic arithmetic programs,Rank-1 constraint system,Compiler,Verifiable computation,SNARKs, |
Publication Year : | 2019 |
Degree: | 碩士 |
Abstract: | 區塊鏈技術可以在分散的不受信任的各方之間達成共識,而零知識證明可以增進區塊鏈上的隱私。透過零知識證明,任何人可以證明一條特定的敘述是正確的,而不會洩漏保密的資訊。但是,通常必須將該敘述轉換為特定的形式,即Rank-1約束系統,才能在已廣泛被採用的系統中使用。轉換的效率決定了公共參考字串(CRS)的大小以及證明該敘述所需的運算量。 更具體地說,為了最大程度地減少R1CS中的約束數量,我們優化了布林函式和動態陣列訪問操作,它們廣泛用於加密和可驗證計算中。本文並介紹數個建構於區塊鏈系統上之零知識應用。 Blockchain technology can reach consensus between decentralized untrusted parties, and zero-knowledge proof can enhance the privacy on the blockchain. By zero-knowledge proof, one can prove that a particular statement is true without leaking other information. However, a general statement must be converted to a specific circuit form, Rank-1 constraint system, typically, to use in the above mechanism. The efficiency of the conversion determines the size of the common reference string (CRS) and the resources it takes to prove the statement. More specifically, to minimize the number of constraints in R1CS, we optimized boolean functions and dynamic array accessing operations, which are widely used in cryptography and computational verification. |
URI: | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/21119 |
DOI: | 10.6342/NTU201904438 |
Fulltext Rights: | 未授權 |
Appears in Collections: | 資訊工程學系 |
Files in This Item:
File | Size | Format | |
---|---|---|---|
ntu-108-1.pdf Restricted Access | 351.03 kB | Adobe PDF |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.