首页 > 科技未来 > 内容

形式化验证公司Certik获币安孵化器数百万美元投资

发布于：2024-06-17 编辑：匿名来源：网络

据投资界10月10日消息，美国形式化验证公司CertiK披露，获得币安孵化器领投的数百万美元投资。

今年年中，Certik获得了光速中国的投资。

　　CertiK平台首次推出的DeepSpec技术已为数十家区块链公司完成了智能合约的形式化验证。

CertiK团队的核心源自美国专利技术CertiKOS反黑客操作系统。

这项技术邵中·教授和顾荣辉教授已经研究了很多年。

由于其极高的安全系数，已成功应用于包括政府、企业在内的各个领域。

　　作为高科技创新投资的先行者，光速中国非常看好CertiK这家基于深度规范技术（DeepSpec）的公司可能给区块链行业乃至整个软件行业带来的非凡价值。

形式化验证公司Certik获币安孵化器数百万美元投资

未来。

光速中国创始人合伙人米群认为：“安全问题是限制区块链发展的核心底层问题。

CertiK在深度标准化技术领域拥有全球顶尖团队，我们非常看好CertiK未来的发展前景”他们在全球地区拥有强大的影响力。

”区块链安全领域正在逐步确立领先地位，有望给区块链安全领域带来颠覆性突破。

”　　目前，光速在区块链领域投资了比特币中国、巴比特等。

Blockchain.info、Melotic、Zhongxianbit等。

同时还投资了美国的Telegram、Basecoin等明星项目。

　　币安孵化器是全球最大的加密资产交易所币安旗下的专业投资机构。

集科研院所、孵化器、生态基金于一体，投资规模10亿美元。

此次对CertiK的投资是币安孵化器对创新形式化验证的认可。

　　币安孵化器首席执行官Ella Zhang认为，“CertiK利用数学模型自动验证智能合约的安全性，打破了手动验证的限制，解决了当今区块链生态系统的一个关键痛点，同时也保护了我们时间。

交易用户，它正在逐渐成为交易和上市的行业标准。

站长声明

标签：

上一篇：妙健康获近5亿元C轮融资，完成五大业务板块布局

下一篇：“AI+建筑设计”公司耀铭科技完成近亿元A轮融资，嘉誉基金共同投资

关于北交所和专特新产品，官方这次明确了……

距离北交所开业已经三个多月了。截至2月21日，北京证券交易所上市公司84家，战略新兴产业、先进制造业、现代服务业占比87%。新三板有创新层上市公司和基础层上市公司。接下来，其如何“打造服务型创新型中小企业主阵地”，持续推动改革发展也备受市场关注和期待。而且，市

06-18
俏江南通过港交所听证会拟IPO融资100-2亿美元

据路透社报道，中式餐饮集团俏江南已通过港交所听证会获准在香港上市，筹集资金100-2亿美元。不过，该公司尚未确认具体的发布和分发时间表。德银和瑞银是此次交易的联席主承销商。　　美丽江南原计划在内地上市，但因1月底证监会宣布暂不批准其上市申请，公司改赴香港上市

06-18
东车日报 -特斯拉自动驾驶团队裁员200人-蔚来祸不单行，被海外机构做空-红牛要造超级跑车

简介何小鹏把朋友圈当公众号，我们了解了G9旗舰更多信息生产饮料的红牛即将推出一款超级跑车，预计将出售。万元福特正在北美召回 F-Lightning 车辆。特斯拉电动皮卡裁员仍在继续，其自动驾驶团队也已被裁员。蔚来的麻烦从来都不是单一的，曾被海外机构做空。马斯克从21号

06-21
润迈医疗获近亿美元D轮融资，由平安资本

投资圈（ID：pedaily）领投 12月1日消息，据36氪报道，苏州润迈医疗科技有限公司（简称“润迈医疗”）简称“德医疗”）完成近1亿美元D轮融资，由平安资本领投，国际资本Seresia Asset Management、Lighthouse Canton等跟投。本轮融资将用于加速公司冠状动脉血流储备分数测量

06-17
大更新！你不用再在微信上从头听起60秒的长语音了，随时可以暂停

1月15日，微信iOS版8.0.17更新。乍一看，它仍然是“解决一些已知问题”的常规更新，但大多数人不知道的是，大家期待的“语音进度条”有不同的解决方案——暂停播放。对于长语音，在播放过程中按住可暂停语音。右侧将出现“继续播放”按钮。单击该按钮，语音将继续播放。

06-21
佛山市禅城区产业创新发展投资基金，规模5亿元

禅城区于近日启动《佛山市禅城区促进经济平稳增长若干措施》。具体内容如下：一、加大金融对实体经济的支持（一）降低企业续贷成本。 2020年12月31日前，禅城区企业使用禅城区支持企业融资专项资金续贷，免收资金使用费。区外企业资金使用费降至每天0.1%。对受疫情影响较

06-18
海南自由贸易港建设投资基金出资11.7亿，参与5支子基金

据投资界（ID：pedaily）8月11日消息，据海南金融集团，按照《海南自由贸易港建设投资基金管理办法》（琼府办【国发】71号）、海南省金融集团有限公司联合海南自由贸易港建设投资基金管理人银河创新资本管理有限公司，通过征集、申报、到期等程序选定5家勤勉尽责、专家评审会

06-18
科创板上市委员会：云从科技集团股份有限公司首次公开发行股票获批

据上交所官网消息，云从科技集团股份有限公司首次公开发行股票获批；上海海和医药研究开发有限公司被停牌审查。

06-18
氮硅科技完成A轮融资，魅族联合创始人白永祥领投

投资界（ID：pedaily）消息，近日，氮化镓初创公司氮硅科技完成数千万A轮融资。本轮融资由前魅族联合创始人领投，兰璞资本、亚商资本跟投。本轮资金将主要用于产品研发和产品销售。我们将继续加大研发投入，拓展应用市场，确保在工业应用领域取得突破，并力争2019年在汽车

06-18
【创业24小时】2024年2月27日

2024年2月27日，行业大公司The Paper OS“出海”，小米MWC展前发布会信息量巨大。点击查看淘特否认将退出历史舞台，但淘宝面临的竞争将更加残酷。点击查看今年的好莱坞大片能否止住颓势？点击查看远程登录草稿。还有市场吗？点击查看抖音批量低价，“再造”拼多多？点击查

06-18
看谷歌和OpenAI如何联合发布五项AI法则打霍金脸

近日，谷歌和OpenAI的博客宣布了一项由谷歌、OpenAI、伯克利和斯坦福的学者联合进行的研究，其目的是为AI提供有效的行为约束，使其不会有意无意地做出危害人类的事情。阿西莫夫的律法已经成为过去。人工智能的担忧和局限性甚至在人工智能概念诞生之前就已经存在。在那个人

06-18
十年梦想，长期为A股IPO奋战的“老兵”们现在怎么样了？

中国新集团、乔丹体育、新莲花都对A股市场情有独钟。尽管三家公司目前的状况不尽相同，但其漫长而坎坷的上市之路背后都或多或少存在着问题。这反映出市场对问题企业“不妥协”的态度。

06-17