交互式零知识证明的哲学意义

发布时间：2018-10-17 14:19

【摘要】：交互式零知识证明是数学实践发展中的产物,对传统的数学证明理论具有挑战性。在数学哲学上它具有数学方法论和认识论意义;在科学哲学上对科学理论具有重要的启发性意义;它丰富了知识论中认识来源的理论,凸现了证明的说服与提振信念的功能,区分了证明与理解;它对复杂性理论与思维的发展也具有重要的理论意义。
[Abstract]:Interactive zero knowledge proof is the result of the development of mathematical practice, which is challenging to the traditional mathematical proof theory. It has the significance of mathematical methodology and epistemology in the philosophy of mathematics; it has important enlightening significance to the theory of science in philosophy of science; it enriches the theory of the source of cognition in the theory of knowledge, and highlights the function of persuasion of proof and the promotion of belief. It also has important theoretical significance for the development of complexity theory and thinking.
【作者单位】： 湘潭大学哲学系;
【分类号】：O1-0

【相似文献】

相关期刊论文 前10条

1 罗文俊,李祥;双向零知识证明与初等函数两方保密计算[J];贵州大学学报(自然科学版);2004年01期

2 赵丽敏;;基于零知识证明的身份认证解决方案[J];中国科技信息;2007年12期

3 韩德;李慧珍;戚英华;;可判定条件下的零知识证明[J];装甲兵工程学院学报;2009年02期

4 王春生,王秀友;一种基于代理签名的零知识证明[J];阜阳师范学院学报(自然科学版);2005年03期

5 霍素芳;闫凤利;;群组中实现的量子零知识证明[J];河北师范大学学报(自然科学版);2008年01期

6 张引兵;王慧;;零知识证明协议研究[J];赤峰学院学报(自然科学版);2014年07期

7 徐明,韩维;一个基于交互式零知识证明的身份鉴别协议[J];徐州师范大学学报(自然科学版);2002年01期

8 李立;李红达;李宝;;公平的知识签名[J];武汉大学学报(理学版);2008年05期

9 朱洪武;;具有数字签名的零知识证明协议及其分析[J];成都大学学报(自然科学版);2007年01期

10 唐春明,刘卓军;基于离散对数的Blum整数的统计零知识证明(英文)[J];湘潭大学自然科学学报;2005年02期

相关会议论文 前3条

1 王郁武;詹佑邦;;零知识证明的量子身份认证协议[A];第十五届全国原子与分子物理学术会议论文摘要集[C];2009年

2 张毅;周鹏;;一种基于ELGamal签名和零知识证明的双向认证方案[A];全国第22届计算机技术与应用学术会议(CACIS·2011)暨全国第3届安全关键技术与应用（SCA·2011）学术会议论文摘要集[C];2011年

3 宋浩;;零知识证明——一种新的身份验证方法[A];第三次全国计算机安全技术交流会论文集[C];1988年

相关博士学位论文 前4条

1 李睿;零知识证明及承诺协议的不可延展性研究[D];山东大学;2012年

2 丁宁;精确零知识证明系统研究[D];上海交通大学;2009年

3 赵运磊;广义公钥模型下并发及可重置的零知识证明系统[D];复旦大学;2004年

4 颜俊;量子零知识交互证明的相关研究[D];中国科学技术大学;2012年

相关硕士学位论文 前10条

1 王佳;基于CL匿名凭证系统的属性证明协议的研究与实现[D];东北大学;2014年

2 张引兵;零知识证明及其应用研究[D];淮北师范大学;2011年

3 王兰兰;基于非交互式零知识证明的匿名签名方案的研究[D];东北大学;2011年

4 刘彦龙;RFID零知识证明协议研究[D];天津大学;2014年

5 汪存燕;基于椭圆曲线零知识证明的身份认证系统的研究和实现[D];上海师范大学;2010年

6 秦波;零知识证明与数字签名理论的研究[D];西安理工大学;2003年

7 曾娜;全无泄露的位承诺协议与不可否认数字签名方案研究[D];江西师范大学;2008年

8 赵美艳;基于零知识证明的XML多重数字签名技术在电子公文中的应用研究[D];暨南大学;2005年

9 周先存;基于零知识证明和离散对数的认证机制的研究[D];合肥工业大学;2004年

10 王旭;云环境下面向用户的远程证明方案[D];河北大学;2015年

，

本文编号：2276955