关键词： 区块链   智能合约   漏洞   安全验证   形式化方法  

摘要： 智能合约的引入使得区块链技术蓬勃发展,其安全问题成为了目前一大热点研究课题.智能合约编写语言及其不可篡改特性,可能导致安全漏洞的产生且无法被修复,进而会让使用者面临巨大的经济损失.为了对智能合约漏洞进行分析,越来越多的学者引入了形式化方法,对智能合约的源码和字节码进行安全验证,最大程度地保证智能合约的安全.论文介绍了智能合约的运行机制以及常见的智能合约漏洞,针对定理证明和模型检测两类形式化方法,在智能合约检测中的现有典型技术进行了研究,并在验证级别、翻译语言和验证逻辑等方面进行了对比,给出了其优缺点以及智能合约未来的研究方向.

关键词： 结算系统   区块链   智能合约  

摘要： 本文针对传统铁塔公司与运营商之间电费结算模式中存在的数据共享率低、易篡改、难校验和缺乏闭环管理等问题,结合区块链分布式、去信任、可溯源的特点,提出并实现了一种基于联盟链的铁塔电费结算管理系统。该系统采用了区块链模块和业务系统协同的方式,区块链模块提供底层的区块链网络服务,业务系统提供电费结算管理功能,对原有业务模式进行了链改。通过在智能合约中约定规则并进行交互,达成共识上链,以及一致性账本数据查询。经过多并发测试,该系统数据上链和链上查询速度分别为140TPS和540TPS左右,链改后的方案预估缩短电费结算周期近1倍。

关键词： 区块链   高等教学   考核   智能合约   分布式存储  

摘要： 区块链技术具有多方共享与维护、动态存储、公开透明、高度信任、可追溯等特点,其是包含智能合约、分布式存储等技术的综合体。对于高等教学而言,因区块链不需中央权力机构或受信任的第三方来进行相应操作的协调互动、验证监管,区块链的智能合约、高度自治等为高等教学中的诸多环节提供了新的思路。

关键词： 区块链   外包计算   多项式   可验证   智能合约  

摘要： 随着区块链的快速发展,基于区块链的外包计算得到了广泛应用.外包计算允许资源受限的用户将复杂的计算以付费的方式外包给资源强大的外包计算者来计算,从而可以便捷地获得计算结果.然而外包计算过程中可能会泄露用户的隐私数据,因此,在外包计算过程中需要考虑用户数据的隐私性、安全性以及计算结果的可验证性。本文针对高阶多项式的外包计算进行研究,提出了基于区块链的可验证外包多项式计算方案,通过区块链智能合约完成外包计算。首先,提出了一种混淆方法,能够将原始多项式系数进行盲化,从而保证多项式的安全性和隐私性。外包计算者将盲化后的两个多项式进行计算,计算结果上传至星际文件系统(IPFS),同时挖矿节点仅需计算一个盲化后的多项式;其次,设计了一种可快速、简单的验证方法,智能合约通过用户给出的参数能快速的对外包计算者及挖矿节点返回的计算结果进行验证,根据验证结果给予相应的报酬。整个方案不需要任何密码学假设,通过外包计算者和挖矿节点的双重计算,保证了方案的安全性且效率较高。

关键词： 民法典   人工智能   机器意志   智能合约   DAO通证  

摘要： 《民法典》对于智能社会的调整限度应被重视。从原子到比特的变化,催生了人工智能法治研究由有效环境下法治如何影响个人,到法治所寻求的有效环境如何影响法治的转向。遵循传统民法形成的"主体-民事行为-民事权利(原则)-民事责任"的精神主线,探究人工智能时代的法治图景愈加紧迫。即便通过"拟制"证成人工智能体的主体地位,仍需要以意志能力为要件;去中心化自治组织同时引发了比特空间的组织变革。智能合约若有精确数值即可能符合法律合同的构造,但其解释受制于分布式记账与加密技术,传统规范主义解释路径可能遭遇困难。通证及其背后的财产权的通证化沟通了原子与比特世界的财产价值,显示出权利客体通证化的变革趋向,也构建了通证经济的完整循环。由于数字化、自动化的深入,侵权责任也呈现出进一步客观化的趋势。

关键词： 区块链   智能合约   存储问题   加密算法   经济激励机制   经济模式   数字货币   钱包  

摘要： 区块链的诞生,不仅仅是通过代码和智能合约来将生产组织进一步扁平化,从而达到优化中间过程、精简中介的作用,更是产生了一个新的经济模式,创建了一种新的生产关系。这种理念上的变革远远大于技术本身带来的影响,它最让人着迷的地方莫过于利用人性的特点,建立了一套自治的经济激励机制,并诞生了一个新型的价值载体Cryptocurrency。Cryptocurrency显然不同于传统的货币,它是通过一定的加密算法计算出来的数字货币,也就是说电子化会是它的本质属性,这样它的存储问题就会是一个热门的研究领域,具体来讲就是常说的区块链钱包。

关键词： 企业信用   区块链   企业链   智能合约  

摘要： 随着现代经济体系的发展,企业信用体系的建设与完善对社会经济发展举足轻重,但当今企业体系仍不够完善,存在着企业信用制度滞后、企业违约形式多样等问题,对社会和经济造成了严重的损失,同时传统企业链的弊端不断显现,整个企业金融平台票据流转、拆分均依托核心企业信用,使企业信用半径受到局限,因此我国更需要建设一个统一高效的企业信用平台。区块链技术在企业平台的创新运用,优化了企业信用平台的功能,简化了企业信用平台业务流程,其中区块链所具有的链式结构、不可篡改、智能合约等特性,最大化实现了“四流”合一,增加数据的可信度,固化资金清算路线,避免了一系列企业信用损失行为,为更好地实现企业信用平台提供了有力的支撑。

关键词： 智能合约分类   区块链技术   双向长短期记忆神经网络   注意力机制   代码语义特征   账户特征  

摘要： 针对区块链技术存在智能合约服务困难问题,提出基于注意力机制和双向长短期记忆神经网络的智能合约分类。运用Bi-LSTM网络从智能合约源代码和账户信息两个角度进行建模,提取出智能合约的最大特征信息。加入注意力机制的Bi-LSTM模型在Dataset-E、Dataset-N和Dataset-EO数据集上正确率分别达到89.8%、87.9%和85.0%,比同样条件下传统的CNN模型提高6.4%、5.5%和3.7%。仿真结果表明该智能合约分类能捕获到关键特征,提高效率和准确度。

关键词： 区块链   智能合约   Solidity   时间约束   模型检测  

摘要： 在现实生活中有一类智能合约与时间紧密相关,而合约是否满足这类时间性质将直接影响应用的正确性。为了避免合约部署后出现严重的问题,将以太坊上的智能合约为研究对象定义智能合约的时间自动机语义,再将智能合约转换为时间自动机模型,接着用模型检测工具UPPAAL检测智能合约是否满足以时序逻辑公式表示的实时性质。最后对竞拍合约以及飞机保险购买合约进行了实例研究,其结果可以展示合约的实时性质是否得以满足。若不满足则可以根据反例定位合约出现的问题点,显示了该工作的有效性。

关键词： 数字加密货币   区块链   共识算法   智能合约   隐私保护  

摘要： 近年来,随着数字加密货币逐步走进人们的视野,其底层的区块链技术也引起了研究者的高度重视。区块链作为一种分布式账本技术,具有多方维护、不可篡改、公开透明等特点。首先,将区块链结构按层级进行划分,从低到高介绍了每层的作用和原理,根据开放程度将区块链分为公有链、联盟链、私有链,以比特币、Hyperledger Fabric为例分析了公有链和联盟链的工作机理。其次,对区块链的底层核心技术共识算法、智能合约、隐私安全做了详细阐述。最后,分析了区块链的研究进展并进行了展望。