非延展水银承诺方案

来源 :中国科学院研究生院学报 | 被引量 : 0次 | 上传用户:dingyougui1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
水银承诺方案是一般承诺方案的一种有趣变形.水银承诺方案中增加了soft解承诺阶段,soft解承诺阶段所公开的解承诺值不要求绑定性但是不能与真实的解承诺值冲突.讨论了多重非延展水银承诺方案.通常意义的非延展性是指敌手只允许存取一个承诺值,多重非延展性是指敌手可以存取任意数量的承诺值.已有结论说明多重非延展性是严格强于通常非延展性的安全性概念.采用多重非延展性的概念在于水银承诺方案本身固有的性质,给出多重非延展水银承诺方案的概念,以及基于多陷门水银承诺方案的一个具体构造.
其他文献
提出了一种在贴片上加载改进的U形缝隙的新型双频微带天线.该天线结构简单,可以应用在无线局域网802.11b(2.4~2.48GHz)和802.11a(5.150~5.350GHz)的系统中,而且只需简单修改天线尺寸参数,就可
【正】美国教育家布卢姆说过:"一个带着积极情感学习课程的学生,应该比那些缺乏热情、乐趣和兴趣的学生,或者比哪些对学习材料感到焦虑和恐惧的学生,学习得更加轻松,更加迅速
1933年4月,红四方面军政治部主任张琴秋率500余名女红军奉命转运伤员和运输物资。走到苦草坝(今四川通江县境内)时,她们与军阀田颂尧部刘汉雄独立师一个团遭遇。躲,已经来不及,敌人
新课程问题教学法是教师在新课程实施中,通过创设情景,善导问题,引导学生积极主动地在自主、合作、探究地学习过程中努力发现问题、提出问题、探寻解决问题的途径和方法,获得终身
研究了一类具有关联延迟和系统参数不确定的非线性大系统的分散控制问题,系统的匹配,非匹配不确定参数范数有界.首先基于状态观测器设计时延独立的动态输出反馈控制律,并根据Lyap
【正】现代经济学认为,企业生产四大要素是:劳动、资本、土地和企业家才能。后者是最要的。因为企业家是调动劳动、资本、土地进行绘声绘色演出的总导演。然而并不是所有的企
目的:建立脑心肌炎病毒(EMCV)免疫球蛋白 M (IgM )捕获酶联免疫吸附试验(ELISA)检测方法,用于感染 EMCV 血清学早期诊断。方法用抗人 IgM (μ链)单抗进行包被,辣根过氧化物酶(HRP)标记的 E
介绍了等离子体平衡和反演控制算法(EFIT)及其物理含义;用磁体动力学的GradShafranov平衡方程来描述磁通函数.最后,介绍了EFIT算法的主要流程和函数组成.重点介绍了反演算法
利用传统方法很难在计算机上实现差分方程的解析解求解,提出了一种获得差分方程解析解的线性算法,该算法的基础是完全线形变化法。其核心操作为降维处理,对高阶差分方程进行逐次
目的构建小鼠14-3-3ε真核表达载体pcDNA3.1-ZEO-HA-14-3-3ε,并观察其在真核细胞中的表达。方法通过反转录-聚合酶链反应从小鼠肝组织中获得编码14-3-3ε的cDNA,定向克隆至