近日，BitMart宣布与区块链安全审计公司CertiK达成战略合作协议，标志着BitMart在不断提高加密货币交易安全性的道路上更进一步。未来，CertiK将通过提供专门针对区块链行业的智能合同审计、智能合同自动化验证以及CertiK自动引擎扫描等服务，为BitMart创建一个高度安全有保障的交易环境保驾护航。

作为区块链技术生态系统中最关键的组成部分之一，BitMart在此次与Certik的战略合作中格外重视智能合约的安全性。通过专业化的智能合同审计服务，CertiK能够保障BitMart不因合约中的漏洞而遭遇盗窃或被恶意行为者利用。

CertiK于2017年成立，联合创始人之一是来自耶鲁大学的终身正教授邵中。邵中利用其在耶鲁大学数十年的研究成果，携手一众区块链安全精英，致力于为目前所有区块链应用提供最先进的安全性服务。除了有来自耶鲁大学和哥伦比亚大学的全明星科学家团队外，CertiK还得到了来自谷歌、Facebook以及FreeWheel的高级软件工程师的紧密支持。通过这样一支能委以重任的团队，CertiK能够帮助BitMart解决区块链空间的复杂问题，以确保其智能合约的安全性和稳定性。

据悉，CertiK是最早一批应用数学方法检查计算机系统和智能合同的可靠性及安全性的公司之一。“不可否认，区块链确实容易受到各种不确定性和风险的侵略，但并非不可改变。”CertiK联合创始人邵中表示：“一旦有了一个正式的验证过程，我们所提交的每个代码在被接受前都将受到数学验证的检查。如此一来，我们就可以在区块链上部署任何东西，而不用担心系统遭受黑客攻击。”通过应用这一突破性的区块链技术，CertiK将帮助BitMart积极预防黑客攻击，打造全方位零漏洞的安全交易环境。

“在不断追求更加安全的交易环境这条道路上，我们从未止步。”BitMart创始人兼CEO夏尔特表示：“作为一个全球领先的交易平台，我们时刻铭记BitMart不仅要对我们的投资者、合作伙伴以及超过五十万全球用户负责，更要对我们的整个社区负责，以确保我们的交易平台是安全且有保障的。此次选择CertiK作为平台安全方面的战略合作伙伴，我们十分看重CertiK的强大实力，我坚信CertiK的专业团队将能为BitMart筑起一道坚实的平台安全防护墙。”

关于BitMart

BitMart是由众多华尔街精英人士打造的全球化综合交易平台，目前排名全球权威加密货币追踪网站CoinMarketCap (CMC)前10。BitMart旨在提供币币交易、期货合约、融资融币、场外交易、全网交易，去中心化交易等多样化的系统功能，满足各类投资者的交易需求。目前，BitMart拥有162个交易对，4个交易区（BTC, ETH, USDT 和BMX)，市场规模覆盖180多个国家。此外，BitMart已获得美国金融局MSB (Money Service Business) 牌照资格，可在美国大多数州合法开展币币交易。

详情请关注官网，或加入电报群获取最新信息。

关于CertiK

由耶鲁大学和哥伦比亚大学著名教授联合创立的CertiK，是在专注区块链的可靠性和安全性方面最具影响力的公司之一，在区块链领域被誉为“军用级别”的黑客抵御能手。CertiK通过一个正式的验证框架，用于在数学上证明智能合约和区块链生态系统是无缺陷和抵御黑客的。为了扩展验证，CertiK开发了一种基于图层的方法来将这种验证任务分解的更小。这些较小的证明任务可以在CertiK交易中编码，然后由参与者以分散的方式证明和验证。因此，CertiK分类账本作为证书展示经过验证的智能合约和经过验证的区块链生态系统的端到端正确性和安全性，使其完全值得信赖。