06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，3月9日消息，据CoinDesk报道，全球保险经纪巨头Aon与Coinbase、Paxos合作完成一项稳定币支付保费的概念验证测试，使用USDC（以太坊）和PayPalUSD（PYUSD，Solana）结算保险保费。Aon称，这是大型全球保险经纪首次在保费结算中试用稳定币。当前保费跨境结算多依赖银行清算，耗时数日；该测试旨在评估链上支付在结算效率、成本和透明度方面的潜在优势，并为未来在现有金融体系中引入稳定币做准备，背景是美国已通过GeniusAct为稳定币发行方设定联邦监管框架。
1 小时前
火讯财经讯，3月9日消息，CoinAnk数据显示，过去24小时加密货币市场全网合约爆仓3.39亿美元，其中多单爆仓1.85亿美元，空单爆仓1.54亿美元。BTC爆仓总金额1.18亿美元，ETH爆仓总金额5295.12万美元。
1 小时前
火讯财经讯，3月9日消息，FTX创始人SBF表示，AI当前的主要瓶颈在于“采用”，关键不在于企业购买了ChatGPTEnterprise等工具，而在于是否围绕最新模型的全部潜力对组织结构和业务流程进行重组。他指出，当前的采用程度不足以反映AI未来对经济影响的规模，认为AI资产在现阶段整体仍被低估。
1 小时前
火讯财经讯，3月9日消息，俄罗斯总统普京：与霍尔木兹海峡相关的石油生产最早可能于下月完全停滞。物流将转向更有利可图的市场。俄罗斯企业需利用当前形势。全球天然气价格的涨幅超过油价。
1 小时前
火讯财经讯，3月9日消息，市场消息：G7官员表示，周一举行的G7财长会议上达成广泛共识，暂不释放石油储备。
2 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
