除了常规审计，Euler还用了Certora做形式化验证，这个我们之前也用过，形式化验证能帮助穷尽“已知”路径的覆盖范围，但是无法穷尽“未知的未知”。DeFi是一个开放系统，对于黑客（攻方）来说，它的输入是无限的，输出也是无限的。假设把安全攻防看成挖矿，你守方用三五台机器算哈希挖矿攻方无数机器时刻在算哈希，只要算对一次就赢了；这个输赢面对比是明显的。静态的安全审计，由于输入输出固定，无法覆盖已知的未知，更无法覆盖未知之未知。
Zunami Protocol遭价格操纵攻击，损失至少210万美元:金色财经报道，据派盾监测，收益聚合协议Zunami Protocol遭价格操纵攻击，损失至少210万美元。目前被盗资金已流入Tornado Cash。
此前消息，收益聚合协议Zunami Protocol遭到攻击，建议用户采取必要行动[2023/8/14 16:24:26]
Mindao
模因币LADYS或受Milady相关消息影响上涨超400%，DWF Labs昨日曾大量买入:5月11日消息，据 Dextools 数据显示，以 Milady Maker 系列 NFT 形象为灵感的模因币 LADYS 短时内大幅上涨，现报价 0.0(7)2169，40 分钟内涨幅超 400%。
此前报道，Twitter CEO 马斯克此前在社交媒体上发布推文附有 Milady Maker 系列 NFT 形象，并配文“There is no meme，I love you”。此后 Milady Maker 系列 NFT 地板价在 20 分钟内迅速翻倍，一度触及 7.1 ETH。
此前消息和数据显示，投资机构 DWF Labs 昨日将 13.5 ETH（约合 2.5 万美元）兑换 LADYS，当时价格约处于 0.0(8)25 左右价格区间。[2023/5/11 14:56:07]
个人专栏
美联储3月加息25个基点的概率升至79.7%:金色财经报道，据CME“美联储观察”：美联储3月保持利率不变的概率为20.3%，加息25个基点至4.75%-5.00%区间的概率为79.7%；到5月累计加息50个基点的概率升至49.2%。[2023/3/17 13:09:43]
阅读更多
金色财经 善欧巴
金色早8点
Arcane Labs
MarsBit
Odaily星球日报
欧科云链
深潮TechFlow
BTCStudy
澎湃新闻
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。