Sherlock

DeFi 保险为何没人买？

收益被保费掏空、承保资本严重不足、连锁风险无解。

Aave 提议重组漏洞赏金体系，V3 与 V4 严重漏洞最高赏金拟提升 5 倍

Aave Labs 提议重组漏洞赏金体系，将不同协议模块拆分至多个独立赏金计划，并分别由 Immunefi、Sherlock 与 Cantina 运营。其中 Aave V4 严重漏洞最高赏金拟由 50 万美元提高至 250 万美元，Core Aave V3 严重漏洞最高赏金则拟由 100 万美元提高至 500 万美元。该提案还计划将 Aptos 上 Aave V3 漏洞赏金资金责任由 Aave Labs 转移至 Aave DAO，并在未来 6 至 12 个月内评估多平台并行模式的运行效果。

Aave Labs 提议推出 V4 专项漏洞赏金计划

Aave Labs 提议启动一个专门针对 Aave V4 版本的漏洞赏金计划，该计划将托管在安全平台 Sherlock 上，旨在为 Aave V4 建立一个安全报告通道，并配备分级处理机制以减少垃圾报告，优先处理高风险漏洞并加快处理流程。Sherlock 此前已与 Aave 贡献者就 Aave V3 及 V4 早期安全工作开展合作，并为报告、分类和升级工作建立了共享标准。

Phoenix Finance 主网上线，将于 1 月 26 日启动 Season 0 积分系统活动

AI 驱动的 RWA 收益稳定币协议 Phoenix Finance 宣布主网上线。用户现可通过官方界面访问主网，体验 PUSD（支付型稳定币）铸造及 yPUSD（收益型稳定币）的自动复利功能。 Phoenix Finance 将于 1 月 26 日启动 Season 0 积分系统活动。

PMX：仍在接受审计，将逐步推出受限版本的机器人

预测市场 TG 机器人项目 PMX 发文称，其仍在接受审计，因此开始逐步推出受限版本的机器人。受影响的用户将在机器人全面上线后看到他们的余额。审计方选定为区块链安全公司 Sherlock。Foresight News 此前消息，PMX 发推表示，其 Polycule 机器人遭黑客攻击，损失约 23 万美元资金。官方表示，补丁和审核工作将于周末前完成。在此之前，该机器人将处于离线状态。

Yearn 集成 Liquity V2，推出自动复利稳定池产品 yBOLD

Liquity 宣布 Yearn 推出名为 yBOLD 的以太坊原生自动复利金库，将成为首批集成 Liquity V2 的 DeFi 产品之一。该金库可将用户的 BOLD 自动分配至多个稳定池并复利 ETH 奖励，旨在统一管理、提升收益。官方表示，yBOLD 正在接受由 Sherlock DeFi 举办的审计竞赛，预计将于 5 月 25 日结束。产品将在下周上线。

Usual 推出 1600 万美元漏洞赏金计划，为当前金额最高的赏金项目

去中心化稳定币协议 Usual 与区块链安全公司 Sherlock 合作推出漏洞赏金计划，悬赏最高 1600 万美元寻找代码库中的关键漏洞。该奖金数额超过了此前 Uniswap (1550 万美元 ) 、LayerZero Labs (1500 万美元 ) 和 Wormhole (1000 万美元 ) 设立的奖金，成为目前最大的最大的漏洞赏金项目。Usual 表示，其代码库已经经历了 20 次审计，包括最近一次 Sherlock 审计竞赛，但未发现任何中等或更高级别的漏洞。

去中心化借贷协议 Ajna 上线以太坊主网

DeFi 点对点借贷协议 Ajna Protocol 宣布在以太坊上推出，允许通过其池贷出所有 ERC-20 代币，并借入 ERC-20 和 ERC-721 系列资产。Ajna 是一个非托管、点对点、无需许可的借贷和交易系统，不需要治理或外部价格流。 Ajna 能够接受 ERC-20 代币作为报价代币，并接受 ERC-20 以及 ERC-721 代币作为抵押代币。一旦创建了资产配对，任何用户都可以通过质押抵押品进入池子借出或借入报价代币。根据官网，Ajna 顾问包括 Maple Finance 智能合约技术主管 Lucas Manuel 和 MakerDAO 区块链架构师 Bartek Kiepuszewski。

OP Labs：将对 Bedrock 升级最终审计存在问题进行更改，至少提前 3 周宣布升级日期

OP Labs 发推称，智能合约审计平台 Sherlock 对 Optimism Bedrock 升级的最终审计表示，已识别的问题严重性是中等的，需要进行小幅调整。这些问题不会对跨链桥资金构成风险，但在极少数情况下，可能会造成潜在风险。OP Labs 计划确定范围并执行更改，宣布新的共识和功能冻结，并在宣布 OP 主网 Bedrock 升级日期之前展示两周的代码稳定性。OP Labs 提醒，将至少提前 3 周通过推文、文档更新和节点提供商宣布升级日期。

Euler Finance 公布用户赎回方案，将基于协议禁用时的区块高度确定资产和负债

DeFi 借贷协议 Euler Finance 公布用户赎回方案，其中追回的资金共计 95,556.36059211764 枚 ETH 和 43,063,729.35 枚 DAI，未回收的资金包括攻击者发送给 Tornado Cash 的共计 1100 枚 ETH 和发送到 Ronin 攻击者地址的 100 枚 ETH，另外 100 枚 ETH 被攻击者直接返还给用户，用户又将 12 枚 ETH 返还给 Euler DAO 金库。DAO 金库地址还持有来自 Sherlock 协议的 3,396,964 枚 USDC 和 1,007,321 枚 DAI。对于每个子账户，Euler Finance 计划在协议被禁用的区块高度偿还所有负债，此时智能合约中定义的链上预言机价格（Uniswap 或 Chainlink，取决于市场）用于确定资产和负债的 ETH 价值，并且账户的每个资产（包括非抵押资产）按比例用于偿还负债。所有账户资产净值将被相加以获得总资产净值，每个账户将能够根据其在总资产净值中的比例领取追回的 ETH、DAI 和 USDC。如果追回金额的价值超过总资产净值，则超出部分将按比例分配给用户。

Web3 DePIN 香港倡议，HashKey、arkreen 与合作伙伴助力 DePIN 生态落地香港。

2023 香港 Web3 嘉年华“Web3 与安全”主题论坛专场嘉宾公布！

DeFi 可组合性的潘多拉魔盒：Euler Finance 被攻击，这 11 个 DeFi 项目遭受损失

Euler 作为底层的借贷协议，安全性更值得关注，本次攻击也给其它 DeFi 项目造成数千万美元的损失。

一文了解加密保险领域现状

协议和用户如何保护自己免受黑客攻击？保险可能是最好的答案。

Maple Finance 出现 5400 万债务危机，敏锐用户迅速提款

无抵押加密货币借贷的商业模式似乎有一个致命的弱点，差劲的协议加上不靠谱的人为决定，会导致储户没有保障，面临高达 80% 的损失。

投融资周报 | 多只大额加密基金成立，高盛领投 Fortanix 9000 万美元 C 轮融资

在投融资细分赛道中，本周资管、工具和基础设施尤为活跃，Web3、NFT 和链游热度热度大幅下降。

智能合约审计平台 Sherlock 完成 400 万美元融资

据 CoinDesk 报道，智能合约审计平台 Sherlock 完成 400 万美元融资，Archetype 领投，参投方包括 Spartan、Lattice、CoinFund。Sherlock 通过比赛的形式向发现代码漏洞的审计人员发放奖励来激励审计人员发现问题。

萨尔瓦多比特币实验；以太坊的账户抽象之路 | 区块客周刊

一周精华全览：热点动态、一周好文、项目追踪、投融资讯。

期权协议 Lyra 升级版本 Avalon 上线 Optimism

期权协议 Lyra 宣布升级版本 Avalon 上线 Optimism。Avalon 的四个主要升级包括 LP 随时进入/退出 Lyra 做市商保险库、支持 3 个月到期的期权交易、引入了部分抵押期权销售、无论 delta 或到期时间如何只需支付少量的平仓费即可平仓。Lyra Avalon 保留了 V1 中双边期权市场、统一流动性、可组合 delta 对冲等功能。此外，结合新功能 Lyra 推出了重新设计的交易界面，dApp 中有一个新的「投资组合」页面，显示交易者的头寸和利润，除了桌面支持外还推出移动优先体验。Avalon 合约通过Halborn、Sherlock（即将通过）和 Iosiro 的审计。

0316 先知精品群信息整理集合

本周前瞻 | Kava 推出 Kava 10 主网 Alpha 版本，Gitcoin 开启第 13 轮捐赠

未来一周最值得关注的行业进展。