DeFi协议FinNexus已通过成都链安的安全审计

PANews 8 月 31 日消息，成都链安于今日宣布，已完成 DeFi 协议 FinNexus 项目的全面安全审计。

据了解，本次审计周期采用了形式化验证（ Formal Verification ）、静态分析（ Static Analysis ）、典型案例测试（ Typical Case Testing ）、人工审核（ Manual Review ）等形式，主要针对 FinNexus 项目的代码标准（ Coding Standards ）、安全性（ Security ）和业务逻辑（ Business Logic ）三个方面进行审计。 值得一提的是， FinNexus 项目整体的审计评级为优等（ Distinction ）。

据悉， FinNexus 是指为满足投资多样性、便捷性、以及价值基础三方面需求，运用区块链技术，构建实现资产、用户以及不同的服务商之间的交互的“开放金融连接器”的协议簇；从落地方面将衍生品赛道作为重点，并落地于去中心化期权。