06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，1月26日消息，法兴银行：年底前黄金价格达到每盎司5000美元的预测已经实现。我们现在预计年底前黄金价格将达到每盎司6000美元，但需要注意的是，这可能是一个保守的估计，价格很可能会更高。
6 分钟前
火讯财经讯，1月26日消息，据Bitmine公告，截至1月25日，公司持有4,243,338枚ETH，约占以太坊总供应的3.52%，其中2,009,267枚已参与质押。公司上周新增40,302枚ETH。Bitmine合计加密资产、现金与“Moonshot”投资总额达128亿美元，ETH为其主要储备资产。其自研质押基础设施“MAVAN”预计将于2026年Q1上线，用于大规模部署ETH质押。
6 分钟前
火讯财经讯，1月26日消息，彭博ETF分析师Eric Balchunas发推称，BlackRock（贝莱德）已提交其拟推出的iSharesBitcoinPremiumIncomeETF官方S‑1招股说明书，目前尚未公布费率与交易代码。该ETF策略旨在跟踪比特币价格表现，同时通过主动管理卖出看涨期权（主要针对IBIT份额及部分ETP指数）来生成溢价收益。
6 分钟前
火讯财经讯，1月26日消息，比特币财库公司Strategy（MSTR）上周以约90,061美元/枚购入2,932枚BTC，支出2.64亿美元，目前总持仓712,647枚，账面浮盈约83.95亿美元。以太坊财库公司Bitmine（BMNR）同期以约3,008美元/枚购入40,302枚ETH，支出1.21亿美元，总持仓达4,243,338枚，账面浮亏约40.05亿美元。
6 分钟前
火讯财经讯，1月26日消息，Strategy提交给SEC的8-K文件显示，公司于1月20日至25日期间以约9万美元/枚的均价购入2,932枚BTC，总支出达2.641亿美元，资金来源为ATM股票销售所得。截至1月25日，公司共持有712,647枚BTC，累计买入金额为541.9亿美元，平均成本价为76,037美元。
36 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
