06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，2月10日消息，据火币HTX公告显示，火币HTX将于2月10日16:00(GMT+8)开放UP的充币服务。UP/USDT现货交易将于2月11日10:00(GMT+8)开放。UP的提币服务将于2月12日10:00(GMT+8)开放。 据悉，Superform是首个稳定币新代币银行。任何人都可以进行链上储蓄、兑换、发送和赚取收益，同时保持对个人资产的完全控制。用户可以使用SuperVaults自动优化收益，也可以通过直接投资于超过1000个获利机会来构建自定义投资组合。
10 分钟前
火讯财经讯，2月10日消息，21shares今日披露其已向美国证券交易委员会（SEC）提交ONDOETF的S-1修订申请文件，这使其距离扩大ONDO的交易所交易渠道又近了一步。
40 分钟前
火讯财经讯，2月10日消息，据Cointelegraph报道，以太坊的MVRVZ-Score指标已跌至-0.42，进入通常被视为市场投降的区域，但分析师对其价格是否已接近底部存在分歧。该指标通过比较市值与已实现价值，以评估资产是否被高估或低估。CryptoQuant分析师JoaoWedson指出，当前数值显示以太坊正处于明显的投降过程，但强度远不及2018年12月（-0.76）和2022年熊市底部的历史极端水平。他警告称，市场在形成结构性底部前仍可能有进一步下行空间。HashKeyGroup高级研究员TimSun表示，尽管以太坊基本面未恶化且持续改善，但在当前下跌驱动因素未消退、叠加4月纳税季可能带来的流动性压力下，价格仍存下行风险。 部分分析师持更乐观看法。MNFund创始人MichaëlvandePoppe认为当前以太坊估值与2025年4月暴跌、2022年6月Terra/Luna崩溃后底部等历史低点相似，提供了明显的买入机会。Bitrue研究主管AndriFauzanAdziima同样指出，负MVRV区域在过往周期中多次出现在爆发性复苏之前，当前或是长期积累的窗口期。
40 分钟前
火讯财经讯，2月10日消息，据韩联社报道，韩国金融监督院已就Bithumb交易所的大规模比特币误付事件，将调查级别由现场检查升级为正式稽查，并于当天启动全面调查。金监院表示，此次事件性质极为严重，已增派人员开展高强度稽查，重点调查交易所是否违反“实际持有义务”、是否存在“幽灵货币”问题及内部管控漏洞。调查将重点关注Bithumb实际持有约4.6万枚比特币，却误付出62万个比特币的原因，以及其“账本交易”模式下的资产托管与账目一致性。 金融当局指出，此事可能动摇虚拟资产市场整体信任，将核查误付的比特币是否具备同时被大规模提现的实际结构风险。同时，Bithumb仅凭单人操作即可完成巨额转账的内部审批漏洞也将被重点审查。
1 小时前
火讯财经讯，2月10日消息，据Lookonchain监测，一个新创建的钱包0x6C85向Hyperliquid存入1,288万枚USDC，以20倍杠杆做多ETH。 截至目前，他已开立了16,270枚ETH（价值3,338万美元）的多头头寸。
1 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
