除了常规审计，Euler还用了Certora做形式化验证，这个我们之前也用过，形式化验证能帮助穷尽“已知”路径的覆盖范围，但是无法穷尽“未知的未知”。DeFi是一个开放系统，对于黑客（攻方）来说，它的输入是无限的，输出也是无限的。假设把安全攻防看成挖矿，你守方用三五台机器算哈希挖矿攻方无数机器时刻在算哈希，只要算对一次就赢了；这个输赢面对比是明显的。静态的安全审计，由于输入输出固定，无法覆盖已知的未知，更无法覆盖未知之未知。
美联储主席鲍威尔：很难判断银行危机如何造成经济软着陆预期发生变化:金色财经报道，美联储主席鲍威尔表示，经济衰退风险是非线性的；很难判断银行危机如何造成软着陆预期发生变化；美国仍然存在软着陆机会，正设法找到那样的机会。[2023/3/23 13:20:40]
Mindao
直播｜Andrey Belyakov ：如何制定DeFi 规则:金色财经 · 直播主办的金点Trend《以太坊之外的DeFi，香吗？ 》15:00准时开播！本场嘉宾Opium Protocol 的创始人分享Andrey Belyakov “如何制定DeFi 规则”，请扫码移步收听！[2020/9/1]
个人专栏
Compound CEO ：创建治理代币，是为让最聪明用户决定协议如何升级:Compound创始人兼CEO Robert Leshner在媒体直播间表示，流动性挖矿是作为一种分发代币的方式，Compound总体上是一种自治的系统，这需要相信那些最有能力的人来决定协议的参数是什么，所以我们创建了一个治理代币来升级协议，向协议主题添加新资产，所以我们创造这个代币以便把它交到最聪明的用户手中。（深链财经）[2020/6/24]
阅读更多
金色财经 善欧巴
金色早8点
Arcane Labs
MarsBit
Odaily星球日报
欧科云链
深潮TechFlow
BTCStudy
澎湃新闻
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。