背包问题在硬币抛掷协议上的研究.pdf

第32 卷 第4 期 电 子 科 技 大 学 学 报 Vol.32 No.4 2003 年8 月 Journal of UEST of China Aug. 2003 背包问题在硬币抛掷协议上的研究* 佘 堃** 沈 仟 周明天 ( 电子科技大学计算机科学与工程学院 成都 610054) 【摘要】分析了背包问题的特性，介绍了零知识和公平抛掷协议。通过证明，成功地将背包问题应用在零知 识证明和公正硬币抛掷协议上，通过理论的安全性证明其具有较强的可靠性，并通过零知识证明协议的变体证明 了背包问题的广泛适用性，说明了背包问题不可取代的实用价值。 关 键 词 背包问题; 离散对数问题; 零知识证明; 公正的硬币 中图分类号 TP393.08 文献标识码 A Research of Knapback on Unbiased Coin Cast Protocol She Kun Shen Qian Zhou Mingtian (School of Computer Science and Engineering, UEST of China Chengdu 610054) Abstract In this paper, according to knapback problems characteristics, introduce zero-knowledge proof and unbiased coin cast protocols in theroy, and apply it to zero-knowledge proof and unbiased coin cast sucessfully by proving and analysing. More, we prove it’s security theoretically and prove knapback has broad applicability by the extension of zero-knowledge proof, and so prove practicability of knapback problem with facts. Key words knapback problem; discreption problem; zero-knowledge proof ; unbiased coin cast protocol [1～3] 背包问题是著名的NP完备类困难问题，至今还没有好的求解方法 ，它不能对所有可能穷举搜索，而 且解可能不唯一，这为其在密码体制上的应用奠定了理论数学基础。因背包问题的公钥系统应用存在陷门 设计不足的弱点，故在某些方面没能得到应用，但是背包问题在密码学的零知识证明和公平抛掷协议中具 有无法替代的作用。 1 零知识证明 自文献[4]提出零知识证明概念以来，随后又出现了FFS算法，对密码学拓展和应用影响极大。本文从背 包问题出发，设计了一个零知识证明算法，并给出了一个变体。 1.1 预计算 先选大素数N ，g ，1 g N ，N 是素数，且(N 1) / 2 也为素数，g为N 的本原根。Petry随机选取t个整数 S ,S ,L,S (不用超递增序列) ，计算 1 2 t