通过形式化验证，确保智能合约及区块链系统的安全性。
CertiK 致力于通过全球领先的形式化验证技术，提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。
该公司是由三位计算机科学领域的自身教授创立的公司，团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉，项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授，拥有 20 余年安全领域经验；顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。
【Yearn创始人：最近的审计意味着Yearn项目并非100%安全】金色财经报道，Yearn.Finance创始人Andre Cronje最近公开了该项目的安全审计。他解释称，之所以此前未公布这些几个月前完成的审计，是为了不让用户产生错误的安全感。据悉，Cronje昨日在该项目的GitHub存储库上发布了五项审计，于2月至7月之间由Certik和等主要审计机构执行。其中已发现的某些漏洞被归类为“严重”。如Certik识别出一个重大漏洞，在相当普遍的情况下，该漏洞可能会暂时阻止用户提取所有资金。对此，Cronje解释说，尽管这是设计选择，但仍然是一个漏洞，如果用户放贷，借入的资产会多于可收回的流动性。此外，他表示，其他主要的DeFi项目（例如Compound和Aave）同样也存在这项漏洞。
【动态 | 币安实验室向智能合约验证平台CertiK投资数百万美元】据Coindesk消息，币安实验室近日向智能合约验证平台CertiK投资，投资额达数百万美元。据悉，CertiK为初创型企业，其中两名创始人分别来自美国的耶鲁大学和哥伦比亚大学。
【动态 | 应用链MduKey主网已顺利启动，多家顶尖机构已加入其验证人生态 】据官方消息，2020年1月3日，应用链MduKey主网已顺利启动并开启Staking，主网代号\"昆仑\"。 InfStones、火币矿池、HashFin、MEET.ONE、Wetez钱包、Cobo钱包、麦子钱包、CertiK、虎符科技、币币生息矿池、Ourea Group、Nodeasy、BEPAL、HyperPay、共识实验室等多家顶尖机构已陆续加入MduKey验证人生态。详情点击原文链接。
【OKChain月报：OKChain测试网已升级至0.10版本】据6月10日OKChain官方发布的月报显示，在OKChain公链技术方面，其测试网已升级至0.10版本，新增超级节点竞选及一票多投等功能。并通过OpenDEX向用户提供了运营DEX的核心技术，可以开设DEX和发行交易对。 据悉，OKChain现已全面开启超级节点候选人招募，在测试网阶段成为超级节点的机构和项目，将在主网第一阶段保留超级节点名额。 在产品设计方面，OpenDEX桌面版设计已完成50%，原型稿进入UI设计阶段；DEXOperator功能已实现45%；币币杠杆开发进度完成60%。此外，Wasm智能合约及同构跨链等产品功能也实现突破性进展，其中测试合约代码已完成60%，跨链测试已完成并正式接入Iris钱包。 在生态建设方面，目前已有三十余家来自公链、浏览器、钱包、矿池以及安全机构等五大领域的机构和项目方加入到OKChain生态建设。版本升级后收到包括FIBOS、Kava、Bytom、CertiK、IRISnet、NULS、Vite、YeeCo以及TruChain等多个机构的提案支持。 此外，OKChain首届“黑客松”大赛已正式启动，开发者可通过对OKChain技术发展、产品设计以及生态规划进行提案，也可以基于OKChain测试网打造开发者工具、制作浏览器和钱包以及提供staking产品服务等。优秀参赛团队最高可获得价值5000美金的OKB奖励。
【金色晨讯 | 《银行业金融机构反和反恐怖融资管理办法》发布实施】1.福布斯：2019年或成为企业区块链之年。 2.CertiK正式加入通用协议联盟。 3.欧洲期货交易所计划推出BTC、ETH和XRP的期货合约。 4.Cardano建立EMURGO学院进入印度市场。 5.三星Galaxy S10内置区块链钱包支持比特币和以太坊。 6.天猫国际将上线全链路溯源系统。 7.《银行业金融机构反和反恐怖融资管理办法》发布实施。 8.传统银行Bank Frick将推出加密货币交易平台。 9.火币韩国站已加强反保护措施。 10.挖掘门罗币的恶意软件正在感染Windows系统。
【OKChain首批生态伙伴公布：30家知名企业，覆盖5大领域】4月17日消息，OKChain今日公布了开源后的首批生态合作伙伴名录，其中包括COSMOS、BYTom、CERTIK、IRISnet和CONFIUX等在内的共计30家知名企业。据悉，围绕着OKChain5大生态建设方向，首期OKChain生态合作伙伴覆盖了公链、Pos矿池、区块链浏览器、钱包以及其他合作形式等在内的共计5大重要领域。 据了解，基于OKChain创新跨链技术，目前已实现了与Cosmos生态的跨链互通。未来OKChain将通过独有的“跨链工具包”，简单高效地实现与更多公链生态的价值互通、用户互通、场景应用互通，最终实现生态体系的共建，构建完整价值增值体系。 OKChain生态无边界、0审核运转等优势设计，也将充分调动生态内合作伙伴优势，达成公链内外部的高效协作与对接，实现“1+1>2”的联动效应。而伴随着OKChain完成100%开源，全生态内的节点，都将可以共享平等、高效、自由的公链生态赋能。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。