论文部分内容阅读
给出了比特承诺通道的含义,实现了将比特承诺形式化,并证明了采用比特承诺通道可以实现零知识证明,归纳了实现比特承诺通道的4个方案,提出了基于比特承诺通道实现零知识证明的算法,最后给出了它的一个应用实例.
基于比特承诺通道的零知识证明
【摘 要】
：
给出了比特承诺通道的含义,实现了将比特承诺形式化,并证明了采用比特承诺通道可以实现零知识证明,归纳了实现比特承诺通道的4个方案,提出了基于比特承诺通道实现零知识证明
【机 构】
：
宿州学院,复旦大学
【出 处】
：
兰州大学学报
【发表日期】
：
2005年2期
其他文献
以胺和氨基酸乙酯与氯代乙酰氯反应，合成了Ｎ－烷基（芳基）或Ｎ，Ｎ－二烷基－２－氯乙酰胺和α－氯乙酰氨基酸乙酯二类植物生长调节剂
工笔人物画是各院校中国画专业重点课程之一,但在近年的教学中,大多数院校的教师们因因相袭,照搬着各自老师的教学方法;非但不能有所发展,甚至连其前辈教学中优秀的东西也遗
期刊
目的分析梗阻性无精子症的超声影像表现特征,探讨超声检查在梗阻性无精子症诊断中的应用价值。方法选取我院在2013年3月至2016年3月收治的125例梗阻性无精子症患者作为研究对
夏季的红河大地,日头似火,农家的日子也似火。笔者深入连绵群山之中,和基层干部一起走进生态护林员特殊而平凡的生活世界,感受他们工作和生活的点点滴滴——目之所及皆是繁花
依据谷歌地球提供的影像（Landsat和GeoEye）和野外工作,在ArcGIS平台上利用数字高程模型（ASTER GDEM数据）提取了格仁错断裂带153个亚流域盆地的基本参数,作了面积-高程积分。统计
“”互联网+“助推智能车站建设、营销模式日益多样、抢抓旅游市场培育增长新动力、整合站场资源构筑经营新业态……交运集团(青岛)在推进汽车客运站转型升级方面做了积极尝
本文介绍一种可用于医疗器械控制的单片微机及其编程方法。对于单片控制机的硬件结构及其资源作了概括性说明,并给出了该机外部地址分配。它比较详细地介绍了模拟信号的提取
目的 评估超声引导腹横肌平面阻滞在小儿腹股沟区手术中麻醉和镇痛效果。方法 择期行腹股沟区手术患儿50例,ASAⅠ~Ⅱ级,年龄3~8岁,随机分为单纯全身麻醉组（A组）和超声引导下腹
在传统边界积分公式的基础上运用分步积分等技巧,得到一个适用于求解反平面裂纹问题的新的边界积分方程,积分核只具有1/r阶的奇异性.在裂纹面上以位错密度为未知量,应力强度