06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，3月10日消息，据Cryptopolitan报道，纳斯达克上市的比特币财库公司EmperyDigital上周以每枚71,636美元的价格出售了102枚比特币，获得约730万美元收益，用于现金储备和股票回购。 此举正值激进股东ATGCapital和TiceP.Brown向公司董事会提交董事提名，对现有管理层表达不满。Empery此前已通过比特币销售资金回购了逾2000万股股票，并表示计划根据需要减持比特币以资助未来回购。
12 分钟前
火讯财经讯，3月10日消息，据Decrypt报道，链上分析公司Glassnode表示，随着对伊朗冲突的担忧减弱，比特币市场结构显示出初步稳定迹象。比特币当日上涨4.3%至约69,100美元，期货未平仓合约增加，永续合约市场出现积极买盘，表明交易员正谨慎回归杠杆头寸。美国现货比特币ETF流入增至约9.34亿美元，较前一周增长20%。 Glassnode指出，动量指标、ETF需求和盈利能力指标正在改善，但复苏仍属“初步”，价格走势尚缺乏决定性看涨转向的力度。交易量和网络活动依然低迷，资本流动疲软，表明整体信心尚未完全恢复。
12 分钟前
火讯财经讯，3月10日消息，据链上分析师@ai_9684xtpa监测，3月8日做空CL亏损159.5万美元的巨鲸地址，这次终于又靠做空赚回来了。他以106.28美元的均价做空6562枚CL（557万美元），现在浮盈140.5万美元，即将回本，是HyperliquidCL头寸浮盈TOP2的地址。
12 分钟前
火讯财经讯，3月10日消息，欧易OKX行情显示，BTC刚刚跌破69000美元，现报68952.50美元/枚，日内涨幅0.13%。
12 分钟前
火讯财经讯，3月10日消息，据OnchainLens监测，过去24小时，一巨鲸向HyperLiquid存入260万枚USDC，并开设了7倍杠杆的CL和BRENTOIL空头头寸，目前浮盈超150万美元。
12 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
