除了常规审计，Euler还用了Certora做形式化验证，这个我们之前也用过，形式化验证能帮助穷尽“已知”路径的覆盖范围，但是无法穷尽“未知的未知”。DeFi是一个开放系统，对于黑客（攻方）来说，它的输入是无限的，输出也是无限的。假设把安全攻防看成挖矿，你守方用三五台机器算哈希挖矿攻方无数机器时刻在算哈希，只要算对一次就赢了；这个输赢面对比是明显的。静态的安全审计，由于输入输出固定，无法覆盖已知的未知，更无法覆盖未知之未知。
由DAO资助的动画电影The Rise of Blus: A Nouns Movie试播:金色财经报道，第一部由DAO资助，并且由皮克斯、Netflix和漫威前动画师领衔制作的《The Rise of Blus:A Nouns Movie》动画电影发布了试播集，用户可通过Nouns Movie网站观看电影的试播片段。据介绍，该项目的预算为275万美元，Nouns DAO社区在3月份通过了资助这部电影的提案。Atrium的创意人员William Yu、HK Jay、Zen Doubt、3D Print Guy和Meta Ent正在帮助编写、制作和制作这部电影的动画。
Atrium创始人兼首席执行官Supriyo Roy表示，由于Nouns项目已经作为开源发布，电影的创作者可以自由地为8位角色制作一个完整的世界和故事情节，没有任何限制。[2023/6/22 21:53:21]
Mindao
美联储巴尔金：央行数字货币面临的挑战包括对银行体系的影响:金色财经报道，美联储巴尔金表示，央行数字货币面临的挑战包括对银行体系的影响，需要明确数字货币解决的问题。[2022/10/1 22:42:53]
个人专栏
Amber Group完成收购日本加密交易平台DeCurret，并推出数字资产平台WhaleFin:9月23日消息，在日本金融服务厅（FSA）注册的加密资产交换服务提供商DeCurret Inc.今天宣布，在Amber Group完成收购后，其公司名称已变更为Amber Japan K.K.。根据完成的收购和名称变更，该公司将在日本推出Amber Group的数字资产平台WhaleFin。（AMBCrypto）[2022/9/23 7:16:52]
阅读更多
金色财经 善欧巴
金色早8点
Arcane Labs
MarsBit
Odaily星球日报
欧科云链
深潮TechFlow
BTCStudy
澎湃新闻
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。