除了常规审计，Euler还用了Certora做形式化验证，这个我们之前也用过，形式化验证能帮助穷尽“已知”路径的覆盖范围，但是无法穷尽“未知的未知”。DeFi是一个开放系统，对于黑客（攻方）来说，它的输入是无限的，输出也是无限的。假设把安全攻防看成挖矿，你守方用三五台机器算哈希挖矿攻方无数机器时刻在算哈希，只要算对一次就赢了；这个输赢面对比是明显的。静态的安全审计，由于输入输出固定，无法覆盖已知的未知，更无法覆盖未知之未知。
Mogo宣布Coinsquare、WonderFi和CoinSmart完成业务合并:金色财经报道，金融科技公司Mogo Inc.宣布Coinsquare Ltd.、WonderFi Technologies Inc.和CoinSmart Financial Inc.完成之前宣布的业务合并交易。此次交易将由此产生的实体 WonderFi 及其注册运营子公司定位为加拿大最大的受监管加密货币投资生态系统之一，为加拿大人提供广泛的多元化产品和服务，包括零售和机构加密货币交易、质押产品、B2B 加密货币支付处理和数字资产托管。自 2017 年以来，合并后的公司交易额已超过 170 亿美元，托管资产超过 6 亿美元。Mogo 是合并后公司的最大股东，持有约 14% 的股份。[2023/7/11 10:46:43]
Mindao
以太坊Layer2上总锁仓量为98.03亿美元:金色财经报道，L2BEAT数据显示，截至目前，以太坊Layer2上总锁仓量为98.03亿美元，近7日涨1.24%。其中锁仓量最高的为扩容方案Arbitrum One，约58.92亿美元，占比60.10%，其次是Optimism，锁仓量22.41亿美元，占比22.86%。[2023/7/2 22:13:10]
个人专栏
Binance NFT：新质押用户在Ape NFT质押计划中仅限质押3枚Ape NFT:12月26日消息，据官方推特，Binance NFT表示，由于需求量较大，将限制Binance Bored Ape的质押数量，每位用户最多质押3个NFT。据悉高需求给Binance NFT平台带来压力，导致延迟和技术问题，币安声称通过限制质押数量可以为所有用户提供流畅稳定的质押体验。另据APE质押合约地址显示，当前APE质押总量已超过8500万枚，价值约合3.04亿美元。[2022/12/26 22:09:03]
阅读更多
金色财经 善欧巴
金色早8点
Arcane Labs
MarsBit
Odaily星球日报
欧科云链
深潮TechFlow
BTCStudy
澎湃新闻
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。