06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，12月15日消息，日经225指数12月15日（周一）开盘下跌404.45点，跌幅0.80%，报50432.10点。韩国KOSPI指数12月15日（周一）开盘下跌111.31点，跌幅2.67%，报4055.85点。
25 分钟前
火讯财经讯，12月15日消息，据《卫报》报道，英国财政部正制定新规，将自2027年起把加密货币纳入金融行为监管局（FCA）监管框架，使其比照其他金融产品监管。财政大臣RachelReeves表示，此举旨在增强透明度、提升消费者信心，并打击非法行为。英国政府同时计划禁止使用加密货币进行政治捐款，回应加密资金来源不明的担忧。
25 分钟前
火讯财经讯，12月15日消息，Phantom宣布本周启动PhantomCash借记卡早期接入，美国先行，国际版即将推出。已完成身份验证的用户可解锁Phantom借记卡（支持ApplePay、GooglePay）、法币与加密资产的顺畅出入金以及银行直接转账。Phantom表示仍在持续向候补名单用户滚动发放。官方称Phantom非银行，该预付Visa借记卡由LeadBank发行、BridgeVentures管理，可能产生费用。
55 分钟前
火讯财经讯，12月15日消息，据美国哥伦比亚广播公司（CBS）《面对全国》节目报道，美国国家经济委员会主任哈塞特表示，即使被特朗普提名为美联储主席，他也不会按总统意愿决定利率政策，FOMC的共识决策机制必须保持独立。此前特朗普公开表示应有权影响利率设定，并考虑由哈塞特或前理事沃什接替鲍威尔，鲍威尔的美联储主席任期将于2026年5月届满。
55 分钟前
火讯财经讯，12月15日消息，欧易OKX行情显示，BTC刚刚跌破88000美元，现报87990.00美元/枚，日内下跌1.17%。
1 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
