06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，12月21日消息，CoinAnk数据显示，过去24小时加密货币市场全网合约爆仓9553.21万美元，其中多单爆仓5442.29万美元，空单爆仓4110.92万美元。BTC爆仓总金额1761.18万美元，ETH爆仓总金额1309.19万美元。
25 分钟前
火讯财经讯，12月21日消息，IOSG创始合伙人Jocy在X平台上发文表示，2025年是加密市场"最坏的一年"，OG投资者有三波卖出浪潮，从2024年3月至2025年11月，长期持有者（LTH）累计抛售约140万BTC（价值1,211.7亿美元）：第一波(2023年底-2024年初):ETF获批，BTC从2.5万美元→7.3万美元；第二波(2024年底):特朗普当选，BTC冲向10万美元；第三波(2025年):BTC长期在10万美元上方。与2013、2017、2021年的单一爆发式分配不同,这次是多波持续分配。过去一年在BTC的高点横盘了一年时间，这种情况过去从来没有出现过，2年以上未移动的BTC自2024年初减少160万枚（约1,400亿美元）。但风险的另一面是机会，在投资逻辑上： 短期(3-6个月):8.7-9.5万美元区间震荡，机构继续建仓； 中期(2026上半年):政策+机构双驱动，目标12-15万美元； 长期(2026下半年):波动加大，看选举结果和政策延续性。
25 分钟前
火讯财经讯，12月21日消息，ARKInvest创始人CathieWood预计到2026年通货膨胀率将为0%，她认为2026年可能是个“恰到好处之年”。在经历了关税、政府停摆风险以及美联储鹰派言论之后，如果油价和租金持续下跌，市场可能低估了通胀率接近于零的程度。
1 小时前
火讯财经讯，12月21日消息，据CoinDesk报道，MapleFinance联合创始人兼CEOSidney（Sid）Powell在接受采访时表示，传统意义上的DeFi已“死亡”，未来真正具决定性的将是链上资本市场。他认为，随着机构逐步将交易、清算和结算搬到链上，传统依赖华尔街中介和基础设施的模式会被不断挤压，“onchainmarketswillswallowWallStreet（链上市场将吞噬华尔街）”。 Powell指出，行业早期那种以投机和简单借贷为主的DeFi，将被更加制度化、面向机构的链上金融基础设施所取代；未来资本市场活动会在公链或许可链上直接发生，而不是通过传统券商和投行等中介绕一圈再结算。
1 小时前
火讯财经讯，12月21日消息，据金十报道，美国白宫国家经济委员会主任哈塞特表示，目前核心通胀率的三个月平均值为1.6%；特朗普在美联储主席候选人中寻求数据依赖型人选。
1 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
