CertiK测试网上线啦！
CertiK的朋友们,
CertiK Chain测试网在今天成功上线啦！同时，欢迎您登陆CertiK Foundation网站（可通过点击“原文链接”访问）了解更多关于CertiK Chain的详细介绍。
CertiK Chain旨在以可访问、可兼容的方式利用CertiK独有的形式化验证平台，从系统层面解决区块链安全问题，为更多的区块链社区提供安全服务，为所有人构建一个更值得信赖的，更有安全保障的区块链生态系统。
在CertiK Chain中，智能合约将依据其各自的安全级别进行执行和交互，在确保安全可靠的前提下，充分发挥复杂分散计算的全部潜力。
CertiK开发团队围绕安全性进行了自下而上的整体构建。如在基础层上使用CertiK研发的CertiK虚拟机（CVM），它将对智能合约进行形式化验证，来确保合约实现的正确性。同时，CertiK Chain将使用经过验证的编译器，确保在将源代码转换为CVM字节码的过程中不会出现任何错误。
CertiK希望通过完善区块链基础架构，实现真正的端到端的安全。为实现这一目标，CertiK Chain的完整节点将运行在防黑客系统CertiKOS上，这将有效保障CertiK Chain各节点运行的安全与稳定。
CertiKOS系统由CertiK的两位联合创始人共同研发，是世界上第一个，也是唯一一个经过完全验证的并发式操作系统内核，是真正的防黑客系统。
CertiK Chain将服务于所有区块链开发者和爱好者。为提高通用性和易用性，我们将为开发人员提供CertiK主导研发的函数式编程语言DeepSEA来编写智能合约，并可兼容Hyperledger Burrow和以太坊虚拟机(EVM)。
未来，CertiK Chain愿与您同行，共同建设安全可靠的区块链世界！
如何为CertiK助力？
您可通过多种途径为CertiK的发展提供帮助。
您可选择微信、Twitter、LinkedIn等社交平台上转发我们的信息，同步宣传。
另外，您还可以通过登录CertiK Foundation官网，加入我们。点击Sign Up并按指示开始创建个人信息！
CertiK团队
CertiK成立至今，团队不断发展壮大，我们非常自豪能够为成为行业内最领先的安全公司砥砺前行。
在此，也非常感谢各界朋友和合作伙伴的支持！
您真诚的朋友，
CertiK 团队
关于 CertiK
CertiK公司于2017年底成立于纽约和硅谷，2019年初成立北京办公室，我们是由来自耶鲁大学和哥伦比亚大学的科研团队携数十年研究成果成立，通过形式化验证科技为智能合约和区块链应用及协议提供代码安全解决方案。团队迄今已经成功守护了价值近45亿美元的数字资产免受黑客攻击。
基于安全产业的信赖，CertiK已与Binance、Kucoin、OKEx和Huobi等世界顶级数字资产交易所，以及NEO、ICON、Terra和QuarkChain等公链建立战略合作伙伴关系。CertiK由Binance Labs、DHVC、Matrix、FBG、Bitmain、Lightspeed、Ceyuan等全球领先投资者共同孵化投资。目前，CertiK已经保护了超过45亿美元的资产免受损失。
邮箱：bd@certik.org
扫码加微信申请免费安全评估
了解更多
General Information: info@certik.org
Audit & Partnerships: bd@certik.org
Website: certik.org
Twitter: @certik.org
Telegram: t.me/certik.org
Medium:medium.com/certik
币乎：bihu.com/people/1093109
往期回顾
点击“阅读原文”访问CertiK Foundation官网。