以太坊基金会携DAO安全基金支持Vyper编译器形式化验证,强化区块链安全
The DAO 安全基金与以太坊基金会合作资助 Vyper 编译器形式化验证,以太坊基金会出资 10 万美元。目前 Vyper 审计仅限源代码,而以太坊执行编译后字节码,二者一致性取决于编译器。该项目旨在通过机器证明确保编译不改变代码原意,并在官方编译器推出验证模式。The DAO 安全基金由 2016 年黑客事件无人认领 ETH 设立,规模约 2.5 亿美元,用于加强以太坊安全。
The DAO 安全基金与以太坊基金会合作资助 Vyper 编译器形式化验证,以太坊基金会出资 10 万美元。目前 Vyper 审计仅限源代码,而以太坊执行编译后字节码,二者一致性取决于编译器。该项目旨在通过机器证明确保编译不改变代码原意,并在官方编译器推出验证模式。The DAO 安全基金由 2016 年黑客事件无人认领 ETH 设立,规模约 2.5 亿美元,用于加强以太坊安全。
Glassnode 周报显示比特币仍处早期上涨阶段,但广泛参与有限。美国现货比特币ETF 9 月 21 日至 22 日累计净流入约 10 亿美元后,流出持续下降。币安现货订单簿出现 8.5 至 8.55 万美元大卖单墙,当前支撑位在 7.72 万美元水平。比特币日均交易量约 64 亿美元,处于 ETF 上线后区间底部。长期持有者抛售增多,全实现利润中提取率升至 55%。玻璃节点预测,若价格在放大交易量及 ETF 流入回升的情况下突破卖单墙,将确认上涨趋势扩大;否则若日线跌破 7.72 万美元,趋势可能转弱。
Drift 基金会发布 4 月 1 日遭黑客攻击事件的最新进展。此次事件涉及约 2.954 亿美元资金损失,攻击者已被 Mandiant 认定为朝鲜黑客组织 UNC6862。目前,被盗的 13 万枚 ETH 已跨链至以太坊,其中绝大部分仍停留在原钱包中,仅有约 2.3 万枚 ETH 通过 Tornado Cash 转移。目前已有约 920 万美元资金被冻结,基金会正与执法部门协作追回。此外,Drift 已与 Bybit 合作推出 10% 的追回赏金计划,并正在评估 DRIFT 代币的后续发展。
TopNod 钱包宣布接入 Axil 推出的链上收益金库 Axil Pot(APT)。该产品专为日常闲置资金管理设计,提供约 8% 目标年化收益率,支持 T+0 和 T+7 灵活流动性选项,首期额度上限 1000 万美元。APT 由 Axil 独立管理,采用分层流动性框架,在短久期高流动性资产与链上储备缓冲间动态配置,兼顾即时提现与资金增长。TopNod 作为非托管钱包,简化 Web3 操作流程,让用户一键获取机构级收益策略,打造类似”链上余额宝”的活期理财体验。
据 Coinbase 博客披露,巴西即将举行大选,由 Coinbase 和 Hashdex 赞助的调查显示,巴西约 2900 万成年人持有或曾持有加密资产,占比约六分之一,规模接近股市投资者的三倍。然而,监管层面出现新变数:巴西监管机构正考虑将稳定币重新归类为电子货币或外币,这可能导致加密交易被征收 IOF(金融交易税)。针对这一拟议变更,Coinbase 呼吁新政府维持稳定币作为虚拟资产的现有法律定性,将其纳入现行加密监管框架,并坚决反对征收 IOF 税,以避免抑制行业发展和投资者参与。
nasdaq 上市的 hype 财库公司 hyperion DeFi(NYSE: HYPD)在 hyperlend 的机构信贷平台 Aviya Finance 上线新一项机构信贷额度。该额度采用原生质押机制,核心资产为由 Anchorage Digital Bank 授权的合格托管账户中的 hype 代币,从而降低抵押成本并增强信任度。这一创新举措旨在推动企业金融创新,吸引更多机构资金参与,加速 HyperDeFi 的生态发展。