区块链技术在银行不良资产存证取证中的应用

针对信贷不良资产清收中信息存储、获取存在的问题,该文以区块链技术为基础,构建出银行不良资产体系架构,并对策略层进行全面分析与研究,首先提出一种以公有链与私有链相结合,以侧链为辅助的存证方法,然后提出使用智能合约或区块编码规则的取证方法,最后实验表明从存证、取证两个方面提供对策和应用策略,对不良资产的评估准确率提高了50...     

基于智能合约的投票方案的设计与研究

近年来随着区块链技术的快速发展,以比特币为代表的数字货币受到社会的广泛关注,以以太坊智能合约为代表的链上合约为区块链技术开辟了新领域。借助于智能合约开发人员可以方便地开发各类数字资产、游戏等程序,这些程序运作在区块链上,代码公开透明,数据安全可靠。文章首先介绍智能合约特性及设计原理,然后使用Solidity语言设计了一套基于区块链的投票智能合约,可用于各种社区社团的民主选举或网络投票。     

智能合约研究综述

在2008年,由中本聪提出设计的比特币,为人类打开了区块链的大门。2016年,区块链已经成为世界热门技术,生活中越来越多的应用都离不开区块链。智能合约被认为是区块链2.0的代名词之一,在1995年被尼克·萨博首次提出~([1]),受限于当时的技术发展,智能合约并没有得到广泛的应用。随着区块链的发展,智能合约结合区块链技术已经成为许多应用场景的核心技术。本文结合国内外区块链发展的最新趋势,对智能合约的基本特点、关键技术进行了介绍与展望,论述了现有智能合约的应用场景以及存在的问题,为后续对区块链的研究提供参考。     

基于区块链智能合约的数据安全平台设计与实现

在大数据时代下,信息技术不断发展,数据量呈现指数增长的趋势。随着数据对生活和工作中各行各业的渗透,个人数据的安全问题也随之出现。文章分析了个人数据从产生到到交易所面临的挑战,指出了个人数据安全的重要性,最后结合区块链智能合约技术构建了一个去中心化的数据安全平台,并在此基础上提出了一种解决数据安全问题的数据交易方案。     

区块链电子存证系统的设计与实现

文中介绍了区块链技术在电子证据存证方面的应用。通过将需要的电子证据以交易的形式记录下来,并明确记录时间戳,然后将记录存储在节点账本中。利用分布式数据存储技术完成电子存证过程,区块链技术可以实现不可篡改的信息存取和交换,有效保证电子数据的安全性和可信性。文中还探讨了区块链技术在降低处理电子证据时的技术风险和存储成本以及其对司法机构的协助作用。     

基于双层孪生神经网络的区块链智能合约分类方法

当前通过深度学习方法进行区块链智能合约分类的方法越来越流行,但基于深度学习的方法往往需要大量的样本标签数据去进行有监督的模型训练,才能达到较高的分类性能。该文针对当前可用智能合约数据集存在数据类别不均衡以及标注数据量过少会导致模型训练困难,分类性能不佳的问题,提出基于双层孪生神经网络的小样本场景下的区块链智能合约分类方法：首先,通过分析智能合约数据特征,构建了可以捕获较长合约数据特征的双层孪生神经网络模型;然后,基于该模型设计了小样本场景下的智能合约训练策略和分类方法。最后,实验结果表明,该文所提方法在小样本场景下的分类性能优于目前最先进的智能合约分类方法,分类准确率达到94.7%,F1值达到94.6%,同时该方法对标签数据的需求更低,仅需同类型其他方法约20%数据量。     

面向医疗样品跟踪系统的智能合约设计与部署

医疗样品的信息安全一直是医疗界关注的话题,确保医疗样品的安全性是保证其正常使用的基础。目前,医疗样品路径信息的安全性仍然无法保证,对医疗样品从生产到使用整个流程的追踪是必不可少的。分析传统医疗样品信息系统不足,并构建基于区块链的医疗样品追踪系统,重点解决了医疗样品从生产到使用整个过程中的流向问题,保证了其路径信息的安全性和可追溯性,整个过程对医疗站点透明公开,大大避免了医疗样品数量和质量问题。     

基于区块链的智能合约在网贷中的应用研究

区块链技术是颠覆式的新技术,它在金融、共享经济、物联网等方面存在很高的应用价值。基于区块链技术使得智能合约得以在现实场景中实现。本文介绍了通过基于区块链技术的智能合约实现安全网贷的方案。该方案的实现使得个人和小微企业可能享受到目前只有大、中型企业才能享有的金融服务。给个人创业和小微企业发展壮大提供了无限的可能。     

智能合约安全漏洞及检测技术综述

智能合约是去中心化生态中的重要组件,它降低了多方合作的信任成本,因而广泛应用于数字货币和金融等领域。智能合约在区块链上自动执行,具有不可修改和不可中止的特性,合约常常持有大量数字资产,一旦存在漏洞就有可能会造成巨大损失。随着智能合约技术的发展,合约漏洞开始从简单的语法漏洞向复杂的逻辑漏洞转变,触发漏洞的条件也可能从单一的交易演变为特定的交易序列。目前,各种针对合约的攻击层出不穷,因此开发出有效的合约漏洞检测工具显得尤为重要。为此,首先介绍了11个著名的智能合约漏洞;然后从静态分析和动态分析2个方面介绍了21个合约漏洞检测技术和工具,并从检测方法、研究对象、检测能力等方面对比这些工具,讨论了它们的优点和不足;最后,结合当前合约的安全现状展望了未来的研究工作。     

一种代币智能合约的两段式模型检测方法

针对代币智能合约的形式化验证方法中模型检测存在的状态空间爆炸问题,提出了一种两段式模型检测方法。使用图转换规则对智能合约建模,利用工具生成模型状态空间。第一阶段对部分状态空间进行分支时序逻辑验证后,第二阶段先使用前一阶段的状态验证信息构造马尔可夫链,使用集束搜索结合马尔可夫链对余下状态进一步筛选,再进行验证。实验结果表明,该方法能够有效减少需验证状态数量,解决状态空间问题,完成合约验证。     

基于蜕变测试的区块链智能合约漏洞检测方法

针对现有测试方法的缺陷,提出了一种基于蜕变测试的区块链智能合约漏洞检测方法,其能针对区块链智能合约中具体的功能生成针对性的测试用例,从而检测区块链智能合约中存在的漏洞。针对可能出现的安全漏洞,设计了不同的蜕变关系并进行蜕变测试。通过验证源测试用例和后续测试用例之间是否满足蜕变关系,判断智能合约是否存在相关的安全漏洞。实验结果表明,所提方法可以有效地检测出智能合约中存在的安全漏洞。     

基于区块链智能合约的共享停车模式与系统研究

随着城市化进程的不断加快，国内家用汽车保有量持续攀升，停车资源的供需矛盾日益凸显，传统的停车方式已经无法满足市民出行停车需求。共享停车是在不大规模新增停车资源的前提下，通过时空错位的共享方式满足市民停车需求的一种新的解决思路。然而，在现有共享停车的实践过程中，由于停车位资源供给与收益脱节带来的诸多问题阻碍了共享停车的发展，难以发挥共享停车模式的效能。本文探索了基于区块链智能合约的共享停车模式和思路，有望解决共享停车资源供给与收益脱节的问题。     

智能合约平台的可扩展性研究

智能合约是一种旨在传播、验证或执行合同的计算机协议,允许在没有第三方的情况下进行可信交易。文章对以太坊的Layer-2层机制和现有的第三方方案Polygon的目前进展做了详细介绍,并从链上Layer-1和链下Layer-2两个方面探讨以太网的扩容方案及其优缺点。最后,讨论了目前智能合约平台可扩展性研究存在的挑战及其未来研究方向。     

基于区块链技术的电力用户窃电电子证据可信存证系统设计

目前设计的电力用户窃电电子证据可信存证系统在出现拜占庭节点时,难以实现可信存证。为了解决上述问题,基于区块链技术设计了一种新的电力用户窃电电子证据可信存证系统,对系统的硬件和软件进行实验对比。系统硬件主要设计了采集模块、控制模块、数据存储模块、网络传输模块,采集模块主要设备是Campbell生产的CR800数据采集器,控制器采用TM4C123BE6PZ微控制器,以及AMPHENOL公司生产的MIL-DTL-38999 Ⅲ连接器。利用区块链的链状结构进行可信存证,通过采集窃电电子证据指纹、打包窃电电子证据指纹、验证打包电子证据可信性实现软件流程。实验结果表明,设计的基于区块链技术的电力用户窃电电子证据可信存证系统在出现一个拜占庭节点的情况下,能够很好地实现可信存证。     

以太坊智能合约安全漏洞分析及对策

智能合约是一种旨在以信息化方式传播、验证和执行合同的计算机协议。由于智能合约自带金融属性,执行过程中若出现漏洞会给用户及投资者带来较大困扰,因此如何编写安全可靠的智能合约至关重要。针对以太坊环境,对智能合约的漏洞进行了相关的研究和分析,提出了几种可能导致漏洞的常见编程陷阱,包括重入漏洞、整数溢出漏洞、拒绝服务漏洞、未检查call返回值以及短地址/参数攻击漏洞等。并有针对性地对这几种陷阱进行详细的原理分析和场景复现,并给出了相应的规避和解决的方法,提出了在安全模式下智能合约安全问题的解决方案。     

基于智能合约与区块链的算力交易机制

针对算力交易这一关键问题,结合智能合约与区块链技术,提出了一种去中心化、去平台化的的算力资源交易的机制。首先,以区块链技术为基础构建算力交易的框架,并充分考虑对算力交易潜在攻击的防御保护;其次,算力交易过程引入智能合约,实现去平台化后各个节点协调统一的交易流程和一致性机制;最后,算力用户对算力资源的服务评价可通过智能合约生产出服务质量评分区块,完善算力交易的整个过程。     

智能合约的形式化验证方法研究综述

形式化方法是在安全关键软件系统中被广泛采用而有效的基于数学的验证方法,而智能合约属于安全关键代码,采用形式化方法验证智能合约已经成为热点研究领域.本文对自2015年以来的47篇典型相关论文进行了研究分析,对技术进行了详细的分类研究和对比分析;对形式化验证智能合约的过程中使用的形式化方法、语言、工具和框架进行综述.研究表...     

基于深度学习的区块链蜜罐陷阱合约检测

针对当前检测方法准确率不高以及模型泛化性较差的问题,提出了基于KOLSTM深度学习模型的蜜罐陷阱合约检测方法.首先,通过分析蜜罐陷阱合约的特点,提出了关键操作码的概念,并设计了可用于选取智能合约中关键操作码的关键词提取方法;其次,在传统的LSTM模型中加入关键操作码权重机制,构建了可以同时捕获蜜罐陷阱合约中隐藏的序列特...     

基于零知识证明的跨链隐私智能合约

针对跨链智能合约的代码和数据在跨链交易中公开披露用户隐私信息的情景,设计具有隐私保护功能的跨链智能合约,该合约中每一个函数所涉及的用户隐私信息,将被用户加密后作为函数参数输入,同时引入零知识证明电路,用于证明用户输入密文的正确性。在合约执行过程中,合约调用者通过输入公共参数和隐私参数密文发起合约调用请求,跨链隐私智能合约的验证节点使用零知识证明电路来验证用户输入信息的正确性并执行智能合约,从而在保护用户隐私信息的同时确保智能合约的正确执行。     

基于区块链的销售佣金结算方法

针对运营商销售佣金结算领域计算过程不透明、结算流程难以追溯、历史信息存证困难等问题,基于区块链技术提出一种销售佣金结算方法,设计区块数据模型,将结算全流程、全要素数据上链存证.设计基于区块链的结算流程,实现智能合约批价、历史结算轨迹追溯查询功能;在实用拜占庭容错算法(PBFT)的基础上,对其鲁棒性进行改进,提出鲁棒拜占庭共识算法(RBFT),提升系统可用性.该方法在"江苏电信区块链一线激励结算平台"上实践应用,解决了"结算流程不清晰"、"不结算原因看不懂"等业务痛点,此外在加强佣金数据存证监管方面也起到了积极作用.