快讯:
根据CoinMarketCap的数据,过去72小时内比特币的价格和成交量均大幅上涨,比特币价格一度触及了4000美元大关。价格推动了每日交易量的复苏,比特币每日交易量在2月19日达到了自去年5月3日以来的最高水平。此外,社交媒体上的评论员CityZenFrog表示,比特币的每日RSI指数达到了自2017年牛市结束以来的第二高。
加利福尼亚州一家稳定币创业公司2月20日发布的一份报告显示,稳定币将在主流采用加密技术方面发挥关键作用。此外,作者认为,委内瑞拉和安哥拉等恶性通货膨胀的发展中国家将是第一个采用稳定币的国家,而其他国家则会效仿。此外,报告称,稳定币可能有望成为一个价值数万亿美元的市场。
2月20日消息,拍卖公司Wilsons Auctions已获得拍卖被比利时政府扣押比特币的合同。拍卖师和顾问公司将于2月28日举行首次比特币拍卖,此次拍卖将24小时在线进行。据此前消息,比利时警方在扣押了大约315枚被用于在暗网贩卖毒品的比特币后决定将其拍卖。
根据CoinMarketCap的数据,过去72小时内比特币的价格和成交量均大幅上涨,比特币价格一度触及了4000美元大关。价格推动了每日交易量的复苏,比特币每日交易量在2月19日达到了自去年5月3日以来的最高水平。此外,社交媒体上的评论员CityZenFrog表示,比特币的每日RSI指数达到了自2017年牛市结束以来的第二高。
加利福尼亚州一家稳定币创业公司2月20日发布的一份报告显示,稳定币将在主流采用加密技术方面发挥关键作用。此外,作者认为,委内瑞拉和安哥拉等恶性通货膨胀的发展中国家将是第一个采用稳定币的国家,而其他国家则会效仿。此外,报告称,稳定币可能有望成为一个价值数万亿美元的市场。
2月20日消息,拍卖公司Wilsons Auctions已获得拍卖被比利时政府扣押比特币的合同。拍卖师和顾问公司将于2月28日举行首次比特币拍卖,此次拍卖将24小时在线进行。据此前消息,比利时警方在扣押了大约315枚被用于在暗网贩卖毒品的比特币后决定将其拍卖。
根据CoinMarketCap的数据,过去72小时内比特币的价格和成交量均大幅上涨,比特币价格一度触及了4000美元大关。价格推动了每日交易量的复苏,比特币每日交易量在2月19日达到了自去年5月3日以来的最高水平。此外,社交媒体上的评论员CityZenFrog表示,比特币的每日RSI指数达到了自2017年牛市结束以来的第二高。
加利福尼亚州一家稳定币创业公司2月20日发布的一份报告显示,稳定币将在主流采用加密技术方面发挥关键作用。此外,作者认为,委内瑞拉和安哥拉等恶性通货膨胀的发展中国家将是第一个采用稳定币的国家,而其他国家则会效仿。此外,报告称,稳定币可能有望成为一个价值数万亿美元的市场。
2月20日消息,拍卖公司Wilsons Auctions已获得拍卖被比利时政府扣押比特币的合同。拍卖师和顾问公司将于2月28日举行首次比特币拍卖,此次拍卖将24小时在线进行。据此前消息,比利时警方在扣押了大约315枚被用于在暗网贩卖毒品的比特币后决定将其拍卖。
区块链安全初创公司Synthetic Minds获550万美元种子资金,Pantera Capital领投

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

ElaineW 发布在 区块链 52996

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