SWAP:借着Euler黑客事件 聊聊DeFi的安全审计和安全

除了常规审计，Euler还用了Certora做形式化验证，这个我们之前也用过，形式化验证能帮助穷尽“已知”路径的覆盖范围，但是无法穷尽“未知的未知”。DeFi是一个开放系统，对于黑客（攻方）来说，它的输入是无限的，输出也是无限的。假设把安全攻防看成挖矿，你守方用三五台机器算哈希挖矿攻方无数机器时刻在算哈希，只要算对一次就赢了；这个输赢面对比是明显的。静态的安全审计，由于输入输出固定，无法覆盖已知的未知，更无法覆盖未知之未知。

Coinbase Ventures已加入Rocket Pool的联合治理DAO:金色财经报道，Coinbase Ventures 加入了 Rocket Pool 的 Oracle DAO (oDAO)，这是一组获得许可的特殊节点运营商，他们为协议执行额外职责。

因此，Coinbase Ventures 将获得在每个专门用于 Rocket Pool 的 Oracle DAO 的奖励期产生的总 RPL 通货膨胀的 15%的份额。根据博客文章，RPL 是 Rocket Pool 生态系统的原生代币，它为协议提供直接激励、保险和治理，根据CoinGecko 的说法，RPL 在 4 月份的交易价格持平，在 43 美元到 44 美元之间。此外，Rocket Pool 的质押衍生品 rETH 相对于 ETH 有溢价：截至发稿时，在 Uniswap 上，1 rETH 可兑换 1.07295 ETH。[2023/4/4 13:43:30]

Mindao

徐明星：阿里云宕机时间远超同行，跨区高可用的产品亦无法使用:12月18日消息，OKGroup 创始人徐明星针对今日阿里云宕机事件表示：1、AWS 历史上可用区宕机，只宕一个小时，阿里云这个事故得奔着 24 小时去了。2、阿里云很多设计是跨区高可用的产品比如 mysql,redis,elastic search,oss 等，在本次事件中都出现主备无法切换，反复切换的问题，到现在 mysql,redis 仍然存在无法使用，实际效果是，表面上只挂了一个可用区、实际上相当于全部挂了。3、此次事件会成为阿里云发展史上重大丑闻！[2022/12/18 21:52:24]

个人专栏

Uniswap创始人：Genie产品将集合至Uniswap:6月23日消息，Uniswap创始人Hayden Adams在接受Bankless采访时表示，收购Genie并不止是收购产品，而是收购团队，Genie团队将与Uniswap 团队完全合并。此外，Genie将在产品层面与Uniswap实现集成，即Genie将作为NFT聚合交易的功能出现在Uniswap的产品界面，这项功能预计将于今年秋季上线。[2022/6/23 1:26:57]

阅读更多

金色财经 善欧巴

金色早8点

Arcane Labs

MarsBit

Odaily星球日报

欧科云链

深潮TechFlow

BTCStudy

澎湃新闻

标签：UNISWAPUniswapROCKETUNITS价格TurboSwapUniswap FinanceROCKET价格

FTT热门资讯