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。
最新评论
有没有邀请码?我也想进去玩!
现在的币圈,矿机,抄得真的好厉害。
网上劈天盖地区链块,有点深奥反正看不懂
最近几个月 行情一直不是很好呀
现在挖矿已经没啥意义了吧