区块链安全公司Halborn完成9000万美元A轮融资，Summit Partner领投

[区块链安全公司Halborn完成9000万美元A轮融资，Summit Partner领投]7月19日消息，区块链安全公司Halborn完成9000万美元A轮融资，Summit Partner领投，Castle Island Ventures, Digital Currency Group、Brevan Howard等参投。Halborn拒绝透露其估值。（彭博社）

其它快讯：

动态 | 国内高校区块链专利统计：广东工业大学排名第一:近日，互链脉搏统计了高校的区块链专利申请数排名。位列第一的是广东工业大学，共申请了59项区块链专利；其后是西安电子科技大学，共有46项；位列第三的电子科技大学申请了39项区块链专利。清华大学以34项的区块链专利申请数，排名第五。而北大、浙大等高校却未进前十榜单。[2019/9/27]

声音 | 李开复：区块链等代表着未来的技术:据每日经济新闻消息， 7月27日，在中国风投委、中国母基金联盟主办的“2019中国母基金峰会”上，创新工场董事长兼首席执行官李开复表示，商业模式创新的时代正渐行渐远，技术创新正成为价值创造的中坚力量。当下代表着未来的技术有很多，如AI、量子计算、生物医疗、区块链等。[2019/7/28]

声音 | 上海证交所前总工程师：AI能为国家监管区块链提供依据:4月22日，大数据文摘在微信公众号发布《中科院教授白硕：AI+区块链，两大神器如何助力商业新生态》，上海证交所前总工程师白硕接受采访表示，以比特币的交易为例，进行货币转让的人是匿名的，但他们的转账行为是公开的。我们可以使用人工智能去分析这些数据，从数据的结构和数据表现的行为中去发现是什么人在做什么交易，甚至是给不同的账户进行定量的画像和分析。这样人工智能就能为国家监管区块链提供依据。

利用智能合约的代码强制执行与信任和价值有关的业务流程将会成为区块链的常态。这些代码承载着信任的流动，一旦出错或者有安全隐患，很有可能引起灾难性的后果，所以很多人不约而同地将智能合约代码的把关工作寄希望于形式化验证。为了推动区块链长远健康的发展，使得更多信任的状态能够在区块链上流动，智能合约的正确性、安全性必须得到保证。目前看来，形式化验证是一个有效的解决方案。[2019/4/24]

郑重声明： 区块链安全公司Halborn完成9000万美元A轮融资，Summit Partner领投版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。