成都链安已完成对Defi协议FinNexus项目的安全审计

Beosin成都链安 阅读 45639 2020-9-4 14:48
分享至
微信扫一扫,打开网页后点击屏幕右上角分享按钮

以『让生态更安全』为使命的行业头部公司宣布,已完成对的全面安全审计。

于2020年8月20日收到了FinNexus项目的安全审计申请。本次审计周期自8月20日开始,至8月22日结束。成都链安在对finNexusLiquidity的审计方法上采用了:

▷形式化验证(Formal Verification)

▷静态分析(Static Analysis)

▷典型案例测试(Typical Case Testing)

▷人工审核(Manual Review)

等形式,主要针对finNexusLiquidity的

▷代码标准(Coding Standards)

▷安全性(Security)

▷业务逻辑(Business Logic)

三个方面进行审计。

经过成都链安专业且严密的安全审计流程之后,finNexusLiquidity在:

▷代码协议(Coding Conventions)

▷函数调用审计(Function Call Audit)

▷业务安全(Business Security)

等各层次类目上都获得了成都链安的审计结果:。

成都链安已完成对Defi协议FinNexus项目的安全审计

值得一提的是,finNexusLiquidity整体的审计评级为。后续,成都链安·安全审计团队将为FinNexus项目出具权威的,此审计报告受到全球众多主流交易所的认可。

此次审计目的旨在对FinNexus项目展开多维度的安全审计,以助力FinNexus项目能够在安全无虞的底层技术框架之上,。审计结果已表明,FinNexus项目已做足准备。

成都链安已完成对Defi协议FinNexus项目的安全审计

作为全球领先的区块链安全公司,成都链安自成立以来,就,并不断打造区块链安全颠覆性的核心技术,为全球区块链企业的安全保驾护航。在对项目的安全审计方面,成都链安,长久以来都受到业内客户和合作伙伴的。

迄今为止,基于的『四大核心安全产品』和『八大明星安全服务』,成都链安已与信通院、微众银行、万向区块链、蚂蚁链、腾讯区块链、布比、云象、普华永道、火币、OKEx等国内外多家区块链头部企业建立了深度合作关系,并为全球多份智能合约、多个区块链平台和落地应用系统、近家数字金融企业提供安全审计与防御部署服务。

成都链安已完成对Defi协议FinNexus项目的安全审计

▲部分【智能合约】合作伙伴展示

关于FinNexus

FinNexus是指为满足三方面需求,运用,构建实现资产、用户以及不同的服务商之间的交互的的协议簇;从落地方面我们将衍生品赛道作为重点,并落地于去中心化期权。

FinNexus起步于期权产品,但目标不止于此,在借贷,稳定币等基础金融产品已经被龙头占据的情况下,FinNexus希望通过期权产品和创新的保证金抵押池模式以更高的纬度切入赛道,并基于保证金抵押池模式和围绕FNX的生态价值纠缠设计,逐步开发出更多Defi衍生品和其他创新型的Defi金融产品。

成都链安已完成对Defi协议FinNexus项目的安全审计

关于成都链安(Beosin)

成都链安,全球领先的区块链安全公司,成立于2018年3月,,总部位于成都。团队核心成员是由从事信息安全长达20多年的海内外知名高校教授、博士后、博士以及曾任职于阿里、华为、360等知名企业的网络安全精英组成。公司已获前海母基金、联想创投、复星高科、成创投、任子行、界石资本、盘古创富、分布式资本等知名机构的多轮投资。

以网络安全、形式化验证、人工智能和大数据分析四大技术为核心,打造了面向区块链全生态安全的,为区块链企业提供安全审计、虚拟资产追溯与AML反洗钱、安全防护、威胁情报、安全咨询和应急等全方位的安全服务与支持,实现区块链系统『研发→运行→监管』全生命周期的安全解决方案。

成都链安以为使命,以为愿景,不断打造区块链安全颠覆性的核心技术,为全球区块链企业的安全保驾护航。

btcfans公众号

微信扫描关注公众号,及时掌握新动向

来源链接
免责声明:
1.资讯内容不构成投资建议,投资者应独立决策并自行承担风险
2.本文版权归属原作所有,仅代表作者本人观点,不代表比特范的观点或立场
上一篇:Filecoin工程经济研讨会实录:太空竞赛与经济模型最新解答 下一篇:Telegram首席执行官称全球对科技禁令的抵制“才刚刚开始”

相关资讯