06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，美元兑日元（USD/JPY）跌破159关口，日内跌幅达0.25%。
1 小时前
火讯财经讯，据Coinglass数据，过去24小时全网爆仓3.96亿美元，其中多单爆仓1.45亿美元，空单爆仓2.51亿美元。比特币多单爆仓3480.49万美元，空单爆仓1.12亿美元；以太坊多单爆仓4516.98万美元，空单爆仓6119.5万美元。同期全球共有69109人被爆仓，最大单笔爆仓单为Binance的BTCUSDT交易对，价值1181.57万美元。
2 小时前
火讯财经讯，欧洲央行行长拉加德称，当前形势不确定性过高，暂时无法就利率政策作出承诺。她表示6月可能修订通胀预测，届时央行将结合全部数据评估整体经济状况。
2 小时前
火讯财经讯，美国白宫国家经济委员会主任哈塞特表示，美伊若达成潜在协议，可能导致能源价格大幅下跌，并为美联储降息创造空间。他还指出，近期的通胀压力主要是由高能源成本推动的。
3 小时前
火讯财经讯，Coinglass数据显示，若ETH突破2203美元，主流CEX累计空单清算强度将达9.21亿美元；若ETH跌破1996美元，主流CEX累计多单清算强度将达5.68亿美元。
3 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
