关键词： 区块链   智能合约   形式化智能合约  

摘要： 区块链技术从2017年开始进入快速发展期,区块链底层平台TPS性能提升很快,数字身份与信用模型也是当下行业讨论的重点,但是作为区块链应用核心之一的智能合约技术发展却明显落后。文章对智能合约从产生、演化与趋势三个层次入手来进行分析,回答了2019年智能合约发展的必然性以及智能合约四个可能趋势,特别肯定了形式化智能合约技术的趋势性。

关键词： 区块链   去中心化   智能合约   以太坊虚拟机  

摘要： 区块链是一个全球性的去中心化分布式数据库账本。智能合约作为一段由事件驱动的、具有状态的、运行于区块链系统之上的程序,能够保管、处理区块链账本上的数字资产;运行在通用平台上的智能合约还能够实现传统应用系统的部分功能。区块链技术的发展为智能合约提供了很好的运行基础,智能合约在区块链上能够发挥重要作用。随着比特币和以太坊等区块链平台的迅速发展,智能合约具备了良好的发展契机。然而,智能合约应用还处于早期发展阶段,相关研究相对较少,实际应用中智能合约的适用场景不够丰富。文中从智能合约编程语言、实现技术、发展现状和存在的挑战、未来前景等几个方面进行研究和探讨,重点描述了不同智能合约开发语言的特性,以及相互之间的对比;以智能合约运行环境为标准进行分类,研究了各种区块链系统中智能合约的开发、部署和运行机制,并探讨了不同类型智能合约平台的应用范围,对不同区块链系统在智能合约开发、社区支持以及相应的生态系统等方面进行了全面的比较;然后,介绍智能合约的研究现状和面临的挑战,从安全性、可扩展性、可维护性等方面进行深入分析;最后,分析了区块链和智能合约技术的发展趋势,探讨了未来的应用场景。

关键词： 区块链   去中心化   图片存证   智能合约   分布式存储  

摘要： 在大数据时代,为了进一步解放人们的劳动力,所有的办事都倾向于电子化。在电子化的过程中,将产生一系列的电子数据,包括电子合同、电子协议、收益证明、电子版权证书、电子发票以及资产总额等重要文件。如何让电子数据可信赖、可溯源、难篡改,是当前电商中亟需解决的问题。区块链技术在图片存证中的应用,将用户账户、证据文件的哈希值等关键信息实时写入区块链,实现重要证据文件的存证。通过比对待鉴定文件与区块链上存证文件的Hash值是否一致,实现文件一致性及文件真伪的鉴别。

关键词： 杭州互联网法院   电子数据   最高人民法院   区块链技术   智能合约  

摘要： "你有权沉默,但你所说的每句话都将成为呈堂证供!"这句耳熟能详的港剧台词,曾被不少人奉为经典。但随着时代发展,如今再拍电影,台词可能需要"与时俱进"地换个"说法":"你在网上说的每一个字、留下的每一个痕迹都可能成为呈堂证供!"毕竟,电子证据已成为日益重要的证据形式之一。然而,电子证据被纳入合法正规军的道路并不算顺利。直到区块链技术的诞生与应用,电子证据可信度才有所增加。越来越多的国家和地区试水"区块链+",将其应用到司法环节。

关键词： 区块链   身份认证   智能合约   去中心化  

摘要： 中心化的身份认证系统在中心服务器上集中存储和管理身份信息,用户没有信息拥有权,存在隐私保护困难、跨域难度大、认证成本高等问题。据此提出了利用区块链技术架构设计一个去中心化的身份认证系统,分析梳理了传统身份认证体系结构存在的问题,介绍了区块链的工作原理,重点论述了区块链3. 0的体系架构、加密算法和共识机制,对身份认证系统的功能进行了分析,设计了基于区块链3. 0架构的认证系统结构和业务流程,给出了私有链P2P网络搭建、智能合约编写、系统部署运行的方法。

关键词： 智能合约   区块链   立案   去中心化   方式变革   互联网法院   审判执行   创新应用  

摘要： 近日,北京互联网法院利用区块链智能合约技术完成了执行“一键立案”的首个创新落地,受到了广泛关注。创新应用的一小步,可能是推动未来审判执行方式变革的一大步。曾经,因缺乏能够支持可编程合约的数字系统和技术.智能合约理论迟迟未被实现,直到区块链的诞生。区块链不仅可以支持可编程合约,而且具有去中心化、不可篡改、过程透明可追踪等优点,天然地适合于智能合约的应用。

关键词： 区块链技术   投资者   保护机制   监管机制   准入条件   法治保障   三大政策   智能合约  

摘要： 区块链技术在工业领域的应用,针对当前工业信息产业技术发展在立法和机制建设上的问题,提出符合"工业4.0"第三境界所需技术的政策法治保障,提出完善工业区块链技术应用立法,构建工业区块链技术的法律服务机制、权限隐私保护机制和政府"柔性"监管机制等三大机制,不断推进工业信息产业技术开发和工业经济发展的法治化。

关键词： 大数据   数据共享   区块链   密文-策略基于属性的加密   智能合约  

摘要： 数据共享是打破大数据时代"数据孤岛"困境的有力途径,而如何保证数据安全共享是当前面临的主要问题.为此,本文基于区块链技术和密文-策略基于属性的加密(Ciphertext-Policy Attribute-Based Encryption,CPABE)提出DOB框架,使用智能合约和序列化方法将CP-ABE的系统公钥、用户属性、密文和用户密钥等存储在链数据库中,同时设置数据库的访问权限和注册认证数据集,实现数据的细粒度共享.实验结果表明:相比于Jemel等人提出的Timely CPABE with Blockchain方案,DOB框架能进一步提高数据共享的安全性.

关键词： 区块链技术   合同条款   报刊文摘   智能合约   底层技术   执法成本   自动执行   自动运行  

摘要： 区块链,法治的新课题新思路2019年11月6日区块链对立法与监管带来种种挑战,需要监管者和立法者转变固有思维。可以借助区块链技术和智能合约,将法律和合同条款转化为简单而确定的基于代码的规则,这些规则将由底层区块链网络自动执行。未来,技术规则将越来越多地承担起与法律规则相同的作用和功能。政府可借助代码,通过将部分法律转换成技术规则,由底层技术框架执行,从而减少监督和持续执行的需要,降低合规和执法成本,也减少法律文本固有的不确定性。当前,区块链技术距成熟尚有很大距离,监管者可以形塑新规范,影响代码规则,通过程序自动运行实现区块链的部分内部治理,节约监管资源。

关键词： 以太坊   智能合约   投票协议   模型检测  

摘要： Zhao等人提出了一个比特币投票协议,使得n个投票人能够通过投票决定两个候选人中的一个接受比特币资助.投票人首先通过秘密分享、承诺和零知识证明生成各自的投票,再通过比特币交易完成投票和比特币资助,保护了投票人的隐私.此文的工作支持n个投票人生成关于m个候选人的一般性投票,并通过智能合约完成了投票和以太币资助,同样不泄露投票人的隐私.同时,该智能合约不依赖门限签名等体制,更为高效,合约的主要业务逻辑也在检测模型工具中进行了检测.