除了常规审计，Euler还用了Certora做形式化验证，这个我们之前也用过，形式化验证能帮助穷尽“已知”路径的覆盖范围，但是无法穷尽“未知的未知”。DeFi是一个开放系统，对于黑客（攻方）来说，它的输入是无限的，输出也是无限的。假设把安全攻防看成挖矿，你守方用三五台机器算哈希挖矿攻方无数机器时刻在算哈希，只要算对一次就赢了；这个输赢面对比是明显的。静态的安全审计，由于输入输出固定，无法覆盖已知的未知，更无法覆盖未知之未知。
派盾：某钓鱼地址盗取13枚NFT，包括11枚Otherside和2枚Azuki:5月24日消息，据派盾监测，链上标记为“Fake_Phishing178858”的钓鱼地址近1个小时前盗取了13枚NFT，包括11枚Otherside和2枚Azuki。[2023/5/24 15:22:13]
Mindao
巴西央行将于今年晚些时候进行CBDC测试:金色财经报道，巴西央行宣布将于今年晚些时候对央行数字货币(CBDC)进行测试，测试重点是隐私和安全级别，以确定系统泄露的交易信息是否符合当前的监管要求。[2023/2/10 11:58:58]
个人专栏
去中心化借贷协议Clearpool引入新的利率机制:7月6日消息，去中心化借贷协议Clearpool宣布完成其创新的重大更新，推出了新的利率机制。据了解，新的利率模型专门为Clearpool的无许可池构建，旨在提高借款人的资金利用率，同时更准确地以有吸引力的根据风险调整的回报补偿给出借方。[2022/7/6 1:54:42]
阅读更多
金色财经 善欧巴
金色早8点
Arcane Labs
MarsBit
Odaily星球日报
欧科云链
深潮TechFlow
BTCStudy
澎湃新闻
撰文：0xLoki 最近在推上和 Space 上和很多朋友讨论了 LSD 杠杆挖矿的问题,主要的问题在于：杠杆 Staking 高收益的本质是什么？风险点在哪里？杠杆 Staking 的高收益是否可持续？关于杠杆 Staking 的合.
1900/1/1 0:00:00原文作者：Babywhale,Foresight News2020 年 3 月 12 日,受疫情影响,美股经历了自 1987 年「黑色星期一」以来最大的单日跌幅,触发了美股历史上第二次熔断.
1900/1/1 0:00:00▌ 数据：11.9亿美元BTC和4.9亿美元ETH期权合约于17日到期交割3月17日消息,Deribit 数据显示,超过 11.9 亿美元 BTC 和 4.9 亿美元 ETH 的期权合约将于17日到期交割.
1900/1/1 0:00:00文：尚治、徐鹏 清华大学互联网产业研究院随着互联网技术的兴起与迭代,过去几十年里,创作者经济作为一种全新经济形态萌芽并迅速发展。Web1.0 时代就开始出现互联网内容创作了,不过更多出自专业领域,内容创作工具随之发展.
1900/1/1 0:00:002 月 22 日,跨链路由协议 Multichain 宣布已在测试网上推出了基于零知识证明的跨链基础设施 zkRouter ,并实现了从以太坊到 Fantom 的测试网跨链转账.
1900/1/1 0:00:00随着美联储出手,市场出现了翻天覆地的变化。 全文： 今天,我们正在采取果断行动,通过增强公众对我们银行系统的信心来保护美国经济.
1900/1/1 0:00:00
宇宙链