Certora

CoinVoice最新获悉：7 月 20 日，流动性质押协议 pSTAKE Finance 将上线 BNB 流动性质押服务，允许用户通过质押 BNB 来铸造 stkBNB。BNB 流动质押的内部测试网一直在后台试运行当中，并由派盾 (PeckShield)、Halborn 进行审计，同时与 Certora 合作审核关键智能合约（包括质押、解除质押、委托）和监控智能合约规则。 此前报道，流动性质押协议 pSTAKE Finance 已上线 ETH 流动性质押服务，允许用户通过质押 ETH 来铸造 stkETH。[原文链接]

CoinVoice最新获悉：5 月 17 日，区块链智能合约安全分析公司 Certora 宣布完成 3600 万美元 B 轮融资，本轮融资由 Jump Crypto 领投，Tiger Global、Galaxy Digital、Electric Capital、ACapital、Framework Ventures、Coinfund、Lemniscap、Coinbase、VMware 等参投。[原文链接]

CoinVoice最新获悉：4 月 11 日，DeFi 协议 Bancor 宣布启动针对 Bancor V3 代码库的漏洞赏金计划，奖励将根据所披露错误的严重程度进行分配，最高可达 100 万美元。团队表示，尽管 V3 代码库 已由 OpenZeppelin、Peckshield 和 Certora 等安全公司进行了多轮审计，但为确保尽可能高的安全性，团队仍邀请开发人员和白帽黑客审查代码。 此外，V3 主网发布时间预计为 5 月中旬。此前报道，Bancor V3 将推出 Omnipool、Infinity Pools和无常损失保护等新功能。[原文链接]

CoinVoice最新获悉：去中心化金融协议 dForce 针对其借贷和合成资产协议核心功能在 DeFi 赏金网络 Immunefi 发布漏洞赏金计划，赏金根据漏洞严重程度分级，单个漏洞最高奖励 25 万美元。此前 dForce 已经聘请 Trail of Bits、ConsenSys Diligence、CertiK、Certora、派盾科技、慢雾科技、安比实验室等机构对 dForce 原生协议进行了代码审计和形式化验证。

CoinVoice最新获悉：去中心化交易协议 Balancer 计划于下周进行 V2 版本的升级，团队还发起了一个提案，询问用户是否支持给 Balancer Labs 紧急暂停的权限，并且是否授予 Gauntlet Network 可以设置交易费用的权限。紧急暂停权限是为了减轻协议在上线后三个月内可能发生漏洞的影响，虽然治理的多签将有权限可以暂停协议，但是给 Balancer Labs 这个权限可以更快的执行该操作。此前 Balancer V2 合约现已上线以太坊主网，并已通过 Trail of Bits、OpenZeppelin 和 Certora 的安全审计，预计 V2 版用户界面将于 4 月 28 日发布。

来源链接

CoinVoice最新获悉：去中心化交易协议 Balancer Labs 针对 Balancer V2 推出漏洞赏金计划，赏金最高达 1000 ETH，具体来说，将向高危严重漏洞发现者奖励 1000 ETH （或 200 万美元），向高危漏洞发现者奖励 250 ETH （或 50 万美元），向中等漏洞发现者奖励 25 ETH （或 5 万美元），向低危漏洞发现者奖励 5 ETH （或 1 万美元）。

Balancer V2 将会引入新的 Vault，负责持有和管理所有 Balancer 池添加的所有资产，极大提升 Gas 效率和降低 Gas 成本，另外，还会引入可自定义 AMM 逻辑。Balancer Labs 表示，目前 Balancer 已通过 Trail of Bits、OpenZeppelin 和 Certora 完成了智能合约审计，此次漏洞赏金是针对 Balancer 核心合约 V2 版本的的一项计划。

来源链接

CoinVoice最新获悉：DeFi 聚合平台 Furucombo （COMBO）在更新的攻击调查进展中表示，攻击事件已报告给执法部门； 安全公司 Certora 已开始进行全面审计，正寻求再进行一次审计； 迁移计划即将准备就绪，将在本周发布。此前报道，2 月底，Furucombo 遭遇攻击，价值约 1500 万美元资金受到影响。

来源链接

CoinVoice最新获悉：去中心化金融协议 dForce 即将发布借贷协议 V1 版本，现已通过区块链安全审计公司 CertiK、Certora 进行的安全审计和形式化验证。同时，dForce 将再聘请两家审计机构对 V2 进行安全审计。

dForce 借贷在资金池模式上，增加了超额抵押多货币贷款，允许用户通过超额抵押的方式生成不同币种的稳定币贷款，亮点包括增强风控模型、支持闪电贷、多货币支持、定制的公有或私有池、固定利率 / 期限存款、无抵押借贷、共享授信额度等功能。

CoinVoice最新获悉：去中心化借贷协议 Aave 宣布其 V2 版本已通过安全机构 Sigma Prime 的安全审计，这也是 Aave V2 协议完成的第五次安全审计，此前是 Certik、Certora、Mixbytes、PeckShield 进行过安全审计。该审计报告显示共发现一个高等级和一个低等级的安全漏洞，目前均已修复。

来源链接