Vitalik表示,AI形式验证可以增强加密货币的安全性

Vitalik表示,AI形式验证可以增强加密货币的安全性 以太坊(ETH)联合创始人Vitalik Buterin认为,将AI生成代码与经过数学验证的软件结合,可以使区块链网络更能抵抗漏洞和AI辅助攻击。他在5月18日发表的一篇长篇博客文章中阐述了这一观点。形式验证是一种利用数学证明来确认软件完全按照设计者预期行为的方法。该技术可追溯到20世纪50年代和60年代的基础性研...

明尼苏达州获授权提供加密货币托管的银行

明尼苏达州获授权提供加密货币托管的银行 明尼苏达州州长蒂姆·沃尔兹于5月16日签署了众议院档案(HF)3709号法案,赋予州特许银行和信用合作社向客户提供虚拟货币 #custody 服务的法律权力。这些服务可于2026年8月1日开始。法律只允许以非受托人身份进行监护。机构可能会聘请第三方分托管人来执行相关工作。客户资金必须始终与银行或信用合作社的自身资产...

伯恩斯坦表示,Figure第一季度业绩显示了区块链市场的独特性

伯恩斯坦表示,Figure第一季度业绩显示了区块链市场的独特性 Figure Technology Solutions最新的季度业绩向Bernstein分析师展示了它与大多数基于资产负债表的金融科技贷款平台的差异。Bernstein分析师周五表示,Figure Technology Solutions第一季度财报显示,这家金融科技公司正迅速成为区块链市场中独树一帜的公司。...

Grayscale、VanEck修订美国现货BNB ETF申报,向潜在上市迈步

Grayscale、VanEck修订美国现货BNB ETF申报,向潜在上市迈步 美国证券监管机构上周批准了21Shares的超流动ETF项目,这也为美国越来越多加密货币被转换为ETF包装的股票增加了。资产管理公司Grayscale和VanEck于周五提交了各自现货BNB交易所交易基金的修订S-1注册声明,使该加密货币离成为美国获批加密ETF又近了一步。...

现货比特币ETF一周内亏损10亿美元,终结了连续六周的资金流入热潮

现货比特币ETF一周内亏损10亿美元,终结了连续六周的资金流入热潮 现货比特币ETF在一周内下跌10亿美元,资本转向人工智能股票,宏观不确定性压制情绪,结束了为期六周的34亿美元连胜。现货比特币交易所交易基金(ETF)每周净流出达10亿美元,结束了连续六周的流入潮,该连续流入额累计达到34亿美元。...

THORChain 确认了 1000 万美元的漏洞利用,并为受影响用户推出恢复门户

THORChain 确认了 1000 万美元的漏洞利用,并为受影响用户推出恢复门户 THORChain在一次价值1000万美元的漏洞利用后推出了恢复门户,允许四条链上受影响的用户撤销恶意批准并申请退款。THORChain已确认一项价值1000万美元的漏洞利用,并启动了恢复门户,为受影响用户提供了自我托管的途径,可以撤销恶意代币批准,并提交退款索赔,并由财政部配置的同等规模退款池支持。...