通过形式化验证，确保智能合约及区块链系统的安全性。
CertiK 致力于通过全球领先的形式化验证技术，提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。
该公司是由三位计算机科学领域的自身教授创立的公司，团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉，项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授，拥有 20 余年安全领域经验；顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。
【公告 | Taxa Network已通过区块链安全公司CertiK智能合约安全审计】Taxa团队宣布已通过区块链安全公司CertiK智能合约的安全审计，这将确保Taxa主网在今年春天顺利发布。CertiK的智能标签对TXT智能合约源代码进行了100%形式化验证覆盖，并辅以安全专家人工逐行审核。审计结果认为TXT智能合约结构坚固，不存在整数溢出、函数错误、缓冲区溢出等漏洞。
【动态 | CertiK Foundation推出专注于安全的区块链】据Cointelegraph消息，区块链网络安全公司CertiK宣布推出本土认证链区块链。此区块链的全部节点将运行在CertiKOS上，并表示，这是一个”经过充分验证的管理程序/并发操作系统内核“，提供军事级别的安全防范黑客攻击。此外，公告还声明区块链是由CertiK虚拟机支持，该虚拟机使用了公司的正式验证平台来确保其正确实现。
【金色财经现场报道 圆桌环节嘉宾关于超级节点会不会在此后成为新的商业模式的观点】金色财经现场报道，今日在纽约举行的2018区块链无国界峰会上，Certik联合创始人顾荣辉表示超级几点在接下来的一段时间内还会比较火热。 星云链联合创始人钟馥百表示超级节点不是一种商业模式，是分片的形式。 IOST联合创始人及CEO钟家鸣表示很多项目都决定做超级节点。EOS主网后半年上市后如果效果好，90%都会跟随退出超级节点。钟家鸣认为超级节点不是最终的完美解决方案，真正可以落地的产品不能太复杂，他们想做出一个更有意义的项目。Hydro Protocol联合创始人王博闻超级节点只是一种尝试，超级节点不一定能解决项目问题，目前确实比较火热。
【动态 | Staking矿池HashFin已加入MduKey测试网络】官方消息，2020年1月2日，HashFin「hashfin.com」已加入MduKey测试网络，HashFin是专注于POS相关共识机制公链的专业生态服务机构，目前已成为IOST、VITE、ARPA等项目的出块节点，EOS的超级节点。 MduKey是基于区块链的自我主权数据隐私系统，为中小型企业提供引流服务。当前已加入MduKey测试网络的机构验证人有：InfStones、Wetez钱包、麦子钱包、MEET.ONE、币币生息矿池、Cobo钱包、Ourea Group、Nodeasy、BEPAL、CertiK、虎符科技、火币矿池、共识实验室、HashFin等}
【安全公司：SushiSwap仿盘YUNO与KIMCHI智能合约漏洞或存安全隐患】CertiK安全研究团队发现Sushiswap仿盘的两个项目YUNo Finance（YUNO）与KIMCHI.finance（KIMCHI），其智能合约均存在漏洞。如果利用该漏洞，智能合约拥有者可以无限制地增发项目对应的代币数目，导致项目金融进度通胀并最终崩溃。为了确保无限增发漏洞不会被触发，对于Yuno和Kimichi两个项目的智能合约拥有者必须由外部进行限制。当前已经实施的限制条件与Sushiswap项目一致，即对任何由智能合约拥有者进行的智能合约操作，均有48小时的延迟。任何来自智能合约拥有者的操作都会被所有投资者观察到，并有48小时进行应对操作。
【CertiK 基金会发出声明：注意冒充 “CertiK” 及“CertiK基金会”等名义的不法分子】近日，我们发现有不法分子在网上冒充 “CertiK” 及“CertiK基金会”等名义利用代投等方式在中国境内公开募集资金。请大家注意，CertiK基金会不会以任何形式对中国公民进行公开募资。请大家务必擦亮双眼、提高警惕，不给不法分子以可乘之机。任何消息以官网certik.org为准。CertiK 基金会将启动法律调查程序，对不法分子追究其法律责任。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。