关键词： 区块链   可搜索加密   身份认证   完整性检查   智能合约   星际文件系统   格  

摘要： 为解决传统电子病历存储方案共享难、数据易篡改和隐私泄露问题,为此构建一种基于区块链的电子病历可搜索加密存储、高效共享与可验证方案。通过使用简洁非交互零知识证明(zero-knowledge succinct non-interactive arguments of knowledge,zk-SNARKs)构建用户身份认证系统,提高用户身份的隐私性,匿名性。通过提出基于改进Merkle树的格可搜索加密方案,实现电子病历的可搜索加密与验证方案;并在此基础上通过智能合约构造搜索方案的双重验证。通过将相应的加密数据外包到星际文件系统(interplanetary file system,IPFS)以降低存储成本。通过实验对加密算法性能、智能合约时间和花费开销、链下存储性能进行仿真测试。验证了该系统能够满足电子病历系统应用需求,并提高了数据完整性、搜索效率性和身份保密性。

关键词： 区块链技术   智能合约   交易风险   聚类分析   聚类模型  

摘要： 常见的聚类分析模型受到分布式清洁能源接入模式的冲击,内部数据容易被篡改,模型安全性较低。对此,提出基于区块链技术的绿证智能合约交易风险聚类分析模型。引入区块链技术,改变交易信息的哈希结构,将同时生成的区块链证书记入区块链数据库中,作为信息不可篡改的凭证,用于信任认证;设计智能合约响应机制,实现区块链数据的信任认证,在认证完成后,投影区块链数据,完成区块链数据的聚类处理;以聚类结果为依据,构建决策树风险分析模型。实验结果表明,在面对分布式清洁能源接入模式的冲击时,该模型内部数据安全,没有被篡改,安全评估值在4.5以上,自身的安全性得到了提高。

关键词： 数据共享   访问控制   区块链   策略隐藏   智能合约  

摘要： 针对大数据应用中用户共享数据的访问控制由半可信云服务商实施所带来的隐私泄露、策略和访问日志易被篡改等问题,提出一种基于区块链的策略隐藏大数据访问控制方法(A policy-hidden big data access control method based on blockchain,PHAC).该方法采用区块链技术实施访问控制以减少对服务商的信任依赖,引入属性基加密(Attribute-based encryption,ABE)以及双线性映射技术,实现在不泄露访问控制策略的前提下,通过智能合约正确执行访问控制策略.同时,解耦访问控制策略,简化用户策略的发布、更新和执行.并应用链上和链下存储相结合方式,解决智能合约和访问控制策略占用区块链节点资源不断增大的问题.最后,对该方法进行了理论分析和HyperLedger Fabric环境下的实验评估,结果表明该方法能在策略隐藏情况下有效实现访问控制,但不会给数据拥有者、区块链节点增加过多额外计算和存储开销.

关键词： 论坛系统   去中心化   以太坊   智能合约  

摘要： 在Web2.0时代,作为网络社交形式之一的论坛系统如雨后春笋般涌现,各种主题的论坛吸引了众多用户的参与和交流,用户可以在论坛中表达自己的观点、意见、想法和经验。然而,传统的论坛系统将数据存储在中心化的服务器上,这种数据存储方式存在诸多风险,例如用户的个人信息容易被泄漏或被恶意篡改;平台权力过大,可能导致用户个人账号被无故封停或社会舆论被操纵。为了解决这些问题,文章基于以太坊智能合约平台,采用Vyper智能合约编程语言、Vue前端框架、IPFS分布式存储系统,设计并实现了一个去中心化匿名的论坛系统。

关键词： 智能合约   区块链   合同属性   当事人合意   意思自治  

摘要： 目前,作为“元技术”的区块链正由加密数字货币时代过渡到智能合约时代。立足法律向度认识区块链技术支撑的智能合约,首先要解决智能合约的定性问题,即智能合约是否属于合同。基于数字加密的区块链结构赋予合约的信赖保障机制、去中心化系统与区块链体系架构的底层技术支撑共同促成了合约的生成、发布与执行,是智能合约合同属性的本质依据。智能合约可以认为是符合当下社会发展趋势的合同形态。分析合同成立的核心要件、意思自治的具体表现和价值引导的必要性等可以得出以下结论,即区块链智能合约与传统合同一样,都是内在本质与外在形式的统一,应当在《民法典》与《民事诉讼法》的规范内容与程序框架内提供解释与救济,以有效回应当下的立法规定与司法实践。

关键词： 区块链   便民服务   电子病历   共享   隐私保护   智能合约   医疗机构  

摘要： 区块链技术具有去中心化、安全共享、不可篡改和隐私性高等优点,有助于解决目前我国医疗机构电子病历共享难题。2021年9月,某三级甲等医院联合某电信运营商建立了基于区块链的电子病历共享便民服务平台,其硬件架构由医院数据仓库、本地前置机和区块链平台组成,功能架构包括平台前置服务、区块链电子病历存档和服务平台,技术构架包含底层区块链、服务层、接口层和应用层,分别嵌入了非对称加密技术、哈希算法和智能合约等技术手段,保证了数据确权以及数据按需、可控、实时和安全共享。自2021年9月服务平台开始运行以来,截至2022年10月,某三级甲等医院累计上链患者病历21545份,平台整体运行顺畅,实现了患者电子病历的可信存证与安全共享,为进一步推动我国医疗机构电子病历的互联互通和可信共享提供参考。

关键词： RegLang监管合约   智能合约   冲突检测   符号分析   区块链   监管科技  

摘要： RegLang是一种面向监管规则设计的智能合约编程语言,旨在支撑监管规则数字化与合约化,已在金融等领域取得初步应用。然而,在实际应用中,金融监管领域的“适用冲突”“多轨规制”等规则冲突问题可能对区块链金融应用造成严重影响,在增加从业机构合规成本的同时,对监管合约的有效性带来挑战。针对上述问题,提出监管合约变量类型依赖分析方法与基于依赖图的变量类型传播分析方法,推断监管合约中所有变量的可能类型,并根据可满足性模理论求解器支持的符号类型实现监管合约中变量、语句和规则的符号化。基于符号分析的规则冲突检测方法,将监管规则冲突问题转换为可满足性问题,从而检测监管合约中规则的自冲突、完全冲突和局部冲突,并针对多个监管规则间完全冲突检测中的状态空间爆炸问题提出子集划分算法进行优化。实验结果表明,RegLang监管合约规则冲突检测方法可以有效检测各类监管规则冲突,在对代码行数为300行的监管规则进行冲突检测时,自冲突、完全冲突和局部冲突的平均检测耗时分别为1234.9 ms、1977.8 ms和2364.5 ms,在实际应用中是可接受的,能够为实现监管规则数字化提供有效保障。

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

摘要： 在区块链的发展和应用中,智能合约起到了推动作用.智能合约的应用,使得区块链技术的灵活性增加,同时极大地丰富了区块链的应用场景,从而开启了区块链的新时代.然而,由于智能合约中存在的安全漏洞导致的安全事件与日俱增,因此造成了损失巨大并破坏了区块链的公平性.智能合约的安全性和可靠性,引起大量学者的关注和研讨.基于已有的研究工作,在此研讨了智能合约存在的安全漏洞,探讨了现有的安全检测工具及安全防御方案,并以此进行了总结和展望.

关键词： 保险数据共享   智能合约   激励机制   演化博弈  

摘要： 有效的激励方法能够促进保险分支机构间数据共享和数字化建设。本文针对保险分支机构参与数据共享意愿低的问题,进行了保险数据共享激励智能合约研究与实现。首先,构建了基于区块链的保险数据共享框架,能够有效解决保险分支机构之间的信任问题;然后,实现了分支机构间演化博弈仿真实验,验证了演化博弈能够有效促进分支机构参与数据共享,进而设计了保险数据共享激励流程;最后,采用Hyperledger Fabric框架,设计了保险数据共享激励智能合约,表明提出的激励机制能够在保险数据共享相关参数赋值不同的情况下,通过动态调整激励收益使95%以上的分支机构参与数据共享。

关键词： 区块链技术   安全沙箱机制   智能合约   数据安全交换  

摘要： 随着区块链技术的飞速发展,区块链技术在数据溯源、数据可靠性差、隐私保护及数据存证等方面具有显著的优势和广阔的应用前景。区块链的关键是去中心化和降低信任成本,防伪造和可追踪性,可为解决大数据问题提供一种思路。基于此,提出了一种基于区块链和数据安全沙箱机制,解决了数据交换系统的安全问题。通过数据安全沙箱,按照约定的数据计算模型对加密数据进行沙箱内安全计算,并获取数据安全沙箱发送的计算结果,将计算结果发布到区块链,以供数据需求方通过区块链获取计算结果。安全分析显示,系统具有较强的安全性。