作為零知識證明的一種特殊應(yīng)用,范圍證明技術(shù)廣泛地應(yīng)用于密碼貨幣、電子投票、匿名憑證等多個場景。這項技術(shù)使得證明者能夠向驗證者證明某一秘密整數(shù)屬于一個給定的連續(xù)整數(shù)區(qū)間,除此之外不泄露其他任何信息。大部分現(xiàn)有的范圍證明方案都是針對基于經(jīng)典的數(shù)論假設(shè)的承諾方案構(gòu)造的,在量子攻擊下不能保證安全性。本文針對串承諾方案,提出了一種構(gòu)造后量子范圍證明方案的新思路,并分別基于Exact Learning Parity with Noise （xLPN）, Small Integer Solution （SIS）和Learning with Errors （LWE）等假設(shè),給出了三類具體的范圍證明方案。此外,文章還提出了一個批承諾方案,并針對該批承諾構(gòu)造了適用于同時處理多個消息的批處理范圍證明方案。該批處理范圍證明方案中,對于多個秘密值分別屬于不同整數(shù)區(qū)間的情況,證明者只需要產(chǎn)生一個證明。與對多個消息逐一生成證明的處理方式相比,批處理的方式有效地節(jié)約了生成證明過程中需要的隨機數(shù)個數(shù),明顯地降低了雙方的通信量和計算量。 

【文章來源】：信息安全學(xué)報. 2020,5(06)CSCD

【文章頁數(shù)】：16 頁


本文編號：3424802