形式化方法应用于区块链系统
① 电商领域如何应用区块链技术
世面上已经有这样的应用了，叫gojoy，前景非常乐观，通过消费就是挖矿模式刺激消费者到该商场购物，消费即投资，反正哪里买都是买，在这买还有数字资产可以挖，挖到的数字资产有增值空间，可以持有也可以换钱。我也是听了千聊上的区块链商业革命才了解到这些，里面有很多相关内容！
② 胡凯教授的区块链研究有什么
胡凯教授做的研究主要有：
数字经济和区块链技术：是国内最早从事区块链技术的研究学者之一，提出并发展了智能合约工程（SCE）、法律代码科技、验证即服务（VaaS）等理论方法，在数字经济与区块链结合、数字经济园区规划和咨询、区块链数字治理、区块链可扩展性、多链互联和区块链形式化验证技术等方面具有深入研究和专利性成果。主持研发了北航区块链（TrustChain）系列产品，包括了自主知识产权的各形态区块链系统、浏览器、监控器、部署工具和区块链大数据管理系统（OpenData）。
分布式并行计算和网络：长期从事复杂计算环境下的集群计算系统、高性能计算、航空航天电子总线，以及天地一体化网络信息技术研究等，提出和研究了基于狼群的可重组多集群计算理论并应用于实践,研发了多个应用软件系统。
形式化设计与验证方法：与法国图卢兹计算机研究所（IRIT）和法国自动化所（INRIA）密切合作，创建中法形式化方法联合研究实验室，研究基于模型驱动的形式化设计与验证方法，提出基于AADL和同步语言Signal的多项创新扩展技术，研发了多个模型转换、验证和自动代码生成工具。
近年来在国内外重要学术期刊会议上发表SCI/EI检索等论文60余篇，主编《网络计算新技术》（416页，科学出版社2001年出版），合作完成国家级“十一五”规划权威教材《分布式计算系统导论》（490余页，清华大学出版社2014年出版,获校2016年教材一等奖，已被十余所重点大学教材采用）。先后主持和参与多项国家自然基金、国家重点研发项目、863重大项目、军口863项目、国家核高基项目、航空航天基金，以及多项航空航天领域重要工程项目。获得国家发明专利和软著等30余项，2015年获航空基金五年成就奖，2018年牵头“天地一体化信息系统设计验证与仿真”获产学研学会二等创新成果奖。
③ 最近北航胡凯教授很火，请问他的研究方向是什么
数字经济和区块链技术：是国内最早从事区块链技术的研究学者之一，提出并发展了智能合约工程（SCE）、法律代码科技、验证即服务（VaaS）等理论方法，在数字经济与区块链结合、数字经济园区规划和咨询、区块链数字治理、区块链可扩展性、多链互联和区块链形式化验证技术等方面具有深入研究和专利性成果。主持研发了北航区块链（TrustChain）系列产品，包括了自主知识产权的各形态区块链系统、浏览器、监控器、部署工具和区块链大数据管理系统（OpenData）。
分布式并行计算和网络：长期从事复杂计算环境下的集群计算系统、高性能计算、航空航天电子总线，以及天地一体化网络信息技术研究等，提出和研究了基于狼群的可重组多集群计算理论并应用于实践,研发了多个应用软件系统。
形式化设计与验证方法：与法国图卢兹计算机研究所（IRIT）和法国自动化所（INRIA）密切合作，创建中法形式化方法联合研究实验室，研究基于模型驱动的形式化设计与验证方法，提出基于AADL和同步语言Signal的多项创新扩展技术，研发了多个模型转换、验证和自动代码生成工具。
近年来在国内外重要学术期刊会议上发表SCI/EI检索等论文60余篇，主编《网络计算新技术》（416页，科学出版社2001年出版），合作完成国家级“十一五”规划权威教材《分布式计算系统导论》（490余页，清华大学出版社2014年出版,获校2016年教材一等奖，已被十余所重点大学教材采用）。先后主持和参与多项国家自然基金、国家重点研发项目、863重大项目、军口863项目、国家核高基项目、航空航天基金，以及多项航空航天领域重要工程项目。获得国家发明专利和软著等30余项，2015年获航空基金五年成就奖，2018年牵头“天地一体化信息系统设计验证与仿真”获产学研学会二等创新成果奖。
④ 区块链如何应用
1、金融领域：
区块链在国际汇兑、信用证、股权登记和证券交易所等金融领域有着潜在的巨大应用价值。将区块链技术应用在金融行业中，能够省去第三方中介环节，实现点对点的直接对接，从而在大大降低成本的同时，快速完成交易支付。
2、物联网和物流领域：
区块链在物联网和物流领域也可以天然结合。通过区块链可以降低物流成本，追溯物品的生产和运送过程，并且提高供应链管理的效率。该领域被认为是区块链一个很有前景的应用方向。
3、公共服务领域：
区块链在公共管理、能源、交通等领域都与民众的生产生活息息相关，但是这些领域的中心化特质也带来了一些问题，可以用区块链来改造。区块链提供的去中心化的完全分布式DNS服务通过网络中各个节点之间的点对点数据传输服务就能实现域名的查询和解析，可用于确保某个重要的基础设施的操作系统和固件没有被篡改，可以监控软件的状态和完整性，发现不良的篡改，并确保使用了物联网技术的系统所传输的数据没用经过篡改。
4、数字版权领域：
通过区块链技术，可以对作品进行鉴权，证明文字、视频、音频等作品的存在，保证权属的真实、唯一性。作品在区块链上被确权后，后续交易都会进行实时记录，实现数字版权全生命周期管理，也可作为司法取证中的技术性保障。例如，美国纽约一家创业公司MineLabs开发了一个基于区块链的元数据协议，这个名为Mediachain的系统利用IPFS文件系统，实现数字作品版权保护，主要是面向数字图片的版权保护应用。
5、保险领域：
在保险理赔方面，保险机构负责资金归集、投资、理赔，往往管理和运营成本较高。通过智能合约的应用，既无需投保人申请，也无需保险公司批准，只要触发理赔条件，实现保单自动理赔。一个典型的应用案例就是LenderBot,是2016年由区块链企业Stratumn、德勤与支付服务商Lemonway合作推出，它允许人们通过FacebookMessenger的聊天功能，注册定制化的微保险产品，为个人之间交换的高价值物品进行投保，而区块链在贷款合同中代替了第三方角色。
6、公益领域：
区块链上存储的数据，高可靠且不可篡改，天然适合用在社会公益场景。公益流程中的相关信息，如捐赠项目、募集明细、资金流向、受助人反馈等，均可以存放于区块链上，并且有条件地进行透明公开公示，方便社会监督。
⑤ 区块链技术的应用方式是怎样的
区块链技术是一种去中心化的分布式账本数据库，其特点是去中心化、数据公开透明，信息透明难以篡改。
目前，区块链技术在供应链、制造业、社会公益、公共服务等多个领域的场景都实现了应用，区块链技术可应用智能合约、证券、记录保全等方面。
⑥ 区块链的技术应用有哪些
原标题：2019年中国区块链行业市场现状及发展趋势分析 应用广泛落地加速数字中国建设
区块链行业正整体迈入3.0阶段 加快数字中国进程贡献巨大力量
我国区块链行业经过十年发展。基本上已经形成较为成熟的产业链。在国家政策推动和下游应用领域需求不断增加的条件下，我国区块链行业市场规模不断发展，地域集中度较高，产业集群效应明显。随着区块链技术成熟程度的不断增加，区块链行业正整体迈入3.0阶段，在金融、物流、版权保护等领域有着良好的表现，为推动我国数字化建设，加快数字中国进程贡献了巨大的力量。
区块链行业产业链分析：下游应用领域众多 发展潜力巨大
从产业链来看，我国区块链行业包括上游硬件、技术及基础设施;中游区块链应用及技术服务;
下游区块链应用领域等环节。上游硬件、技术及基础设施主要是提供区块链应用所必备的硬件、技术以及基础设施支持，其中，硬件设备包括矿机、矿池、芯片厂商等;通用技术包括分布式存储、去中心化交易、数据服务、分布式计算等等相关技术。
下游应用领域包括应用区块链技术与现有行业的结合，主要包括金融行业、物流行业、版权保护、医疗健康、工业能源等众多领域，区块链作为新兴技术，下游应用领域众多，发展潜力十分巨大。
中游区块链应用及服务包括基础平台建设和提供技术服务支持，其中基础平台建设分为通用基础链和垂直领域基础链;技术服务支持包括技术支持和服务支持，技术支持与上游相关技术类似，负责为购买者提供区块链安全防护等一系列基于区块链产品的技术支持;服务支持包括数字资产交易场所、数字资产存储、媒体社区等系列服务。
区块链行业产业链分析情况
资料来源：前瞻产业研究院整理
我国互联网巨头公司也纷纷布局区块链行业，主要切入点为区块链技术在金融领域中的应用，阿里巴巴、网络、腾讯、京东、360等企业多数通过自身的金融公司应用区块链技术推出区块链+金融新模式，拓宽区块链技术的应用场景。
我国区块链行业发展趋势分析
1、随着我国区块链技术的不断发展，区块链应用领域的不断拓展，未来我国区块链行业将呈现区块链成为全球技术发展的前沿阵地，开辟国际竞争新赛道;
2、区块链领域成为创新创业的新热土，技术融合将拓展应用新空间;
3、区块链未来三年将在实体经济中广泛落地，成为数字中国建设的重要支撑;
4、区块链打造新型平台经济，开启共享经济新时代;
5、区块链加速“可信数字化”进程，带动金融“脱虚向实”服务实体经济;
6、区块链监管和标准体系将进一步完善，产业发展基础继续夯实六大发展趋势。