区块链是什么意思 区块链安全初创公司Synthetic Minds获550万美元种子资金，Pantera Capital领投

10月22日，智能合约安全初创公司Synthetic Minds发布消息称，已获得Pantera Capital和科斯拉风险投资公司（Khosla Ventures）共计550万美元的融资。据悉，这笔资金将用于研究区块链网络编码错误分析技术。

总部位于旧金山的Synthetic Minds成立于2017年，是美国著名创业孵化器Y Combinator的项目，在此期间它获得了投资并推出了第一个版本。

Synthetic Minds利用计算机学科中的程序综合方法（program synthesis）来构建产品，该方法多用于处理高价值和永久性程序，例如美国国家航空航天局就将该技术应用于空间站和火星探测器。

由于空间探测和区块链程序具备上述共性，Synthetic Minds转用程序综合来设计自动读取和写入功能，并声称它能够“比人更好地分析和合成计算机代码”。

有了这一技术，区块链和智能合约开发人员可以专注于更高层次的设计，而该产品将检测和优化区块链网络代码中的技术缺陷。

该公司在新闻稿中写道：

待产品成熟时，借助程序综合方法，关键任务系统（mission critical systems）的大部分编程工作将由软件承担，而开发人员可以有更多时间设计高层级架构。

Pantera Capita此前已投资zcash，ShapeShift，以及最近由纽约证券交易所母公司ICE成立的加密资产交易平台Bakkt。