为进一步加强平台安全保障,提高智能合约安全,Beosin成都链安正式宣布与FinNexus达成安全合作协议,成都链安将用完善的安全解决方案帮助FinNexus提高平台安全性,保障用户资产安全。
通过本次合作,双方将在智能合约安全性审计,智能合约安全、安全威胁情报、资金安全保护、项目态势感知和安全风控、安全咨询和顾问、数字资产追溯和反洗钱等方面形成合作关系,健全防御体系,共同维护安全区块链环境。
FinNexus是第一个上线即实现商业落地的Defi协议,宗旨是打造以便捷运行更加丰富的数字资产为目标的区块链金融协议,团队成员来自Wanchain,猎豹等区块链、传统金融及互联网的巨头企业。
此次成都链安将基于FinNexus平台展开深度的区块链安全以及智能合约、审计等多方面探索,作为全球最早一批将形式化验证技术应用到区块链安全领域的公司,凭借“一键式”智能合约形式化验证安全检测平台(Beosin-VaaS),全球审计合约超1000份,已入选Etherscan智能合约安全审计推荐名单。