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

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

Test in Prod推出Optimism上新客户端OP Erigon初始版本:金色财经报道，Test in Prod 推出 Optimism 上新客户端 OP Erigon，这是以太坊 Erigon 客户端软件的改编版本，OP Erigon 的初始版本可在 Optimistic Goerli 测试网上访问。[2023/4/22 14:19:24]

Mindao

知情人士：Binance已拒绝购买Justin Sun持有的Huobi股份:金色财经报道，据一位知情人士透露， Binance最近拒绝了收购Justin Sun在Huobi的所有权股份的提议。该知情人士表示，Justin Sun的提议是在上周直接向CZ提出的。上周，在彭博社报道Sun试图出售火币的股份后，他将这种猜测比作愚人节玩笑。[2023/4/6 13:47:05]

个人专栏

去中心化跨链交易协议 Thorchain 将推出订单簿机制:金色财经消息，去中心化跨链交易协议 Thorchain 将推出订单簿机制，支持用户在 THORSwap 上以限价单形式进行交易。

注：THORChain 此前使用连续流动性池（CLPs）来执行交易，以保证每笔交易都有交易对手。[2022/6/28 1:35:55]

阅读更多

金色财经 善欧巴

金色早8点

Arcane Labs

MarsBit

Odaily星球日报

欧科云链

深潮TechFlow

BTCStudy

澎湃新闻

标签：BSPTACSTACTSTBSPAY价格DAOstackCardstackQuantstamp

Polygon热门资讯