智能合约形式化验证平台CertiK入驻Neutrino

新年伊始,国际知名的智能合约形式化验证平台CertiK正式签约入驻Neutrino北京区块链协作社区。这里也将成为CertiK拓展中国乃至亚洲市场的新起点。据悉,CertiK于2017年底成立于美国,办公地点设在纽约、硅谷以及北京,由耶鲁大学和哥伦比亚大学资深教研团队创立,研发实力强大,具有国际化视野。目前,CertiK的主要业务是通过我们独有的“深度规范”技术,为智能合约和区块链应用场景提供代码安全验证的服务,旨在打造安全可靠的区块链生态系统。

智能合约形式化验证平台CertiK入驻Neutrino

上一篇:

下一篇:

发表评论

电子邮件地址不会被公开。 必填项已用*标注

联系我们

NewBlock社群

QR code