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