除了常规审计，Euler还用了Certora做形式化验证，这个我们之前也用过，形式化验证能帮助穷尽“已知”路径的覆盖范围，但是无法穷尽“未知的未知”。DeFi是一个开放系统，对于黑客（攻方）来说，它的输入是无限的，输出也是无限的。假设把安全攻防看成挖矿，你守方用三五台机器算哈希挖矿攻方无数机器时刻在算哈希，只要算对一次就赢了；这个输赢面对比是明显的。静态的安全审计，由于输入输出固定，无法覆盖已知的未知，更无法覆盖未知之未知。
金色晨讯 | 12月26日隔夜重要动态一览:21:00-7:00关键词：Ripple、Zilliqa、比特币创新高
1.北京金融科技创新监管试点第三批应用对外公示；
2.Ripple总法律顾问：SEC精心挑选并删减了事实；
3.仅五只美国股票在2020年的表现优于比特币；
4.Bitstamp将暂停所有美国客户的XRP交易及存款；
5.Zilliqa：已引入临时修复程序 网络恢复正常交易；
6.国家邮政局徐婧：邮政业要积极运用区块链等信息技术；
7.欧盟委员会提议设立规模为50亿欧元的脱欧调整储备金；
8.比特币持续上涨，日内最低报23989.26美元，最高报24777.77美元。[2020/12/26 16:33:30]
Mindao
金色午报 | 7月6日午间重要动态一览:7:00-12:00关键词：稳定币、Twitter、韩国釜山港、FMex
1. 三部门联合发布区块链工程技术人员等9个新职业。
2. 稳定币6月链上交易量创下了549亿美元历史新高，环比增长14%。
3. Twitter已更改开发语言，删除master和slave等非包容性术语。
4. 韩国釜山港将开发基于区块链技术的货物控制和综合运营平台技术。
5. FMex将于7月10日正式开站，债务解锁方案开始执行。
6. GauntletNetworks发布Compound社区提案，建议提案发布者在链上新增分析期。
7. 云算力平台Miningzoo疑跑路，所有矿场数据已归零。
8. Messari前主管：智能合约平台推出非美元稳定币将有机会成为以太坊杀手。
9. 分片项目Elrond将于7月30日上线主网。[2020/7/6]
个人专栏
BTC减半倒计时｜金色财经挖矿收益播报:金色财经报道，据OKEx矿池数据显示，下一次BTC减半日期预计为2020年5月14日，今天距此还有49天。BTC当前块高622842，下一次减半块高630000。
今日全网算力约95.81EH/s，全网难度约16.55T，预测下次难度14.17T（-14.37%），距离调整还剩还有1天，今日BTC收益：0.00001520BTC/T/天。[2020/3/25]
阅读更多
金色财经 善欧巴
金色早8点
Arcane Labs
MarsBit
Odaily星球日报
欧科云链
深潮TechFlow
BTCStudy
澎湃新闻
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。