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

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

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

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

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

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

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

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

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

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

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

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

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

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

关键词： 块链   金融科技   数字现金   大型主机   生物识别   货币政策调控   电子交易   波动性   反馈式   个人电脑  

摘要： 世界经济论坛报告指出,目前有超过20几个国家投资区块链的技术领域域,8800%的银行在2017年开始会实施一些些区区块块链链分分布布式式账账本本有有关关的的项项目目。在过去3年,整个投资在区块链领域已经有超过14亿美元,特别是今年,其实在这个领域的投资,据我们统计在上半年已经接近10亿美元。

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

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

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

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