【摘 要】
:
区块链是一种点对点的、分布式账本技术,以其比特币应用为著名。以太坊的出现为区块链的应用实现提供了可能性,以太坊(Ethereum)极大地拓展了区块链技术的应用场景,从此之后,使区块链技术不再受限于支付场景,成为了区块链2.0的代表,受到社会广泛关注。由于智能合约安全严重影响着庞大数字资产的安全性,因此,智能合约的安全研究是非常迫切且十分有必要的。随着互联网以及现代密码学技术的发展,网络电子投票以成
论文部分内容阅读
区块链是一种点对点的、分布式账本技术,以其比特币应用为著名。以太坊的出现为区块链的应用实现提供了可能性,以太坊(Ethereum)极大地拓展了区块链技术的应用场景,从此之后,使区块链技术不再受限于支付场景,成为了区块链2.0的代表,受到社会广泛关注。由于智能合约安全严重影响着庞大数字资产的安全性,因此,智能合约的安全研究是非常迫切且十分有必要的。随着互联网以及现代密码学技术的发展,网络电子投票以成本低、失误少、效率高的优势取代了传统的纸质投票方式。然而,电子投票行业由于数据存放在中心数据库,投票数据不够公开透明且容易被篡改伪造,用户隐私信息也存在被泄漏的风险。而区块链作为一种创新型技术,利用其去中心化、不可篡改和准匿名性等特点,可以弥补目前投票系统中的不足,实现投票过程公开透明化、增强投票数据及用户的隐私安全,能够满足人们对于安全电子投票系统的需求。根据现有研究情况,区块链智能合约中存在诸如:重入攻击、短地址攻击、溢出漏洞攻击、分布式拒绝服务攻击等攻击问题,本文详细研究以上四种攻击算法背景、原理、实现和代码分析,并研究了每一个算法合理的解决方案,并实验分析证明了其可行性。另外,本文以以太坊为例,为了研究安全的智能合约,从区块链结构、端到端系统、区块链应用层面进行整体分析,再细化到智能合约的安全性漏洞方面作出了详细的分析研究和模拟实验,基于以太坊设计了一款基于区块链的安全电子投票系统,提出了基于信用积分的激励机制的优化方案。最后,通过三种工具证明了投票合约的安全可行性。本文的主要工作以及成果如下:(1)针对现有电子投票系统的安全性问题,基于以太坊平台,实现了一个安全的电子投票系统。首先,分析了区块链底层原理、以太坊的源码。其次,搭建了以太坊测试网络,测试了不同网络情况下,以太坊的运行规律。然后,在智能合约层面,研究了智能合约漏洞类型以及防御方案。最后,基于Solidity语言,Truffle框架,利用Web3.js实现了与Meta Mask钱包进行前端交互,最终实现了一个安全的的电子投票系统。(2)针对矿工挖矿积极性不高、交易用户体验感较差等问题,本文提出了信用积分激励机制,此积分激励机制可以为系统用户制定统一的标准,为系统中贡献度不同的用户设定不同的用户权限,此举能够有效防止非授权投票和交易池交易拥塞的情况发生,从而提高系统的交易效率和系统安全性。
其他文献
近年来随着社会的进步、半导体产业的进一步发展、工艺制程的成熟,使得器件尺寸朝着摩尔定律的极限方向发展。面对越来越先进的纳米工艺制程,我们在电路设计中需要考虑的效应也越来越多。随着2020年美国对我国集成电路行业的进一步“制裁”,让我们在集成电路制造方面捉襟见肘。面对现在芯片国产替代的潮流,高可靠性大驱动电流运算放大器在驱动领域也扮演着重要的角色。而国内对于运算放大器的研究主要集中在通用类的运算放大
边缘计算和物联网技术随着5G时代的来临加速发展,来自边缘的待处理数据不断增多,边缘节点恐将难以承受庞大的数据量,云边协同应运而生。一方面,云数据中心可以分担边缘节点的负载量;另一方面,云数据中心的高性能可以用于处理边缘节点无法处理的任务。边缘节点主要负责收集数据,并决定在本地处理数据还是调度到云数据中心,而云数据中心适用于数据分析、模型训练和管理边缘节点等非时延敏感型任务。因此,本文针对云边协同环
随着数据中心规模及能耗的快速增长,制定合理的数据中心能效评估方案成为提高和管理数据中心能效需要解决的首要问题。已有事实证明单个指标无法有效衡量数据中心的能效,而不同的数据中心能效指标各有侧重甚至可能会相互矛盾。在数据中心的能效评估中,定性评估有助于决策与管理。其中,评估指标的选择具有极其重要的意义。单个能效评估指标很难有效地评估某个数据中心的能效。当使用多个能效评估指标对数据中心进行能效评估时,一
随着人类对眼部健康的重视,OCT(Optical coherence tomography,OCT)逐渐走入民众跟研究人员的视野。研究人员通常通过视网膜层边界的分割来测量层的厚度变化,从而更好地辅助医务人员进一步分析。然而,人工分割OCT图像视网膜层边界是一项耗时且主观的工作,严重影响了临床诊断的效率和准确性。由于在研究过程中受到视网膜病变情况和图像的噪声的影响,OCT图像视网膜层边界分割仍然存在
隔离型AC-DC矩阵变换器(Isolated AC-DC matrix converter,IAMC)具有能量可双向流动、输入电流正弦、电能转换级数少、直流侧无需大电容和功率密度大等一系列优点,在储能系统、风力发电系统、直流微电网系统、V2G系统、光伏模拟装置系统中广泛应用。为了滤除三相-单相矩阵变换器(Three-phase to single-phase matrix converter,3-
异质结因其优异的性能及在发光二极管、高电子迁移率晶体管和隧穿场效应晶体管等领域的广泛应用成为了目前物理和材料研究领域的焦点之一。基于能带对齐模型,异质结可分为三类,即I型(对称)、II型(交错)和III型(破碎)。然而,有些异质结不属于上述分类。近年来人们还发现新的一类异质结。典型的例子就是La Al O3(LAO)和Sr Ti O3(STO)异质结。虽然LAO和STO都是宽带隙绝缘体,但是当它们
传统网络的设备配置纷繁杂陈、服务器可扩展性差、网络拥挤不堪等问题使其不能跟上自由管理、高效运行的网络更新理念。软件定义网络(SDN)的概念一经面世就因其打破传统分布式网络日益繁重冗余的运作模式而引起业内轩然大波,富有创造性的提出集中控制器与数控解耦合的思想。集中控制层使得网络管理员能够灵活便捷的实时检测网络状态情况、更高效快速地部署新的网络设备以及升级老旧网络设备、更敏捷地对用户发来的各类请求服务
近年来,在智能教育相关政策的强力驱动下,主观题自动评分算法的研究在“人工智能+教育”的背景下具有实用价值和重要意义。算法能够帮助降低因打分老师主观因素造成的评分差距,并以此提高评分公平性,很好地为教学工作者减负,同时能够简化考试过程,提高在线教育平台的作业效率。主观题在思政课程中尤为常见,因此本文针对思政类主观题的自动评分算法展开了深入研究。过去的工作大多只是简单地将学生答案与标准答案的两个长文本
带性能的布局约束问题有广泛的应用领域,如卫星舱配置装填问题、钢材企业的钢坯切割问题、管道布局、工业厂房及设备布局设计,属于NP-hard问题。本文是以卫星舱载荷装填问题为研究背景,主要研究三维空间中,规则物体如何放置在四个轴承板上,在给定的约束条件下,整个布局方案的转动惯量和包络半径要尽可能的小。目前,主要有随机初始点的演化算法和启发式可行方案构造与群智能优化装填顺序的混合算法。前者搜索空间大和干
光电子技术是新时代信息产业的核心技术,对国家发展战略和人民生活生产有着重要影响。二维(2D)材料作为纳米材料的分支,具有许多优点,为光电探测器、光电和电子晶体管领域的发展提供了一个充满希望的平台,发展迅速。其中,二维MoS2材料因其带隙可调、具有高载流子迁移率、加工方法丰富等特点,非常适合开发各类特殊应用场景的光电器件。从原始MoS2材料,到利用物理调控、化学掺杂、界面耦合效应、等离子体等方法对M