除了常规审计，Euler还用了Certora做形式化验证，这个我们之前也用过，形式化验证能帮助穷尽“已知”路径的覆盖范围，但是无法穷尽“未知的未知”。DeFi是一个开放系统，对于黑客（攻方）来说，它的输入是无限的，输出也是无限的。假设把安全攻防看成挖矿，你守方用三五台机器算哈希挖矿攻方无数机器时刻在算哈希，只要算对一次就赢了；这个输赢面对比是明显的。静态的安全审计，由于输入输出固定，无法覆盖已知的未知，更无法覆盖未知之未知。
Uniswap社区已通过“将V3部署至Linea”提案链上投票:8月4日消息，Uniswap社区近日已经通过“将Uniswap V3部署至ConsenSys zkEVM网络Linea”提案的链上投票，目前该提案处于待执行状态。
该提案此前已通过热度检查投票，相关的Uniswap v3合约也已部署在Linea链上。此次投票通过后，则通过对v3deployments.uniswap.eth子域的修正，此部署将被正式认可为规范的v3部署。此后，Uniswap Labs的任务是处理前端集成更新，并将Linea添加到自动路由器中。[2023/8/4 16:18:12]
Mindao
Reddit NFT The Hands#1以30ETH成交，创Reddit Collectible Avatars成交价最高纪录:10月25日消息，据OpenSea页面信息，The Senses x Reddit Collectible Avatars系列中The Hands #1 NFT 以30ETH成交，创Reddit Collectible Avatars系列成交价最高纪录。[2022/10/25 16:37:48]
个人专栏
富国银行：美国第三季度经济可能反弹 明年仍将出现温和衰退:10月23日消息，下周四将发布美国第三季度GDP初步数据。富国银行分析师预计，在经历了两个季度的负增长后，美国第三季度实际GDP年化季率将达到2.8%。他们仍然认为明年经济会衰退。“我们预计潜在的需求指标仍然稳健，根据最近的9月零售数据，我们上调了对第三季度实际个人消费支出季率的预测，目前预计为0.8%（此前预计为0.6%）。”该行仍预计明年将出现温和衰退。但正如其在最新月度报告中所详述的，最近的势头使经济在今年年初开始衰退的可能性降低了。衰退将在稍晚的时候发生，将从第二季度开始，而不是第一季度。[2022/10/23 16:35:38]
阅读更多
金色财经 善欧巴
金色早8点
Arcane Labs
MarsBit
Odaily星球日报
欧科云链
深潮TechFlow
BTCStudy
澎湃新闻
随着大规模采用和市场越来越成熟,加密货币指数将获得更多关注。上周,Alongside 指数协议宣布由 A16z 牵头、Coinbase 加入的 1100 万美元种子融资.
一方面,美国政府对其大力施压,进行了“提醒流动性风险+处罚”的双重施压；另一方面,曾经关系亲密的客户纷纷宣布停止合作。而这一切,都让 Silvergate 濒于破产的边缘.
近期Beosin安全团队研究发现,通缩代币引起的安全事件依然频发,造成众多项目方资金的损失,因此,Beosin安全团队准备了这篇详解通缩代币的文章,与大家分享.
撰文：J.Hackworth 编译：十文 优化后的空投策略会使协议和用户长期利益更一致。数据分析师 J.Hackworth 深挖链上数据,研究对比了 LooksRare、X2Y2 和 Blur.
图片来源：由无界版图AI工具生成最近的谷歌像个大漏勺,这不,又有AIGC核心成员联手跑路咯！量子位独家获悉,这回跟谷歌say byebye的.
整体而言,EthDenver整体感受非常好,远胜Consensus,Token2049。 1. 全球性开发者文化 据说整个ETHDenver来了35000人,7500 hackers.
区块见闻