06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，2月8日消息，据Coinglass数据显示，过去1小时全网爆仓3112.66万美元，其中空单爆仓3065.53万美元，多单爆仓47.34万美元，此外BTC爆仓达2417.88万美元，ETH爆仓达493.53万美元。
24 分钟前
火讯财经讯，2月8日消息，据OnchainLens监测，某新建钱包从币安提取3万枚ETH，价值6348万美元。
24 分钟前
火讯财经讯，2月8日消息，据链上分析师Ai姨监测，币安账户SMXKX广场显示他从一月下旬起做空白银（XAG），浮亏一度超百万美元又在黄金01.29短期高点做空，最终在02.05达到盈利最高点1238万美元。
1 小时前
火讯财经讯，2月8日消息，据Coinglass最新数据显示Coinbase比特币溢价指数已连续25日处于负溢价，暂报-0.0864%，2026年迄今仅有两天为正值，分别是1月6日的0.011%和1月15日的0.0023%。 Coinbase比特币溢价指数用于衡量Coinbase（美国主流交易平台）上的比特币价格相对于全球市场平均价格的差异，负溢价通常反映美国市场卖压较大，投资者风险偏好下降，市场避险情绪升温或资金外流。
1 小时前
火讯财经讯，2月8日消息，据BusinessInsider报道，分析指出美国预测市场的繁荣是建立在一个不稳定的基础上，主要得益于监管套利空间，比如目前美国各州暂无较为完善的制度去监管用户通过预测市场形式参与体育赛事押注，数据显示2025年体育类交易占Kalshi交易量约85%，Polymarket占比约为39%。预测市场通过将自身定位为受商品期货交易委员会（CFTC）监管的期货合约交易，从而在禁止体育博彩的州（如加利福尼亚州和德克萨斯州）提供体育赛事投注。Macquarie的分析师ChadBeynon表示，预测市场在很大程度上是规避各州体育博彩规则的一种方式，如果体育博彩在美国联邦层面合法化，预测市场可能根本不会出现。此外，机构资金入场面临障碍。 CitizensBank金融技术研究主管DevinRyan认为，市场需要建立完善的诚信规则，并且非体育类市场的交易量需要提升。他指出，目前Kalshi上预测1月份CPI通胀数据的市场规模不足100万美元，核心通胀市场规模不足3万美元，这样的流动性不足以吸引机构参与。UCLA博彩研究项目联合主任TimothyFong教授表示，对于将时事变为可交易合约以牟利是否可取，以及这种模式是否会带来反乌托邦式的社会感到担忧。
1 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
