CertiK今天正式宣布CertiK Chain测试网上线
今日,区块链安全公司CertiK正式宣布CertiK Chain测试网上线。CertiK Chain旨在以可访问、可兼容的方式利用CertiK独有的形式化验证平台,来从系统层面解决区块链安全问题。CertiK开发团队围绕安全进行了自下而上的整体构建,如在基础层上使用CertiK虚拟机(CVM),完整节点将运行在防黑客系统CertiKOS上,并开发了DeepSEA语言来创建安全智能合约等。CertiK由耶鲁大学计算机系系主任邵中教授与哥伦比亚大学顾荣辉教授于2017年创立,专注于区块链安全领域,已成功保护累计超过45亿美元的加密资产。
- 免责声明
- 世链财经作为开放的信息发布平台,所有资讯仅代表作者个人观点,与世链财经无关。如文章、图片、音频或视频出现侵权、违规及其他不当言论,请提供相关材料,发送到:2785592653@qq.com。
- 风险提示:本站所提供的资讯不代表任何投资暗示。投资有风险,入市须谨慎。
- 世链粉丝群:提供最新热点新闻,空投糖果、红包等福利,微信:juu3644。

转载



