06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，2月4日消息，据Lookonchain监测，巨鲸地址0x4f76在沉寂2个月后再次存入400万枚USDC买入HYPE。 他目前持有591,470枚HYPE（价值2,017万美元），仍有243万枚USDC待用于购买更多HYPE。
18 分钟前
火讯财经讯，2月4日消息，欧易OKX行情显示，BTC刚刚跌破77000美元，现报76998.40美元/枚，日内下跌1.45%。
18 分钟前
火讯财经讯，2月3日消息，欧易OKX行情显示，BTC刚刚突破78000美元，现报78005.60美元/枚，日内下跌1.06%。ETH刚刚突破2300美元，现报2302.97美元/枚，日内下跌2.94%。
48 分钟前
火讯财经讯，2月3日消息，CoinAnk数据显示，过去24小时加密货币市场全网合约爆仓2.35亿美元，其中多单爆仓1.24亿美元，空单爆仓1.11亿美元。BTC爆仓总金额5973.33万美元，ETH爆仓总金额5884.20万美元。
48 分钟前
火讯财经讯，2月3日消息，据Decrypt报道，渣打银行在其最新研究报告中下调了对Solana的近期价格预期，同时大幅提高了长期预测。该行将SOL的2026年底目标价从310美元下调至250美元，但预计其将在2030年底达到2000美元。报告指出，Solana的去中心化交易所活动正从Meme币交易转向SOL-稳定币交易对，其稳定币周转速度比以太坊快2到3倍，显示出不同的用例；Solana“超低成本、快速且可靠的交易模型”将使其主导需要高吞吐量、低交易成本的领域，特别是由x402等AI协议推动的微支付领域。
48 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
