除了常规审计，Euler还用了Certora做形式化验证，这个我们之前也用过，形式化验证能帮助穷尽“已知”路径的覆盖范围，但是无法穷尽“未知的未知”。DeFi是一个开放系统，对于黑客（攻方）来说，它的输入是无限的，输出也是无限的。假设把安全攻防看成挖矿，你守方用三五台机器算哈希挖矿攻方无数机器时刻在算哈希，只要算对一次就赢了；这个输赢面对比是明显的。静态的安全审计，由于输入输出固定，无法覆盖已知的未知，更无法覆盖未知之未知。
Hidden Road宣布完成5000万美元A轮融资，Castle Island Ventures领投:金色财经报道，Hidden Road Partners宣布，已完成由 Castle Island Ventures 领投的 5000 万美元 A 轮融资。Citadel Securities、FTX Ventures、Uncorrelated Ventures、Greycroft、XBTO Humla Ventures、Wintermute、SLN Capital、Profluent Trading、Coinbase Ventures 等参投。[2022/7/8 2:00:21]
Mindao
Binance比特币期货合约过去24小时交易额超335亿美元，创近一个月新高:金色财经报道，据区块链分析公司Glassnode最新数据显示，Binance平台上比特币期货合约过去24小时交易额达到33,571,077,689.27美元，创下近一个月新高，此前高点发生在5月13日，当日交易额为31,783,460,428.98美元。[2022/6/13 4:22:25]
个人专栏
萨尔瓦多总统：比特币法案中第 7 条仅针对大公司:金色财经报道，去年9月使比特币在萨尔瓦多成为法定货币，其中包含了一个具体的规定，当任何获得商品或服务的人向他提供比特币时，每个经济代理人都必须接受比特币付款。该法案推出后，加密社区中包括以太坊创始人V神在内的多位联合创始人批评第 7 条，并称该条款违背了自由的理想。
而在最近的一次采访中，萨尔瓦多总统Nayib Bukele澄清说，该规定只适用于大公司，小商家可以做任何他们想做的事情。这项法律甚至没有被执行，也没有任何计划在短期内执行。但是，它确实提供了在需要时对 \"大公司 \"或 \"大银行 \"执法的能力。[2022/5/26 3:42:24]
阅读更多
金色财经 善欧巴
金色早8点
Arcane Labs
MarsBit
Odaily星球日报
欧科云链
深潮TechFlow
BTCStudy
澎湃新闻
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。