06月26日，星期三 07:33
6月26日讯，Algorand官方博客发文称：为了更好地保证Algorand协议，并使未来的协议设计和验证更容易，Algorand选择通过机器验证来增强数学上的理论证明。为此，Algorand聘请了具有深入验证能力的专业公司通过运行环境验证来验证Algorand共识协议的正确性。我们很高兴地报告了这项工作的一个重要里程碑：使用Coq定理证明，团队已经开发了一个精确的协议数学模型，并正式验证了其安全保证（区块链从不分叉）。在今年早些时候，Algorand用Runtime Verification（运行时验证）来验证其共识协议。Algorand宣布已经完成该工作的第一部分，即协议建模和证明其安全定理。具体来说，我们使用了一个证明助手（Coq）来系统地确定协议在数学上保证不会分叉的假设。
1
火讯财经讯，4月4日消息，跨链协议Wormhole表示，过去1年Wormhole已处理超过590亿美元的资产转移总量和10亿条消息，并成功与BlackRock、Apollo等机构达成高价值合作。 WToken当前支持五大网络（Ethereum、Base、Solana、Arbitrum和Optimism）的治理和质押，预计WormholeGovernance即将上线。未来，Wormhole将专注于产品优化、平台代币化及多链治理解决方案，目标在1-2年内实现消息和资产转移量的10倍增长，同时推动Era4阶段的产品升级，包括MultiGov多链治理系统、Portal品牌焕新及社区激励计划。
4 分钟前
火讯财经讯，4月4日消息，CoinbaseDerivatives宣布已向美国商品期货交易委员会（CFTC）提交申请，计划推出XRP期货合约，官方预计该合约将于2025年4月21日上线。
19 分钟前
火讯财经讯，4月4日消息，据余烬监测，在SEC结束对Immutable的调查后，IMX价格出现上涨。一鲸鱼或机构账户趁势在过去8天内抛售了1717万枚IMX（约合967万美元），均价为0.56美元。 该账户在调查结束消息公布后，将IMX转入机构经纪平台FalconX，随后从FalconX转入币安。
19 分钟前
火讯财经讯，4月4日消息，Bithumb前CEOLeeSang-jun因受贿服刑期间，仍获得公司支付的约47亿韩元（约合350万美元）薪酬，其中包括140万美元奖金、150万美元退休金及32万美元基本工资。Bithumb发言人称其对公司专业化运营贡献显著。与此同时，韩国加密行业薪资大涨，Upbit母公司Dunamu主席去年获8200万美元奖励，员工平均年薪达14.7万美元。
34 分钟前
火讯财经讯，4月4日消息，据消息人士透露，专注加密和传统资产的经纪商HiddenRoad正与一家加密公司洽谈收购事宜，投资银行FTPartners为其提供咨询。目前尚未确定交易是否会达成，HiddenRoad对此未作回应。 HiddenRoad过去一年筹集了约5000万美元资金，投资方包括DragonflyCapital等。有消息称，其中一家投资方已提出收购意向。此前报道显示，该公司正在考虑出售或融资，估值可能超过10亿美元。
34 分钟前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
