关键词： 馆藏文物信息   区块链   智能合约   资源共享   智慧服务  

摘要： 【目的/意义】文物信息资源具有重要的社会价值,将区块链技术应用于馆藏文物信息资源共享研究中,能够更好地实现文物信息资源的传承与保护。【方法/过程】通过分析目前馆藏文物信息资源共享中使用的区块链技术,采用“联盟链+公有链”的双链结构,构建面向文物馆藏机构和用户群的文物信息资源共享模型,并给出其服务体系和运作流程。【结果/结论】该模型能够安全、便捷、迅速地为相关用户提供智慧服务,同时为馆藏文物机构的信息资源共享提供了一种新的解决思路和方法。【创新/局限】将区块链应用于馆藏文物信息资源共享,改变了馆藏文物机构传统的服务模式。后续将在此基础上优化各个模块的功能,同时加强二者之间的实证性研究,使区块链技术和馆藏文物机构的信息资源服务进行深入融合。

关键词： 电子病历   安全可信   智能合约   医疗系统   区块链技术   联盟链   医院信息化   数据安全  

摘要： 随着医院信息化的发展,越来越多的医院开始着手重点建设智能医疗化电子病历系统,但是,在电子病历等医疗信息数据的存储、访问与管理方面,传统的医疗系统会存在很多问题。区块链技术中的联盟链具有部分去中心化、可控性较强、数据不会默认公开和交易速度很快等特性,能够保护医疗信息数据安全可信同时又能够实现共享。本文针对传统医疗系统在电子病历信息数据方面的痛点,引用联盟链在数据存储中安全可信的特性,提出了一种合理的基于联盟链的安全可信电子病历智能合约设计方法。这种新型的设计方法可以很好的解决目前医疗行业在信息化过程中遇到的数据安全可信与共享方面的难题。

关键词： 河豚供应链   区块链   溯源效率   智能合约  

摘要： 针对河豚供应链环节复杂、监管要求高以及溯源系统信息传递繁杂、数据查询效率低的问题,以提高河豚溯源查询效率和安全性为目的,建立了基于区块链技术的河豚供应链溯源优化模型,并搭建相应系统。首先,对河豚供应链业务供应链信息进行分析,整理并提取供应链各业务环节溯源码信息和产品信息;然后,基于区块链技术建立河豚供应链可信溯源优化模型架构,设计多链的存储模式和快速查询流程并制定相应的智能合约;最后,基于Hyperledger Fabric实现了一种河豚供应链信息溯源系统,并使用Caliper性能测试工具测试。结果表明,在数据记录条数大于1000条后,本文模型查询效率高于传统单链模型,在10000条数据记录上链后,本文模型较传统单链模型查询效率提高约92.9%。以江苏省某河豚企业为例,实现河豚供应链信息安全传递和快速溯源。所提出的模型可以应用到河豚行业从而提高溯源效率和安全性,为河豚行业提供一个防篡改、查询效率高的模型。

关键词： 区块链   智能合约   安全漏洞监测  

摘要： 区块链技术中,智能合约是其中的重要组成,其信息安全对整个区块链技术的发展至关重要。然而由于技术发展的局限性,智能合约安全风险对区块链技术的拓展带来风险。对此,如何改善智能合约安全性,则是当下关键,本文基于此,详细探讨了智能合约安全问题和漏洞检测技术细节,从而为区块链技术的发展提供具体的参考建议。

关键词： 智能合约   形式化方法   区块链   以太坊   程序验证  

摘要： 智能合约是区块链技术应用的一个重要场景,智能合约技术实现了区块链的可编程化,提高了其扩展性,有广阔的应用前景。然而,一系列关于智能合约的安全事件造成了大量经济损失,削弱了人们的信心,安全性问题已经成为制约智能合约进一步发展的关键问题。如果合约设计和代码实现的过程中存在缺陷,可能会造成严重后果。而智能合约发布后无法修改,因此,在智能合约发布前对其正确性做出验证尤为重要。近年来,国内外学者在智能合约的验证领域取得了大量成果,但对这些研究成果的系统分析和总结相对较少。对以太坊的交易过程、gas机制、存储结构、编写语言做了简要介绍,在此基础上调查归纳了智能合约中常见的8种漏洞类型,解释了漏洞产生的原因,回顾了一些真实发生的安全事件并给出了漏洞示例代码;根据不同的技术手段,如符号执行、模型检测、定理证明等,对智能合约的形式化验证工作做分类介绍,分析了各种方法的优劣,并选取了3个开源的自动化验证工具Mythril、Slither和Oyente,从运行效率、检测漏洞类型以及准确率等方面作出实验评估和对比;研究了目前已有的相关综述文章,总结了这些研究的区别与优势;概述了智能合约的漏洞检测技术中仍存在的关键问题,对智能合约验证工作的现状进行了分析和展望,提出了未来能够进一步研究的方向。

关键词： 算力网络   区块链   智能合约   算力交易   数字签名  

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

关键词： 边缘云架构   区块链   分布式存储   智能合约  

摘要： 本文提出了将区块链技术与大数据、智能算法、知识图谱等新兴信息技术相结合,通过边缘云架构的区块链技术平台的分布式存储技术和智能合约监管等关键核心技术,解决大量数据冗余,并在数字乡村、资产管理、应急报送等典型场景中开展广泛的应用,以供各地广电同行参考。

关键词： 车联网   区块链   智能合约   全域集   评估模型  

摘要： 在车联网中车辆与周边道路环境进行无线通信与数据交互,使车辆传感器、行人、道路单元之间实现信息互联,但大量的数据通信导致车辆运行环境复杂,车辆在行驶过程中不可避免地会遇到各种危险场景,从而引发车辆安全问题。为确保车辆数据可信及行车安全,建立基于区块链技术的危险驾驶地图数据评估模型。通过传感器实时记录环境数据,将车辆位置、速度等关键数据以及个人隐私信息加密上链实现交易传输,利用智能合约技术进行自动化脚本处理,随后执行共识将交易信息扩散到全部节点,节点承认交易合法后写入区块链。同时对车辆地图交互数据进行危险评估,并将评级结果及其对应操作反馈给车辆,使得车辆可在障碍物、网络攻击等场景下完成应急处理。实验结果表明,该模型能够根据不同危险场景对车辆进行危险评估与规避,确保车辆安全运行。

关键词： 预付费   小型企业   智能合约   合同执行   个体商户   交易方式   实际操作   约束力  

摘要： 现存的预付费及其衍生应用体系在实际运用中尚存在较为严重的资金安全、合同偏离执行等问题,特别是在小型企业、个体商户所推出的预付费系统中缺乏可实际操作的资金保护手段。传统方式中消费端仅能通过判断商家口碑、信誉等无强制约束力的因素来享受预付费体系的便捷,而缺乏有效手段保护合同执行。

关键词： 区块链   私募基金   信息共享   智能合约   激励机制  

摘要： 为解决私募机构在市场竞争下导致信息封闭、重复劳动力、资源浪费、资产增值化困难的问题,提出私募基金区块链信息共享方案。将联盟链、公有链和智能合约作为低成本底层架构,加密手段和权限认证避免信息泄漏,多方存储和共识机制保证数据的安全和可用,采用贡献度度量信息真实经济价值,作为激励和信息交换的依据,提升信息共享的主动性。经过仿真测试,从系统性能指标和功能方面验证该方案具备可行性。