关键词： 区块链   智能合约   区块链技术  

摘要： 在刚刚过去的2016年，从北京中关村到上海陆家嘴，从美国硅谷到华尔街，从各国央行到国内外各大商业银行，从联合国、国际货币基金组织到许多国家政府研究机构，区块链一直是讨论的焦点、投资的热点，其快速发展和广泛应用，引起了国内国际的高度重视。联合国社会发展部（UNRISD）在2016年年初发布了一份题为《加密货币以及区块链技术在建立稳定金融体系中的作用》的报告，认为区块链技术在改善国际汇兑、国际结算、国际经济合作等领域有着很大的应用发展空间。英国政府于2016年年初发布了《区块链：分布式账本技术》报告，从国家层面全面分析了区块链技术及其未来发展应用的情况，美国证券交易所已经批准基于区块链进行公司股票交易。

关键词： 区块链   智能合约   大数据   物联网金融   人工智能  

摘要： "区块链+"作为金融科技的底层技术架构,可以改变当前我国金融业运行模式,实现信用验证去中介化、资金流转去中心化、金融交易实时化、风险管理透明化。但是,"区块链+"在金融领域的应用也面临着应用场景不够广泛、技术风险较大、相关法律法规不完善等问题和挑战。未来一个时期,要把"区块链+"作为促进金融业转型发展的重要方向。依托"区块链+物联网",实现物联网金融应用场景的拓展;依托"区块链+人工智能",实现金融服务安全水平的提升;完善与"区块链+"相关的法律法规,实现金融发展环境的优化。

关键词： 区块链   分布式账本   P2P网络   非对称加密   共识机制   智能合约  

摘要： 区块链技术作为密码货币和比特币的底层技术,正在吸引着越来越多的人员投入进来.有别于传统信息系统的中心化他信机制,区块链是一种去中心化或者多中心化的共信机制,这对人们的信任机制产生了很大的影响,并促使人们开始重视区块链中的安全技术.对区块链中的关键技术及其安全架构展开了研究,阐述了区块链如何通过P2P网络技术、分布式账本技术、非对称加解密技术、共识机制技术、智能合约技术来实现对其数据完整性、不可否认性、隐私性、一致性等的安全保护.此外,也对一些新的安全威胁和措施进行分析,例如,防止由于交易风暴引起的拒绝服务技术、保护区块链信息隐私的密文访问控制技术、以及防止因为密钥丢失或者泄露所引起的数字资产丢失或者被盗的密钥管理技术等等.也对区块链技术与人工智能、大数据、物联网、云计算、移动互联网技术相融合之后可能出现的新安全问题和安全技术进行了探讨.

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

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

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

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

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

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

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

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

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

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

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

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

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

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