8BTCCI: 13899.34 +1.40% 8BTCVI: 6905.85 +0.69% 24H成交额: ¥3152.68亿 -16.03% 总市值: ¥19145.33亿 +1.30%
区块链安全初创公司Synthetic Minds获550万美元种子资金,Pantera Capital领投

区块链安全初创公司Synthetic Minds获550万美元种子资金,Pantera Capital领投

ElaineW 发布在 区块链 263313

Synthetic Minds

550万美元

领域:区块链区域:不详

轮次:种子轮时间:2018-10-23

机构:Pantera Capital,Khosla Ventures

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。

文章标签: Synthetic Minds
评论(1)
登录 账号发表你的看法,还没有账号?立即免费 注册
  • merry 2018-11-14
    https://blockmeta.com/tx/c58101be1dc277c1f292c2d8e677a85adba0b7cbf5144354cf7bd18ddceca0e9非常感谢 赞助34.68BTM