除了常规审计,Euler还用了Certora做形式化验证,这个我们之前也用过,形式化验证能帮助穷尽“已知”路径的覆盖范围,但是无法穷尽“未知的未知”。DeFi是一个开放系统,对于黑客(攻方)来说,它的输入是无限的,输出也是无限的。假设把安全攻防看成挖矿,你守方用三五台机器算哈希挖矿攻方无数机器时刻在算哈希,只要算对一次就赢了;这个输赢面对比是明显的。静态的安全审计,由于输入输出固定,无法覆盖已知的未知,更无法覆盖未知之未知。
Waves创始人:Waves L2白皮书将于下周发布:金色财经报道,Waves创始人Sasha Ivanov发布推文表示,已燃烧2150万枚XTN,目前只有小部分的XTN持有者可以转换成L2 MP代币,以享受高额年利率。Waves L2白皮书将于下周发布。[2023/8/6 16:21:16]
Mindao
NEAR基金会将与Caerus Ventures联手推出1亿美元Web3基金:9月12日消息,支持NEAR协议治理和发展的瑞士非营利组织NEAR基金会宣布,将与Caerus Ventures合作推出了一支总规模为1亿美元的风险投资基金以及Venture Lab。
该基金初始募集规模为5000万美元,目标为筹集1亿美元,后续将专注于投资种子轮阶段和A轮阶段的初创公司,以推动区块链的大规模采用。Venture Lab将通过吸引Web3顶尖工程师、开发人员和建设者,围绕标志性人才和知识产权创造出有望定义行业的新产品,新基金将会为旗下投资组合项目提供跨职能支持。(techfundingnews)[2022/9/12 13:23:56]
个人专栏
数据:交易所BTC存款数量达2年低点:金色财经消息,据Glassnode数据显示,交易所BTC存款数量达到2年低点,七日均值为1,965.435。[2022/8/22 12:39:45]
阅读更多
金色财经 善欧巴
金色早8点
Arcane Labs
MarsBit
Odaily星球日报
欧科云链
深潮TechFlow
BTCStudy
澎湃新闻
标签:ENTWAVESTURVENTlitentry币融资waves币为什么跌得那么狠SignatureChainSalad Ventures
原文作者:Checkmate来源:Glassnode编译:DeFi 之道在经历 2023 年最重要的一周后,数字资产行业在美国失去了三家对加密货币友好的银行机构.
1900/1/1 0:00:00原文作者:Marco Manoppo这个系列文章将研究有趣的公司或协议,评估他们如何产生收入,估算他们的支出并分析其利润.
1900/1/1 0:00:00文/Donovan Choy,Bankless作者;译/金色财经xiaozou在战胜无数虚张声势的挑战者之后,OpenSea终于迎来了一个实力雄厚的竞争对手,已威胁到它的市场主导地位.
1900/1/1 0:00:00作者:月之暗面 越来越多的银行会在市场波动和监管趋紧的双重逼迫下远离加密市场,作为出入金的重要通道,目前美国有哪些加密友好型银行?每个3·12都值得加密世界纪念.
1900/1/1 0:00:00近日,加密友好银行Silvergate以及硅谷银行的关闭引发了美股及加密货币在内的风险资产的一系列动荡,比特币价格在两万美元关口剧烈波动.
1900/1/1 0:00:00DeFi数据1、DeFi代币总市值:497.01亿美元 DeFi总市值及前十代币 数据来源:coingecko2、过去24小时去中心化交易所的交易量35.
1900/1/1 0:00:00