关键词： 智能合约   形式化方法   建模   验证   SPIN模型检测工具  

摘要： 智能合约是一种代码合约和算法合同,将成为未来数字社会的基础技术,它利用协议和用户接口,完成合约过程的所有步骤.总结了智能合约主要技术特点和现存的可信、安全等问题,提出将形式化方法应用于智能合约的建模、模型检测和模型验证过程,以支持规模化智能合约的生成.研究提出了一个应用于智能合约生命周期的形式化验证框架和验证方法,针对一个智能购物场景,采用Promela建模语言对智能购物合约进行建模,用SPIN进行了模型检测,验证了形式化方法对智能合约的作用.

关键词： 区块链   互联网保险   去中心化   智能合约  

摘要： 作为一种分布式记账数据库,区块链技术具有去中心化、信息不可篡改、透明公开、信息安全等特点,运用在互联网保险行业,有助于加强对客户信息的保护、降低信息不对称风险、降低互联网保险成本等,但需要解决区块链的算力问题、合理定位互联网保险平台"中心"机构、防范技术和道德风险、完善相关法律制度。

关键词： 智能合约   参数   自动化   可执行性  

摘要： 2015年8月,智能合约技术正式应用于债券领域。本文介绍了智能合约的定义及特点,以及当前两大智能合约系统的简要情况,最后分析了在我国债券市场应用智能合约需要关注的几个要点。

关键词： 智能合约   区块链   金融领域   问题  

摘要： 区块链技术(又称分布式账本技术)是近年来国内外央行和金融机构关注的重点,而智能合约(Smart Contract)又是区块链应用中最主要的特征,也是区块链被称为颠覆性技术的主要原因。本文通过研究区块链智能合约技术在金融领域运用的主要优势、研发状况、研发模式以及需关注问题,为央行和金融机构开发基于区块链技术的智能合约运用提供了参考启示。

关键词： 互联网金融市场   区块链   智能合约  

摘要： 所谓区块链技术是指建立在特定计算机网络和共识机制基础上的分散式记账系统,可以在没有信用中介或集中清算机构的情况下,完成点对点交易并更新账簿。与传统互联网技术相比,区块链技术具有去中介化、链式结构、共享账簿、智能合约、拓扑结构等五大特点,应用于金融领域可以简化交易环节、快速处理业务、减少资本占用、节省系统和人工费用。建议国内金融机构密切关注区块链及其国际应用进展情况,与监管机构加强沟通,与外资金融机构加强合作,适时启动区块链技术应用研发。

关键词： 区块链   会计程序   会计场景   智能合约  

摘要： 作为一项新兴的互联网技术,区块链因其在分布式账簿中的独特优势而受到高度关注,德勤等"四大"会计师事务所纷纷建立研发团队推进场景应用的实验及技术平台开发。文章从区块链的本质和特征出发,探讨了该技术对会计业务的重要价值和场景应用,总结了发展过程中的瓶颈问题,并对当前区块链技术在会计行业的应用进行了梳理和发展趋势研究。

关键词： 区块链   分布式账本   智能合约  

摘要： 区块链技术正以其去中心化、去信任的点对点交易模式引起广泛关注。本文介绍了区块链的基本概念,从计算机密码学的角度对区块链中的交易单信任性和区块记帐的信任性两个方面的实现进行了分析,论述了分布式账本技术和智能合约对金融领域带来的颠覆性,最后,结合区块链技术在金融领域的目前应用现状,对上海国际金融中心的建设从区块链技术的复合应用的角度提出了相关发展建议。

关键词： 计算法律学   区块链   智能合约   技术治理   法律本体  

摘要： The DAO事件引发了人们对于法律与代码的关系思考,代码世界不可以脱离法律的规制,法律治理应当与技术治理有机结合,法律治理优先于技术治理,且技术治理不可突破法律治理的框架.作为域外兴起的新领域计算法律学,其发展经历了计量法学、旧计算法律学和新计算法律学三个阶段,正伴随着区块链等新技术发展而不断迭代升级.未来的计算法律学从架构上应当优先选择私有区块链,并进一步强化智能合约法律化.计算法律学核心难点在于法律本体的代码化,具体表现为法律条文的语义处理、合同文本的代码化、法律推理分析等多个内容.中国的计算法律学,需要落实到中国法律本体问题的研究上.

关键词： 区块链   比特币   共识机制   智能合约   平行社会  

摘要： 区块链是随着比特币等数字加密货币的日益普及而逐渐兴起的一种全新的去中心化基础架构与分布式计算范式,目前已经引起政府部门、金融机构、科技企业和资本市场的高度重视与广泛关注.区块链技术具有去中心化、时序数据、集体维护、可编程和安全可信等特点,特别适合构建可编程的货币系统、金融系统乃至宏观社会系统.本文通过解构区块链的核心要素,提出了区块链系统的基础架构模型,详细阐述了区块链及与之相关的比特币的基本原理、技术、方法与应用现状,讨论了智能合约的理念、应用和意义,介绍了基于区块链的平行社会发展趋势,致力于为未来相关研究提供有益的指导与借鉴.

关键词： 票据市场   数字票据   区块链   时间戳   智能合约  

摘要： 数字票据除了具备传统票据的基本功能外,还结合了区块链所具有的技术优势。推出以区块链为技术基础的数字票据,有助于加快构建全国统一的票据市场体系,有效提升票据市场风险管控能力和监管效能。但是,目前区块链在我国票据市场大规模应用的现实条件尚未完全具备,市场参与者运用区块链进行交易系统对接的难度较大,数字票据需要与数字货币对接才能实现高效清算。为此,建议国家加强政策支持,引导市场主体攻克区块链应用的核心技术,积极推进数字票据发行、交易试验,稳步推动数字票据市场基础设施建设,研究数字票据监管规则,为实现传统票据市场向数字票据市场的跨越式发展创造条件。