区块链日报 以太坊重振旗鼓：微软、哈佛大学等多家知名研究机构投身智能合约研发

19点实时币价

BTC 3879.18 ETH 73.5 LTC 24.98 LSK 1.85

（以上数据以聚笔网为准）

【重量级】以太坊重振旗鼓：微软、哈佛大学等多家知名研究机构投身智能合约安全建设

以太坊社区从 DAO 事件中吸取了教训，开始直面智能合约的安全挑战。

微软研究院（MSR）、哈佛大学（HU）和法国农业科学研究所（Inra）联合发布技术论文（币问库全文下载），研究智能合约的形式化验证。 法国农业科学研究所拥有来自世界一流大学的2700多名计算机科学研究人员。

本文使用一种程序可验证的函数式编程语言来创建一个大型框架，用于分析和验证以太坊智能合约。 初步研究没有取得任何突破，论文建议进一步研究：我们从转换URL中找到了396份合约，并转换并输入了其中的46份。 事实证明，只有一小部分合同是有效的……事实证明，绝大多数已发布的合同通常都容易受到攻击； 这将是我们未来工作的重点。

世界一流大学伦敦大学学院（UCL）近日公开招收两名研究生，主要负责智能合约安全，UCL编程原理、逻辑与验证助理教授伊利亚·谢尔盖（Ilya Sergey）部门，主管。 成功入选的学生可获得全额奖学金，包括生活费和项目建设费。 该项目的第一步如下：研究区块链编程模型的理论和逻辑基础，专注于一个主要目标：为计算机辅助智能合约分析和验证过程开发健壮、可扩展和实用的工具。 第二步的目标是：为智能合约的最佳、健全和安全的编写创建一个可信框架……开发一个可验证的编译器，同时涵盖高级合约语言（如Solidity）和以太坊虚拟机(EVM) 低级代码。

1. 全球首家公交公司接受比特币支付

据bitcoin.com报道，法国第三大巴士公司Isilines已经开始接受比特币支付。 据悉，这也是公交领域第一家接受加密货币的公司。 为了接受比特币支付，Isilines 与法国初创公司 Paymium 合作，这是一家类似 Coinbase 的公司，提供商户处理和其他服务，专注于比特币和欧元之间的兼容交易。 这家总部位于巴黎的初创公司还经营场外交易和实时交易平台，以及其他服务，包括企业支付处理和通过电子邮件发送比特币，所有这些都符合欧洲支付服务条例。

据悉，Isilines于8月2日通过Paymium接受了比特币支付。据法国新闻媒体ITespresso报道，试用期将持续六个月。 试验结束后，Isilines 将评估结果。 Paymium 目前为集成比特币支付的商家提供六个月的免费试用期。 免费试用期过后，将收取 0.59% 的标准费用。 然而，即使有交易费，费率也低于传统信用卡。 “这项新服务是我们突破性创新政策的一部分，”Transdev France 首席执行官 Richard Dujardin 在一份声明中说。

2、前SEC主席、Blockchain CEO支持区块链可以颠覆支付领域

比特币作为支付颠覆者的承诺受到了比特币反对者的质疑，他们表示随着金融公司开始探索区块链技术，比特币的颠覆性潜力被夸大了。 美国证券交易委员会 (SEC) 前主席小亚瑟·莱维特 (Arthur Levitt, Jr.) 和 Blockchain 首席执行官彼得·史密斯 (Peter Smith) 通过在美国银行家撰写专栏文章回应了这些质疑者，驳斥比特币不会扰乱支付。 观点是错误的。 他们讨论了一些关键论点，包括当前的金融体系已经为美国和西欧提供了良好的服务； 比特币无法在没有互联网的地区运行； 并且存在将比特币转换为当地货币的“最后一英里”。 总而言之，他们都支持区块链作为破坏支付的一种方式。

3. 东京三菱日联银行和科技巨头日立测试了用于电子支票管理的区块链

东京三菱日联银行和科技巨头日立正在联合开发一种用于电子支票管理的区块链概念验证机制。 据两家公司称，该原型系统旨在创建一个“发行、转移和收集电子支票”的数字平台。 据日经新闻报道，预计未来几天将进行进一步的实验，该系统的更全面版本预计将于 2018 年大规模发布。 日立在一份声明中表示：“通过使用区块链系统，三菱银行可以发行和结算支票，新加坡的一些日立集团公司可以接受电子支票和存储资金。通过概念验证机制测试，日立和三菱银行可以从技术、安全、运营和法律等不同角度验证信息，以实现新的金融科技服务，包括支票数字化。” 几个月后，日立宣布成立一个专注于金融科技的科研实验室，该项目被公开。 当时，该公司刚刚成为 Hyperledger 项目的成员，该项目由 Linux 基金会牵头，专注于商业区块链应用。

4. Nordea寻求人工智能和区块链的突破

为了准备今年秋天在瑞典斯德哥尔摩和芬兰赫尔辛基举行的下一个互联网金融加速计划，Nordea 希望与初创企业合作，共同开发人工智能应用程序和基于区块链的产品。 总共有超过 200 家公司申请参加 Nordea 为期 12 周的加速器计划，初创企业将有机会与 Nordea 和科技巨头 IBM、印度的塔塔咨询服务公司（Tata Consultancy Services）和项目一起实现他们的想法主持人 Nestholma。 经过一轮筛选，Nordea将参展企业名单缩小到来自美国、俄罗斯、新加坡、印度、挪威、丹麦、芬兰和瑞典的35家企业； 来自这些国家的公司向银行高管展示了他们的想法，成功的候选人将晋级到最后的 20 家参与机构。

5.BTC Relay搭建比特币和以太坊之间的桥梁，智能合约验证比特币交易

区块链技术公司 ConsenSys 和以太坊开发了 BTC Relay，这是一种允许以太坊用户使用比特币支付的以太坊合约。 BTC Relay 作为以太坊和比特币之间的桥梁，为想要使用以太坊和智能合约应用程序验证比特币交易的开发者提供了一个工具。 BTC Relay 社区的成员，称为 Relayers，为 BTC Relay 提供由比特币矿工生成的新比特币区块头。 以太坊应用程序开发人员可以通过从智能合约对 BTC 进行 API 调用来验证比特币网络活动。 任何人都可以加入以太坊网络并成为 Relayer，而无需花费硬件或电力。

6、KYC-Chain是唯一入围2016亚太金融科技创新实验室的区块链企业

2016年亚太金融科技创新实验室的组织者公布了八家入围初创公司的名字。 今年的重点是区块链技术、防欺诈、财富管理和其他金融服务。 令人惊讶的是，只有一家区块链初创公司进入了决赛，但总比没有好。 理论上，可以毫不夸张地说，KYC-Chain的概念非常具有吸引力。 世界各地的金融服务每天都在处理用户身份验证，但管理过程需要简化。 在这个过程中，区块链技术发挥着重要作用，可以提供众多选择。 KYC-Chain所做的是利用指纹识别技术、分布式账本技术等技术进行身份验证。 通过使用分布式账本技术，公司可以确保一定程度的透明度，同时保持大部分信息的私密性。 这样一个强大的解决方案可以为一线销售和合规人员带来很多好处以太坊智能链ethg，不仅可以在服务零售客户的同时节省成本，还可以提供持续的互动。 他们可以在安全、以消费者为中心的加密环境中与其他金融机构进行通信。 事实上，全球已有数家银行开始使用该平台，这意味着金融机构非常渴望开始创新。 区块链技术结合指纹识别技术可以在这个过程中发挥重要作用以太坊智能链ethg，从而创造出创新的解决方案。