06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，12月1日消息，据OnchainLens监测，过去24小时内，某巨鲸向HyperLiquid存入700万枚USDC，并以5倍杠杆开立了HYPE多仓。 目前该头寸名义价值为2400万美元，开仓均价为31.9美元，强平价格为22.16美元，当前浮动亏损约为190万美元。
4 小时前
火讯财经讯，12月1日消息，CoinAnk数据显示，过去24小时加密货币市场全网合约爆仓7.68亿美元，其中多单爆仓7.08亿美元，空单爆仓6029.87万美元。BTC爆仓总金额3.17亿美元，ETH爆仓总金额1.61亿美元。
4 小时前
火讯财经讯，12月1日消息，据彭博社报道，知情人士透露，总部位于香港的FirstDigitalGroup正计划通过与一家空白支票公司合并的方式实现公开上市。该公司即将宣布签署一份无约束力意向书，其中概述了与在纽约上市的特殊目的收购公司CSLMDigitalAssetAcquisitionCorpIII（简称CSLM）合并的计划。 据悉，FirstDigitalGroup是稳定币FDUSD的发行方，该稳定币市场流通量约为9.2亿美元，低于2024年4月峰值时的约44亿美元。作为受托人，FirstDigitalGroup还为TrueUSD管理储备金，TrueUSD是由Techteryx运营的稳定币，而Techteryx的顾问是孙宇晨。
4 小时前
火讯财经讯，12月1日消息，据OnchainLens监测，黄立成(@machibigbrother)向HyperLiquid存入25万枚USDC，以增加其ETH（25倍杠杆）多仓头寸。 然而，其持仓持续遭遇强平，目前累计亏损已超过2120万美元。
4 小时前
火讯财经讯，12月1日消息，欧易OKX行情显示，BTC刚刚跌破84000美元，现报83973.20美元/枚，日内下跌8.17%。
4 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
