06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，1月9日消息，CoinAnk数据显示，过去24小时加密货币市场全网合约爆仓1.45亿美元，其中多单爆仓7434.90万美元，空单爆仓7107.24万美元。BTC爆仓总金额3941.99万美元，ETH爆仓总金额3448.77万美元。
1 小时前
火讯财经讯，1月9日消息，据金十报道，白宫经济顾问哈塞特：美联储需要进一步降息。
1 小时前
火讯财经讯，1月9日消息，欧易OKX行情显示，BTC刚刚突破92000美元，现报92007.40美元/枚，日内涨幅1.34%。
1 小时前
火讯财经讯，1月9日消息，据BitcoinNews报道，Superheat公司推出一款售价2000美元的能挖比特币的电热水器。该设备能耗与普通热水器相同，但运行专用集成电路（ASIC）矿机来收回成本，从而抵消部分热水费用。不过，该公司的宣传文件暂并未列出功率和TH/s等信息。
1 小时前
火讯财经讯，1月9日消息，CryptoQuant在X平台发文表示，持有量在1000至1万枚BTC的地址持币量同比减少了22万枚BTC，这是自2023年初以来最快的降幅。历史数据显示，2021-2022年也出现了类似的情况，之后价格才达到峰值。
1 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
