纽约时间2019年1月4日，区块链安全公司CertiK和数字货币交易平台币安正式达成战略合作。作为币安第一家战略安全合作伙伴，CertiK不仅在2018年已经对币安交易平台自身的业务系统和代币进行了全面的安全审计，而且会在2019年对将要列在币安交易平台上的币进行自动化安全验证，排查代币在上线前所可能存在的安全漏洞，全面降低合约漏洞风险所可能导致的安全事故的概率，从而确保平台的健康运营和广大用户的数字资产安全。
在区块链生态中，交易平台是数字货币流通和价值确定的场所，也是财富的汇聚中心。集成了多个角色功能，如获客，交易，清算等。截至2019年初，共有2096种数字货币在二级市场进行交易。但是，相比传统金融市场完善的系统安全网络保障和严格的法律监管，数字货币交易平台由于其薄弱的防护体系，极易成为黑客攻击的主要对象。在2018年区块链安全事件中，针对交易所的黑客攻击约占所有事件的34%，其次是智能合约，约占所有事件的20%。
自区块链2.0时代以来，智能合约在承担众多商业活动运作和执行中展现了广阔的前景。然而，由于智能合约拥有开源以及一旦部署则不可修改的特性，非常容易遭受黑客的攻击。在目前公开曝光的区块链漏洞事件中，相当数量的漏洞来源于智能合约本身，所以在智能合约上线之前运用先进的安全审查技术筛查风险、保证广大用户的资产安全成了区块链安全领域的重中之重。
币安是全球最大也是最受欢迎的加密货币交易平台之一，拥有行业领先的全球布局和国际化的交易体验。根据CoinMarketCap的数据，币安24小时内交易量约为15亿美元。在自身快速发展和吸纳广大用户的同时，币安也将提升自身安全性、保护用户的数字资产列为了重要的发展方针。
美国形式化验证公司CertiK于2017年底成立于纽约及硅谷，为智能合约和区块链应用提供行业顶尖的安全审计和生态安全解决方案、与币安交易平台的发展诉求有着紧密联系。2018年10月，CertiK获得Binance Labs数百万美元的投资。币安孵化器是币安交易所旗下重要的投资机构，也是币安生态中重要的一环。集研究院，孵化器和生态基金于一身，管理的资产达到10亿美元。币安孵化器对CertiK的投资是对创新型形式化验证的认可，也预示了币安交易平台和CertiK达成战略合作的风向。
CertiK公司拥有全球领军的形式化验证科技，用严谨缜密的数学逻辑来推理演算从而证明智能合约的安全性。通过基于层的分解的模块化验证技术，将复杂的智能合约模块拆分为较小的可验证的模块，再转化为数学模型进行复合证明，大大提高了安全验证的弹性和效率。 CertiK的核心技术产品基于CertiKOS防黑客操作系统演变迭代而来，是两位创始人邵中教授和顾荣辉教授历时多年研究并投入千万美金的科研经费而成，其成果也被应用于科研以及航天级别的软件系统的原型设计和开发之中。
作为区块链安全产业中的佼佼者，CertiK已经和区块链生态中众多的数字货币交易平台以及公链达成深度合作，并为150家以上客户提供了值得信赖的安全审计服务，为优质的区块链项目保驾护航。截至目前已经保护了累计价值15亿美金的数字资产免受到黑客攻击。此次与币安交易平台的战略合作对于双方都是一个新的里程碑，标识着区块链行业在新的一年里对安全和规范领域的重视以及对其价值的肯定。CertiK将通过不断完善自身的安全验证科技，和币安交易平台携手加强公众对区块链安全领域的信任，在新的一年共同构建值得信赖的数字资产交易环境和区块链生态圈。
微信扫一扫 
