06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，1月29日消息，欧易OKX行情显示，BTC刚刚跌破89000美元，现报88973.20美元/枚，日内下跌0.57%。
16 分钟前
火讯财经讯，1月28日消息，CoinAnk数据显示，过去24小时加密货币市场全网合约爆仓2.79亿美元，其中多单爆仓6111.61万美元，空单爆仓2.18亿美元。BTC爆仓总金额8322.49万美元，ETH爆仓总金额7505.94万美元。
5 小时前
火讯财经讯，1月28日消息，据TheBlock报道，Solana 的每日验证节点数量已降至800个以下，这是自2021年以来的最低水平，与2023年初约2500个验证节点的峰值相比，降幅显著。这意味着在不到三年的时间里，验证节点数量下降了超过65%。 验证节点是运行Solana软件的独立节点，用于验证交易并生成区块。验证节点数量的下降直接影响了投票交易，验证节点提交的用于确认区块的交易数量已从每日约30万笔降至17万笔。尽管验证节点数量减少，但非投票交易仍然保持相对稳定，每天约1亿笔。
5 小时前
火讯财经讯，1月28日消息，据Lookonchain监测，随着黄金价格持续创下历史新高，巨鲸们仍在继续买入黄金。鲸鱼 0x6Afa在过去两天花费595万美元购买了1137枚PAXG代币。一个新创建的钱包0x0E4F在13小时前从Bybit平台提取了800枚XAUT代币（价值422万美元）。
5 小时前
火讯财经讯，1月28日消息，据官方公告，Coinbase将于1月29日上线MoonbirdsBIRB永续合约交易。如果流动性条件满足，且在支持交易的地区，BIRB-PERP市场将于00:30（UTC+8）或之后开始开放。
5 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
