共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
近年来随着区块链技术的快速发展,以比特币为代表的数字货币受到社会的广泛关注,以以太坊智能合约为代表的链上合约为区块链技术开辟了新领域。借助于智能合约开发人员可以方便地开发各类数字资产、游戏等程序,这些程序运作在区块链上,代码公开透明,数据安全可靠。文章首先介绍智能合约特性及设计原理,然后使用Solidity语言设计了一套基于区块链的投票智能合约,可用于各种社区社团的民主选举或网络投票。 相似文献
3.
周近叶历平倪艺洋焦娇 《中国新通信》2021,(3):37-39
在2008年,由中本聪提出设计的比特币,为人类打开了区块链的大门。2016年,区块链已经成为世界热门技术,生活中越来越多的应用都离不开区块链。智能合约被认为是区块链2.0的代名词之一,在1995年被尼克·萨博首次提出~([1]),受限于当时的技术发展,智能合约并没有得到广泛的应用。随着区块链的发展,智能合约结合区块链技术已经成为许多应用场景的核心技术。本文结合国内外区块链发展的最新趋势,对智能合约的基本特点、关键技术进行了介绍与展望,论述了现有智能合约的应用场景以及存在的问题,为后续对区块链的研究提供参考。 相似文献
4.
在大数据时代下,信息技术不断发展,数据量呈现指数增长的趋势。随着数据对生活和工作中各行各业的渗透,个人数据的安全问题也随之出现。文章分析了个人数据从产生到到交易所面临的挑战,指出了个人数据安全的重要性,最后结合区块链智能合约技术构建了一个去中心化的数据安全平台,并在此基础上提出了一种解决数据安全问题的数据交易方案。 相似文献
5.
6.
当前通过深度学习方法进行区块链智能合约分类的方法越来越流行,但基于深度学习的方法往往需要大量的样本标签数据去进行有监督的模型训练,才能达到较高的分类性能。该文针对当前可用智能合约数据集存在数据类别不均衡以及标注数据量过少会导致模型训练困难,分类性能不佳的问题,提出基于双层孪生神经网络的小样本场景下的区块链智能合约分类方法:首先,通过分析智能合约数据特征,构建了可以捕获较长合约数据特征的双层孪生神经网络模型;然后,基于该模型设计了小样本场景下的智能合约训练策略和分类方法。最后,实验结果表明,该文所提方法在小样本场景下的分类性能优于目前最先进的智能合约分类方法,分类准确率达到94.7%,F1值达到94.6%,同时该方法对标签数据的需求更低,仅需同类型其他方法约20%数据量。 相似文献
7.
8.
9.
智能合约是去中心化生态中的重要组件,它降低了多方合作的信任成本,因而广泛应用于数字货币和金融等领域。智能合约在区块链上自动执行,具有不可修改和不可中止的特性,合约常常持有大量数字资产,一旦存在漏洞就有可能会造成巨大损失。随着智能合约技术的发展,合约漏洞开始从简单的语法漏洞向复杂的逻辑漏洞转变,触发漏洞的条件也可能从单一的交易演变为特定的交易序列。目前,各种针对合约的攻击层出不穷,因此开发出有效的合约漏洞检测工具显得尤为重要。为此,首先介绍了11个著名的智能合约漏洞;然后从静态分析和动态分析2个方面介绍了21个合约漏洞检测技术和工具,并从检测方法、研究对象、检测能力等方面对比这些工具,讨论了它们的优点和不足;最后,结合当前合约的安全现状展望了未来的研究工作。 相似文献
10.
袁政 《信息技术与信息化》2022,(1):187-189
针对代币智能合约的形式化验证方法中模型检测存在的状态空间爆炸问题,提出了一种两段式模型检测方法。使用图转换规则对智能合约建模,利用工具生成模型状态空间。第一阶段对部分状态空间进行分支时序逻辑验证后,第二阶段先使用前一阶段的状态验证信息构造马尔可夫链,使用集束搜索结合马尔可夫链对余下状态进一步筛选,再进行验证。实验结果表明,该方法能够有效减少需验证状态数量,解决状态空间问题,完成合约验证。 相似文献
11.
针对现有测试方法的缺陷,提出了一种基于蜕变测试的区块链智能合约漏洞检测方法,其能针对区块链智能合约中具体的功能生成针对性的测试用例,从而检测区块链智能合约中存在的漏洞。针对可能出现的安全漏洞,设计了不同的蜕变关系并进行蜕变测试。通过验证源测试用例和后续测试用例之间是否满足蜕变关系,判断智能合约是否存在相关的安全漏洞。实验结果表明,所提方法可以有效地检测出智能合约中存在的安全漏洞。 相似文献
12.
13.
智能合约是一种旨在传播、验证或执行合同的计算机协议,允许在没有第三方的情况下进行可信交易。文章对以太坊的Layer-2层机制和现有的第三方方案Polygon的目前进展做了详细介绍,并从链上Layer-1和链下Layer-2两个方面探讨以太网的扩容方案及其优缺点。最后,讨论了目前智能合约平台可扩展性研究存在的挑战及其未来研究方向。 相似文献
14.
目前设计的电力用户窃电电子证据可信存证系统在出现拜占庭节点时,难以实现可信存证。为了解决上述问题,基于区块链技术设计了一种新的电力用户窃电电子证据可信存证系统,对系统的硬件和软件进行实验对比。系统硬件主要设计了采集模块、控制模块、数据存储模块、网络传输模块,采集模块主要设备是Campbell生产的CR800数据采集器,控制器采用TM4C123BE6PZ微控制器,以及AMPHENOL公司生产的MIL-DTL-38999 Ⅲ连接器。利用区块链的链状结构进行可信存证,通过采集窃电电子证据指纹、打包窃电电子证据指纹、验证打包电子证据可信性实现软件流程。实验结果表明,设计的基于区块链技术的电力用户窃电电子证据可信存证系统在出现一个拜占庭节点的情况下,能够很好地实现可信存证。 相似文献
15.
智能合约是一种旨在以信息化方式传播、验证和执行合同的计算机协议。由于智能合约自带金融属性,执行过程中若出现漏洞会给用户及投资者带来较大困扰,因此如何编写安全可靠的智能合约至关重要。针对以太坊环境,对智能合约的漏洞进行了相关的研究和分析,提出了几种可能导致漏洞的常见编程陷阱,包括重入漏洞、整数溢出漏洞、拒绝服务漏洞、未检查call返回值以及短地址/参数攻击漏洞等。并有针对性地对这几种陷阱进行详细的原理分析和场景复现,并给出了相应的规避和解决的方法,提出了在安全模式下智能合约安全问题的解决方案。 相似文献
16.
17.
18.
19.
20.
针对运营商销售佣金结算领域计算过程不透明、结算流程难以追溯、历史信息存证困难等问题,基于区块链技术提出一种销售佣金结算方法,设计区块数据模型,将结算全流程、全要素数据上链存证.设计基于区块链的结算流程,实现智能合约批价、历史结算轨迹追溯查询功能;在实用拜占庭容错算法(PBFT)的基础上,对其鲁棒性进行改进,提出鲁棒拜占庭共识算法(RBFT),提升系统可用性.该方法在"江苏电信区块链一线激励结算平台"上实践应用,解决了"结算流程不清晰"、"不结算原因看不懂"等业务痛点,此外在加强佣金数据存证监管方面也起到了积极作用. 相似文献