可分电子现金及相关研究

来源 :上海交通大学 | 被引量 : 0次 | 上传用户:yuncat
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着金融互联网的发展,电子现金系统再次获得专家和学者的关注。在最近两年,陆续出现了更加安全,更加实用的可分电子现金方案。可分电子现金,作为电子现金的特例,具有一般电子现金的要求,包括保证用户隐私(匿名性),检测恶意用户(可追踪性),难以被他人伪造(不可伪造性)以及不可重复使用(不可重用性)等要求。目前个别方案已经能做到在标准模型和随机预言机模型下安全,但是在效率上仍不能满足实际使用的要求。本文针对这些问题,特别是在Canard的方案基础上,提出了一个更加高效,基于可信第三方的可分电子现金系统方案,其中减少了公共参数和零知识证明操作。本文研究工作中的主要特点有:1)尝试引入可信第三方,形成由银行、用户、商家和可信第三方组成的可分电子现金系统,并论证了引入第三方的可行性与必要性。2)修改可分电子现金传统模型,在使用过程中(包括消费和提现),为其增加标记,方便在重复性检测中快速索引查找可能构成重复消费或提现的可分电子现金对。本文通过引入第三方,利用第三方的计算能力分担了用户和商家的计算压力,特别是在相关验证操作上。通过标记索引,形成了不确定性的重复检测方法,在大金额的可分电子现金的重复检测操作中,减少了计算复杂度,提高了效率。当金额较大时,该方法带来的不确定性可以忽略不计。总而言之,为解决可分电子现金大金额问题提供了新的思路。
其他文献
对称性缺破算法是分布式算法的一个重要研究方向。近些年来,将核值维护问题作为一类对称性缺破子问题在物理学等领域得到广泛的研究。以往的核值维护算法不能高效地处理顶点加入/删除这种情况下的核值维护问题。在一次算法迭代过程中,基于“匹配”的核值维护算法每个顶点最多只能关联到一条边,基于“优边集”的核值维护算法每个顶点最多只能关联到一条优势边。当一个顶点加入或删除时,与该顶点相关联的边必须通过多次迭代才能处
北大西洋地区除了存在周期为70年左右的AMO(Atlantic Multidecadal Oscillation)之外,历史长期气候记录中英格兰温度(Central England Temperature,CET)与格陵兰冰芯净雪累计率还存在20年的显著周期波动。同时北大西洋副极地海区存在周期为20-30年并呈逆时针旋转的海表面温度(Sea Surface Temperature,SST)模态。本
多数工业机器人应用场合里,机器人的动作需要通过预先示教以及离线编程来指定,加工过程只是简单的重复预先设定的动作。但是工作环境或者工件的位置、大小发生改变时,机器人
零样本学习(Zero-Shot Learning,ZSL)的目的是仅使用可见类样本的视觉特征和语义表示来训练模型,然后将未见类的语义表示作为桥梁,使模型具有识别未见类样本的能力。现有的零
A集团是隶属于国资委管理的特大型中央能源建设企业,从2001年进入伊朗市场以来,先后实施了多个大型水电站和水治理项目。然而,囿于伊朗特殊的政治体制、法律制度等因素,A集团
人体动作检测研究如何让计算机自动地找出视频中发生动作的位置,并识别出动作的类别。它是自动视频分析的一项重要内容,也是计算机视觉研究领域的一个重点研究方向,在智能安防、人机交互和自动驾驶等方面都扮演着非常重要的角色。目前的动作检测方法多是先使用动作候选片段提议方法生成一些候选片段,再对这些候选片段进行调整来得到最后的检测结果,因此动作检测的性能很大程度上取决于动作候选片段的质量。但由于目前的动作候选
PPP模式的推广及快速发展在很大程度上加快了我国基础设施建设的步伐。作为一种政府供给公共产品提供公共服务的新模式,在基建投资领域扮演着越来越重要的角色。伴随着PPP项
近年来,随着我国科技水平的不断提高,建筑工程技术也获得了长足的进步。施工企业的项目管理水平也从粗放式逐渐向信息化、精细化方向过渡。BIM(Building Information Modelin
随着我国化工产业的迅速发展,沿海化工园区已逐步成为集生产、加工、运输、储存、处理为一体的综合性园区。尽管一体化的模式提高了生产效率,但园区也集成了多种易燃、易爆或
推荐系统在现代商业平台中发挥了重要作用,目前已经被广泛应用在各个领域中。其中,会话序列推荐是推荐系统领域的热门问题之一。随着深度学习技术的发展以及会话序列推荐相关