除了常规审计，Euler还用了Certora做形式化验证，这个我们之前也用过，形式化验证能帮助穷尽“已知”路径的覆盖范围，但是无法穷尽“未知的未知”。DeFi是一个开放系统，对于黑客（攻方）来说，它的输入是无限的，输出也是无限的。假设把安全攻防看成挖矿，你守方用三五台机器算哈希挖矿攻方无数机器时刻在算哈希，只要算对一次就赢了；这个输赢面对比是明显的。静态的安全审计，由于输入输出固定，无法覆盖已知的未知，更无法覆盖未知之未知。
加密投资应用Pillow计划停止所有服务和应用:金色财经报道，总部位于新加坡的加密投资应用Pillow计划在未来几周停止其所有服务和应用程序，理由是监管不确定性。在Telegram上的一篇文章中，Pillow要求客户从Pillow应用中提取所有资金，并表示将于2023年7月31日终止其所有当前服务。
此前报道，2022年10月份，Pillow完成1800万美元A轮融资。[2023/6/23 21:56:14]
Mindao
CZ等加密企业高管与在线教育平台Masterclass合作推出加密课程:12月9日消息，数位加密企业高管近日与在线教育平台 Masterclass 合作，推出课程加密货币大师班。该课程的授课讲师包括 Binance 首席执行官兼联合创始人 CZ、Coinbase Exchange 总裁兼首席运营官 Emilie Cho、风险投资公司 a16z 的创始人兼管理合伙人 Chris Dixon 等，课程主题包括加密货币的历史、去中心化、Web3、DAO、NFT、细分市场的波动性等。[2022/12/9 21:32:19]
个人专栏
Do Kwon：Terraform Labs在韩国没有未缴税款:5月21日消息，Terraform Labs首席执行官Do Kwon今天在Twitter上表示，他的公司在韩国已经没有纳税义务，以此作为对有关“LFG拖欠韩国税务机关7800万美元税款”报道的回应。此前有报道称，韩国当局正在调查Do Kwon及其Terraform Labs拖欠的超过7800万美元的企业税。当Terra匿名分析师兼评论员FatMan质疑该报道的准确性时，Do Kwon做出了回应。他补充道：“我们很乐意尽最大努力参与任何诉讼或监管调查——我们没有什么要隐瞒的。”除了对该公司的税收状况发表评论外，Do Kwon表示，他的确切位置自2021年12月以来一直是新加坡。
此前5月19日消息，韩国税务机关准备向Luna Foundation Guard（LFG）追加征收1000亿韩元（约7800万美元）税款。据悉，LFG被视为韩国法人，因为虽然其在新加坡成立，但实际管理在韩国国内。（The Block）[2022/5/22 3:33:11]
阅读更多
金色财经 善欧巴
金色早8点
Arcane Labs
MarsBit
Odaily星球日报
欧科云链
深潮TechFlow
BTCStudy
澎湃新闻
标签：TERWONLABSTerraSUNBLOCKTERMINALWonderlandYield Enhancement LabsTERRAN
原文：《The Synthesis of Ideological and Mercenary Crypto》by tiger寻找加密思想家和加密唯利是图者结合的好处.
1900/1/1 0:00:00原文标题：Binance Can’t Keep Its Story Straight on Misplaced $1.8B USDC作者：Coindesk David Z.
1900/1/1 0:00:00导读：一家引领全世界的搜索引擎巨头,已经手握类ChatGPT技术两年,却被微软和OpenAI步步抢先,正在逐渐失去自己曾经制霸的领土。谷歌的故事,值得所有人深思。最近,微软是喜讯连连.
1900/1/1 0:00:00美国中小银行接连暴雷！3 月 8 日,以加密货币友好著名的银行 Silvergate Bank 宣布清盘,将所有存款退还客户.
1900/1/1 0:00:00作者：AVX什么是Token和Token经济学过去几年,Token经济学（Tokenomics）,逐渐称为一个流行的术语.
1900/1/1 0:00:00被喻为“以太坊杀手”的Solana（SOL）又双叒叕宕机了。2 月 25 日,Solana主网测试版意外停止处理几乎所有交易：交易处理速度瞬间下降近 99%.
1900/1/1 0:00:00
月亮链