06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，1月27日消息，据TheBlock报道，由FoundersFund和Galaxy支持的比特币Layer2项目Citrea正式上线主网，并推出由M0基础设施支持的原生稳定币ctUSD。Citrea采用zkEVM处理交易并将零知识证明写入比特币主链，支持BTC抵押借贷与结构化产品等金融应用，目标是构建原生比特币金融市场。
2 分钟前
火讯财经讯，1月27日消息，据CoinDesk报道，白宫数字资产顾问PatrickWitt在接受采访时表示，2026年达沃斯世界经济论坛已成为推动数字资产作为全球主流资产类别“正常化”的重要转折点。他强调稳定币是全球金融采纳加密的“入门产品”，并称华盛顿正在加速制定监管框架，以在传统金融与新兴加密领域之间实现共存与竞争。Witt指出，尽管参议院部分关键数字资产立法（如市场结构法案）在程序上有所延迟，但他相信相关议案最终会合并并在参议院审议，同时美国监管机构希望在全球监管对话中发挥领导作用。
2 分钟前
火讯财经讯，1月27日消息，据TheBlock报道，Theo推出创新黄金代币thGOLD，结合实物黄金抵押与收益机制，区别于传统仅追踪金价的代币产品。该产品基于新加坡MustafaGold参与的黄金借贷基金，合作方包括渣打支持的Libeara及FundBridgeCapital，thGOLD将上线Uniswap、Morpho与Pendle等多个DeFi平台，标志实物黄金资产首次实现链上收益与抵押功能。
2 分钟前
火讯财经讯，1月27日消息，据TheBlock报道，渣打银行发布报告称，稳定币加速普及可能在2028年前从美国银行体系中抽走高达5000亿美元存款，尤其对依赖存款利差的美国地区性银行构成最大威胁。该行预计届时稳定币市值将达2万亿美元，三分之一来自发达市场。监管不确定性及法案延误亦被视为风险放大因素。
32 分钟前
火讯财经讯，1月27日消息，据PRNewswire报道，加密支付网络Mesh宣布完成7500万美元C轮融资，投后估值达到10亿美元，由DragonflyCapital领投，Paradigm、ModerneVentures、CoinbaseVentures、SBIInvestment和LibertyCityVentures参投。公司累计融资已超2亿美元。本轮资金将用于加速在拉美、亚洲和欧洲扩张，并推动产品研发。Mesh定位为资产无关的统一支付网络，已覆盖超过9亿用户，可支持用户使用Bitcoin、Solana等任意资产支付，商户则以USDC、PYUSD等稳定币或当地法币即时结算，其中部分本轮融资亦以稳定币结算。
32 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
