06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，12月7日消息，据Coingecko最新数据显示，由Tether发行的美元稳定币USDT总供应量突破1900亿枚，当前触及191,099,037,578枚（其中流通供应量185,632,100,913枚），市值达到185,929,020,830美元，均续创历史新高。
40 秒前
火讯财经讯，12月7日消息，TokenUnlocks数据显示，APT、LINEA、CHEEL等代币将于下周迎来大额解锁，其中： Aptos（APT）将于北京时间12月12日零点解锁约1131万枚代币，与流通量的比值为0.83%，价值约1930万美元； Linea（LINEA）将于北京时间12月10日晚上7点解锁约13.8亿枚代币，与流通量的比值为6.67%，价值约1110万美元； Cheelee（CHEEL）将于北京时间12月13日上午8点解锁约2081万枚代币，与流通量的比值为2.86%，价值约1080万美元； BounceBit（BB）将于北京时间12月9日上午8点解锁约2993万枚代币，与流通量的比值为3.42%，价值约270万美元。
30 分钟前
火讯财经讯，12月7日消息，据Arkham监测，某个疑似属于Wintermute的钱包近期一直在积极积累SYRUP代币，过去两周总计价值520万美元的SYRUP代币从多家交易所被提取并转移到该做市商的关联钱包中，截至目前这个钱包已持有大约2039.7万枚SYRUP代币，价值610万美元。
1 小时前
火讯财经讯，12月7日消息，据OnchainLens监测，某鲸鱼向Hyperliquid存入300万枚USDC并开设10倍杠杆ETH空单。
1 小时前
火讯财经讯，12月7日消息，据OnchainLens监测，某新建钱包向Hyperliquid存入300万枚USDC并开设10倍杠杆HYPE多单。
2 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
