06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，2月17日消息，以太坊联合创始人VitalikButerin在X平台发文表示，用户无需认同其对应用形态、DeFi、隐私支付、AI等观点，都可以自由使用以太坊，以太坊作为去中心化协议，应保持无需许可与抗审查属性，但这并不意味着个人不能对应用进行价值判断和公开批评，中立性应属于协议层，而个人与社区需要明确表达自身原则，并在此基础上构建与价值观一致的生态，同时接受以太坊会被不同理念以不同方式使用。
1 分钟前
火讯财经讯，2月17日消息，据金十报道，现货金银短线下跌，现货黄金跌幅近10美元，现报4988美元/盎司，日内跌0.57%。现货白银跌幅一度达0.4美元，现报76.27美元/盎司，日内微涨0.1%。
31 分钟前
火讯财经讯，2月17日消息，据CME“美联储观察”：美联储到3月降息25个基点的概率为7.8%，维持利率不变的概率为92.2%。美联储到4月累计降息25个基点的概率25.3%，维持利率不变的概率为73.1%，累计降息50个基点的概率为1.6%。到6月累计降息25个基点的概率为52.6%。
31 分钟前
火讯财经讯，2月17日消息，据金十报道，前日本央行审议委员安达诚司表示，日本央行很可能会利用4月份可获得的大量新数据作为加息机会，而不理会市场对3月份可能加息的猜测。安达诚司周一在接受采访时称：“3月加息会带来风险，因为这将基于预期而非信号确认。4月将获得大量数据，用以确认基础通胀的改善。”安达诚司的观点与市场日益增长的预期一致，即行长植田和男领导的委员会可能会在春季采取行动——这比大多数经济学家在12月最后一次加息后的预测要早。
31 分钟前
火讯财经讯，2月16日消息，Coinglass数据显示，过去4小时全网爆仓1.23亿美元，其中多单爆仓9247.56万美元，空单爆仓3028.04万美元，此外比特币爆仓金额达约6951万美元，以太坊爆仓金额达约2608万美元。
9 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
