06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，1月24日消息，欧易OKX行情显示，ETH刚刚突破3000美元，现报3003.45美元/枚，日内涨幅1.72%。
42 分钟前
火讯财经讯，1月24日消息，欧易OKX行情显示，BTC刚刚突破90000美元，现报90021.50美元/枚，日内涨幅0.30%。
1 小时前
火讯财经讯，1月23日消息，据TheBlock报道，CoinbaseInstitutional在其最新《ChartingCrypto》报告中指出，在经历2025年末的调整后，加密货币市场在2026年开年已具备更稳固的结构基础；进入第一季度，市场持仓状况有所改善，整体环境也更加均衡。 报告认为，去年第四季度的下跌有助于出清此前积累的过度杠杆和投机头寸。当前环境显示市场正在进行重新校准，而非重回激进冒险。投资者参与保持活跃但更加谨慎，仓位配置也比以往扩张阶段更加合理有序，这降低了市场的下行风险，使市场更能抵御冲击。同时，链上数据显示供应动态趋于有序，恐慌性抛售迹象减少，持有者的行为逐渐恢复正常；衍生品市场的杠杆使用也更为克制。尽管宏观不确定性犹存，但相关风险已更多地被市场头寸所消化，从而带来更有节制的价格反应。
2 小时前
火讯财经讯，1月23日消息，据DLNews报道，一项要求Optimism基金会每月使用其Superchain网络收入的50%回购OP治理代币的提案，已于周四开放投票。DAO社区内部对此存在分歧。反对者认为，在基金会仍需通过赠款等方式净出售OP的情况下，动用硬资产回购是资本的低效利用。另一主要争议点在于回购将通过场外交易执行，这不会直接影响公开市场价格，并有代表担心可能成为内部人员解锁代币的退出渠道。支持者则认为，回购机制能将网络增长价值清晰地传递给市场，是“正确的方向”。 截至目前，投票呈现压倒性支持，赞成票超过380万张，反对票约1.9万张。投票将于1月28日结束。
2 小时前
火讯财经讯，1月23日消息，特朗普次子EricTrump在X平台发文表示，USD1市值规模已超过PayPal稳定币PYUSD，这是USD1的一个重要里程碑。据其分享的截图，USD1市值已达到45.4亿美元，而PYUSD市值为36.9亿美元。
2 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
