06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，12月27日消息，CoinAnk数据显示，过去24小时加密货币市场全网合约爆仓5918.73万美元，其中多单爆仓2112.78万美元，空单爆仓3805.95万美元。BTC爆仓总金额598.86万美元，ETH爆仓总金额472.59万美元。
1 小时前
火讯财经讯，12月27日消息，DeBot在X平台发文表示：“为保障用户的资产安全，可以快速将风险钱包中的资产转移至安全钱包地址，快速转移步骤： 1、进入DeBot资产管理页面 2、点击“划转”按钮，将余额转入官方提供的安全钱包地址即可。 对于已受影响的用户，我们将在统计完成后，及时妥善处理并补偿。”
1 小时前
火讯财经讯，12月27日消息，慢雾创始人余弦在X平台发文表示，正在跟进DeBot事件，看链上情况，Debot相关的用户私钥被盗，黑客目前获利25.5万美元资产，还在持续盗窃中。如果在用Debot，私钥由Debot分配，那么这把私钥存在风险。
1 小时前
火讯财经讯，12月27日消息，据Decrypt报道，今年从交易所到稳定币发行商等公司竞相进入公开市场，导致IPO日程异常拥挤，Circle和Bullish顺利登陆美股也引起华尔街关注。分析认为，随着成功案例越来越多且市场状况改善，多家加密公司会在2026年寻求上市，加密货币经纪商FalconX据传正在考虑IPO但目前尚未向美国证券交易委员会（SEC）提交任何文件，其他公司也正准备进入上市阶段，包括已提交申请的Kraken、以及探索或公开讨论过IPO计划的BitGo、Grayscale、Blockchain.com等公司。
2 小时前
火讯财经讯，12月27日消息，针对部分社区用户称DeBot钱包疑似遭到黑客入侵被盗，DeBot官方在X平台发文表示，安全钱包地址运行一切正常，未受任何影响，已经注意到部分地址的相关情况，正在积极跟进并妥善处理。
2 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
