基于CPN的智能合约交易顺序依赖漏洞的验证

智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自顶向下地对合约本身及其执行环境建立着色Petri网模型,并引入攻击者模型来考虑合约遭受攻击的情况。通过运行模型以验证合约存在交易顺序依赖漏洞,最后基于Remix平台在以太坊网络中证实结论的正确性。     

基于区块链技术的道路路边停车管理系统

针对当前道路路边停车管理中存在的效率低下、交易不透明等缺点,提出了一个基于区块链技术的道路路边停车管理系统.根据边缘设备终端的车牌识别算法采集停车信息,将关键停车交易数据发送并存储至Web服务器的MySQL数据库缓存,之后由Fabric SDK中间件存储到Hyperledger Fabric区块链平台.该系统依靠区块链...     

用于联盟链的布隆过滤器优化

布隆过滤器常用于联盟链Hyperledger Fabric状态数据库LevelDB的读性能优化,但布隆过滤器本身存在误报现象,且LevelDB只能对布隆过滤器进行统一配置而无法自适应调整。为此,提出一种单元化的部分计数式布隆过滤器（partial counting Bloom filter,PCBF）构造方案,设计可并行计算的元素插入与查询机制并结合双重哈希及非加密哈希来实现快速插入与查询;基于开启过滤器单元与访问次数构建排序字符串表优先级,使用时间片轮询算法对过滤器单元进行自适应调整,实现了资源的合理分配。实验结果表明： PCBF具有较高的插入效率,并能减少20%左右的误报数量,适用于联盟链的高并发场景。     

基于系统动力学的区块链技术扩散机制研究

区块链技术凭借其去中心化、去信任化及不可篡改等优势,一经提出便引起了学术界和业界的广泛关注.然而区块链技术发展中也遇到了如政府监管难、行业标准化不完善及违规违法行为频发等挑战.社会各界对于区块链技术发展前景各执己见,政府提出的各类扶植与管制政策对区块链技术发展的影响及其程度尚不明确.基于此,对区块链这一典型的共性技术扩...     

交易数据全生命周期区块链隐私保护评估方法

针对区块链与传统信息系统之间的差异,提出一种面向区块链交易数据全生命周期的隐私保护评估方法,从交易数据的发布、共识、存储和应用等方面分析区块链隐私泄露风险和隐私保护方法,建立区块链隐私保护评估指标体系;使用层次分析法与成对比较法相结合的动态指标权重分配方法进行指标相对重要性决策与权重计算;综合隐私保护强度、交易数据可用性和隐私保护技术性能3个维度来计算区块链隐私保护相关能力得分。经分析表明该方法能够实现对区块链隐私保护水平的综合性评估。     

双共识混合链跨异构域身份认证方案

针对目前基于区块链的身份认证方案存在节点性能损耗严重的问题,提出一种基于双共识混合链的跨异构域身份认证方案。采用多因子分析方法对基于综合性能的Raft共识算法进行优化,实现了对节点综合性能的合理评估;选出综合性能优异的节点作为跨域节点,可避免因跨域节点性能不佳而引起的系统故障。该方案结合实用拜占庭容错共识机制并引入监督节点,增强了认证系统的拜占庭容错能力,解决了因恶意节点导致的域内错误认证问题。利用SM9广播密码算法对认证过程中的通信数据进行加密,实现了系统的双向认证和保密通信,确保了系统的安全性。实验表明：该方案的双共识认证机制相较于单一共识认证机制,具有较强的拜占庭容错能力和较高的吞吐量,不但能使系统更加安全稳定,而且减少了单对单加解密计算操作,降低了系统的计算开销和时间开销。     

工业区块链技术进展

工业互联网正在加速推进,其中数据隐私泄露、数据安全和数据追溯等问题严重制约了企业之间的信息流通和数据共享。区块链作为一种去中心化、无需中介、不可篡改、可追溯的技术,在金融、虚拟货币领域被广泛应用。应用区块链技术可以很好地解决工业互联网的应用难题。本文详细介绍工业区块链的内涵和应用现状,重点分析了工业区块链的核心技术和工业应用面临的难题,并对国内外在相关技术方面的研究进展进行了介绍。     

基于承诺方案的去中心化可信众包平台设计与实现

为去除传统众包对第三方中心机构的依赖,同时保障众包任务的公平分配和结果的可信提交,提出了一种基于区块链智能合约的可信众包平台设计方案。首先提出了一种基于承诺的两阶段提交机制,并将其运用至接包者的数据提交过程中,以解决区块链上的数据透明度问题,使接包者之间无法相互窃取数据;其次设计了一种无偏随机选择算法,从分散的接包者池中选择相对独立的接包者,杜绝了接包者之间可能的串谋;最后通过模拟选人实验和以太坊上原型系统的实现,验证了选人算法的随机性和整体方案的可行性。     

面向医疗区块链的新型轻节点数据查询方法

医疗区块链系统的用户向全节点请求数据时可能被欺骗,而简单支付验证等轻节点数据查询方法面临着存储困难。为解决这些问题,提出了一种面向医疗区块链的新型轻节点数据查询方法。引入具有动态追加能力的Merkle山脉（Merkle mountain range,MMR）,设计基于推荐的可信节点选择和基于采样的可信节点验证的最新有效块获取算法,采取MMR和Merkle树的承诺机制,使得持有一个最新有效块的轻节点用户能够验证全节点发送的医疗数据。此外,还将该方法扩展应用于联盟链。分析和实验表明,所提方法的时间开销和空间开销均在较低的范围内。     

Knight不确定下基于代币的平台运营管理

平台运营中投资者的投资效率冲击对平台生产力产生影响,从而对平台代币发行策略、代币价格以及平台特许经营价值产生影响。考虑投资者的投资效率冲击具有Knight不确定性时,利用非线性期望理论建立平台生产力动力学模型,并导出平台开发者特许经营价值所满足的哈密尔顿-雅克比-贝尔曼方程（HJB方程）。进而,分析Knight不确定对投资者最优投资、平台的特许经营价值、平台生产力的边际价值以及代币的市场出清价格的影响。最后,对所得理论结果进行数值模拟。分析表明：投资者对平台的最优投资、平台的特许经营价值除了受到平台代币的发行量影响,还会受到Knight不确定程度的影响,Knight不确定程度越大,平台的最优投资和平台的特许经营价值越小。因此,对于平台的经营者,除了注重对平台本身的代币发行策略管理外,还需要考虑Knight不确定因素对平台运营的影响。