关键词： 区块链   智能合约   以太坊   漏洞检测   自动化工具  

摘要： 智能合约是区块链技术最成功的应用之一,为实现各式各样的区块链现实应用提供了基础,在区块链生态系统中处于至关重要的地位.然而,频发的智能合约安全事件不仅造成了巨大的经济损失,而且破坏了基于区块链的信用体系,智能合约的安全性和可靠性成为国内外研究的新关注点.首先从Solidity代码层、EVM执行层、区块链系统层这3个层面介绍了智能合约常见的漏洞类型和典型案例;继而,从形式化验证法、符号执行法、模糊测试法、中间表示法、深度学习法这5类方法综述了智能合约漏洞检测技术的研究进展,针对现有漏洞检测方法的可检测漏洞类型、准确率、时间消耗等方面进行了详细的对比分析,并讨论了它们的局限性和改进思路;最后,根据对现有研究工作的总结,探讨了智能合约漏洞检测领域面临的挑战,并结合深度学习技术展望了未来的研究方向.

关键词： 智能合约   信用抵押   信用价值   交易模型  

摘要： 为营造良好的市场交易氛围,在交易过程中可引入智能合约。基于智能合约自动执行、不可篡改的特点建立信用抵押交易,既不造成资产占用,又具有较强的执行力,用新兴技术解决传统制度难以解决的信用难题。一是基于Fabric联盟链,搭建智能合约信用抵押交易体系,并制定交易规则。二是针对信用交易失灵问题,设置强激励的交易信用函数,构建刚性约束的信用抵押智能交易模型,以“廉价”的信用资产抵押降低交易成本,以“昂贵”的信用丧失代价吓阻违约行为,促使交易双方自觉、自动执行合约。该智能交易模型具有强激励性,随着交易次数的不断累积增加,信用抵押占比亦随之逐渐增加,并最终趋于完全信用抵押的理想状况。

关键词： 智能合约   版权   合理使用   图书馆  

摘要： 文章指出智能合约具有代码规范性、自动执行性、不可篡改性的特点。自然语言形式的格式版权许可协议转化为代码形式、可自动执行的智能合约,导致图书馆利用版权合理使用规则的空间进一步缩减。图书馆有必要充分利用智能合约的缔约磋商机制、解释机制、反要约机制、对冲合约机制和预言机机制积极应对新技术发展,保障图书馆版权合理使用权益。

关键词： Web3.0   区块链   数字版权   智能合约  

摘要： 随着信息技术的发展,数字文化作品市场日益繁荣,然而技术的进步一方面使侵权盗版现象日益猖獗,数字版权保护陷入困境;另一方面,少数平台运营商凭借寡头垄断优势获取了数字文化作品的大部分交易利润,使作者获得的收益与作品的价值不成正比,严重影响了作者的创作热情和学术环境的健康发展。而Web3.0技术为数字版权保护和分享带来了机遇。文章简要介绍了互联网技术的发展历程和Web3.0的核心技术,分析了Web3.0技术在数字版权保护及资源共享中的价值和存在的问题,在此基础上提出基于Web3.0技术完善数字版权保护及共享模式的框架设计。

关键词： 电力零售交易   区块链   双边交易   智能合约   交易平台  

摘要： 随着电力市场化持续深化改革,电力零售市场亟需规范可信的分布式交易业务体系和安全高效的线上信息支撑平台,以推动电力零售市场健康发展。为此,提出基于区块链的电力零售平台系统及链上业务流程。首先研究了电力零售交易竞争模型,在此模型下设计了链上零售双边交易业务流程,实现业务全流程链上留痕、订单合同链上存储;然后设计了电力零售区块链功能及技术架构,结合区块链访问控制规则和智能合约,保障用户及交易数据的隐私性和可追溯性;最后对电力零售业务区块链平台进行部署运行和性能测试,验证了平台设计的合理性和有效性。

关键词： 区块链   供应链金融   数据存证   星际文件系统   智能合约  

摘要： 在供应链体系中,金融数据是企业能否获得融资的重要数据.然而现有的供应链体系采用中心化的管理模式,供应链中各参与方之间信息不对称,数据可能遭到篡改,如何搭建一个可信数据存证平台成了巨大的挑战.针对这一问题,提出基于区块链的供应链金融数据存证模型,为供应链各方提供可信数据.首先,结合星际文件系统对供应链金融关键数据进行链上链下存储,减轻区块链大文件存储负担,提高存储效率;其次,提出双链架构,并设计智能合约实现链上数据存储和访问;最后,在联盟链平台搭建模型,验证所提模型的有效性和效率.实验结果表明,该模型存储效率较高,适用于供应链金融数据存证场景.

关键词： 区块链技术   供应链   融资   金融   智能合约  

摘要： 区块链技术在创新供应链金融中具有保持信息通畅、保障信息安全以及强化风险管控等优势,因此,区块链技术在供应链金融领域的运用,能够有效解决供应链金融数据信息不流畅、不透明问题,从而保证数据安全,提升供应链金融风险防控能力,健全供应链金融监管系统,营造区块链+供应链金融的新生态,显著提升供应链运行质量和效率。而做好基于区块链技术的供应链金融创新,主要是做好融资创新、金融业务创新两个方面的管理,并通过做好多方协同工作、强化行业标准和法律建设、加强人才培养和技术创新、强化信用评级和主体遴选等举措,发挥区块链技术优势以实现供应链金融的快速落地和健康发展。

关键词： 联盟链   数据交易   群签名   可追溯性   智能合约  

摘要： 为解决区块链数据交易中用户身份等隐私数据泄露问题,提出一种基于联盟链和群签名的数据资产交易方案。采用联盟链节点准入机制实现注册用户的身份认证,引入可链接群签名技术实现用户交易的匿名性和交易记录的可追溯性,通过智能合约正确执行链上数据公平交换策略。最后对所提出的方案进行理论分析和仿真实验,表明该方案可以实现更加安全高效的去中心化数据交易。

关键词： 区块链技术   区块链+人社   共识机制   智能合约  

摘要： 随着区块链技术的不断发展,区块链在人社业务中的应用也越来越广泛。区块链作为一种新兴技术,具有去中心化、不可篡改、可追溯、高安全性等特性,可提升人社业务的线上服务质量,满足数据共享、协同服务、监管等需求。然而,区块链技术目前在人社业务中的应用才刚起步,是否能满足统一规划建设、数据存储及兼容等技术要求,以及合理选用业务场景等需求,仍有待进一步探索。首先对区块链技术在人社业务中的应用进行研究,分析当前人社业务存在的问题,并对在人社业务某一具体场景中应用区块链技术进行初步探索,接着分析区块链与人社业务深度融合面临的挑战,并展望区块链技术在人社业务应用的发展前景,以期为相关部门提供参考。

关键词： 网页防篡改   篡改检测   区块链   智能合约  

摘要： 本文针对现有高校门户网站篡改检测技术在检测基准被篡改时会面临失效的问题,利用区块链技术数据不可篡改的优势,提出一种高效可靠的网站页面篡改检测方法。该方法设计满足高校联盟特点的联盟链结构,将门户网站数字指纹存储到高校联盟区块链上,实现检测基准数据的完整性保护,并提供智能合约对被监测网页内容进行篡改行为检测。