06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，2月24日消息，据彭博社报道，香港稳定币支付公司RedotPay正考虑在美国进行首次公开募股（IPO），拟融资超过10亿美元。消息人士称，RedotPay已与摩根大通、高盛和Jefferies合作推进上市事宜，最快或于今年在纽约挂牌，目标估值超过40亿美元。目前相关方案仍在讨论中，募资规模和估值等细节可能调整。
16 分钟前
火讯财经讯，2月24日消息，据新民晚报报道，一名38岁中国商人王某在土耳其遭绑架后被杀害弃尸，土警方已抓获包括一名女性在内共10名嫌疑人。警方通报称，嫌疑人自伊斯坦布尔机场起即跟踪王某，并通过与其同行女子实施引诱，在餐后准备离开时将王某强行塞入另一辆车内，该女子则蹲地伪装不知情。数日后王某遗体在田地被发现，手脚和嘴被胶带捆绑，头部遭重击。警方称，嫌疑人与王某存在债务纠纷，并从其加密货币账户中提取大量资金，涉案女子案发当日即出境，后在国际刑警组织通缉下与其他9名男子一同被捕。
16 分钟前
火讯财经讯，2月24日消息，据Bithumb公告，Bithumb将新增上架GoPlus（GPS）韩元交易市场。GPS将支持BASE网络充值提现，其他网络充值不予支持。
16 分钟前
火讯财经讯，2月24日消息，韩国最大加密货币交易所Upbit宣布将上线数字资产Espresso(ESP)，并开放韩元、BTC、USDT三个交易市场。
46 分钟前
火讯财经讯，2月24日消息，据Lookonchain报道，链上地址显示，钱包“LeBron”曾分别在$MELANIA、$TRUMP、$LIBRA、$HARRYBOLZ上获利数百万美元，但其在Solana链代币$ONE的投资目前大幅浮亏。其共斥资约11万美元买入450万枚$ONE，随后卖出91.6万枚换取13,923枚USDC，当前剩余约359万枚$ONE，市值约1.2万美元，账面亏损约8.4万美元，回撤约76%。
46 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
