請用此 Handle URI 來引用此文件:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/91706
標題: | 格基底整數關係的承諾與證明 Lattice-Based Commit-and-Prove Proofs for Integer Relations |
作者: | 胡政賢 Cheng-Hsien Hu |
指導教授: | 陳君明 Jiun-Ming Chen |
關鍵字: | 整數關係的晶格基底零知識證明協定,ABDLOP承諾計畫,承諾與證明協定,MSIS問題,Extended-MLWE問題, Lattice-based zero-knowledge protocol for integer relations,ABDLOP commitment scheme,Commit-and-prove protocol,MSIS,Extended-MLWE, |
出版年 : | 2024 |
學位: | 碩士 |
摘要: | 在[LNS20]中,作者設計兩個整數關係的晶格基底零知識證明協定,分別是證明第三個秘密整數是另外兩個秘密整數的和,而另一個則是其乘法版本的,然而這兩個協定都要求底層的環擁有多個CRT slots,這導致了無法忽視的可靠度誤差。
依據[LNP22]的基礎,我們建構了兩個零知識協定,用於證明先前所提及的整數問題,而無需對底層的環進行先前的限制。此外,我們將加法版本協定推廣到證明k個整數之和,其中k取決於秘密整數的二進位表示。 關鍵字: 整數關係的晶格基底零知識證明協定、ABDLOP承諾計畫、承諾與證明協定、MSIS問題、Extended-MLWE問題 In [LNS20], the authors designed two zero-knowledge protocols for integer relations. The underlying rings of the two lattice-based protocols possess many CRT slots, which has a negative effect on soundness error. One is for proving that the third secret integer is the sum of two other secret integers, while the other is the multiplicative version. Based on the foundation laid by [LNP22], we construct two zero-knowledge protocols dealing with the original problem without the previous requirement for the underlying ring. Moreover, we generalize the addition protocol from sum of two integers to sum of k integers, dependent of bits representing our secret ones. Keywords: Lattice-based zero-knowledge protocol for integer relations, ABDLOP commitment scheme, Commit-and-prove protocol, MSIS, Extended-MLWE |
URI: | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/91706 |
DOI: | 10.6342/NTU202400442 |
全文授權: | 同意授權(全球公開) |
顯示於系所單位: | 數學系 |
文件中的檔案:
檔案 | 大小 | 格式 | |
---|---|---|---|
ntu-112-1.pdf | 400.2 kB | Adobe PDF | 檢視/開啟 |
系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。