共识机制

新闻资讯

技术贴 | 形式化验证Gasper共识机制的终局性（finalization）

什么是 Gasper？如何能形式化地验证其属性？这种形式化验证有何意义？

以太坊爱好者
2020-07-20
0 0

IntelligentCricket 和 Neon Eight Group 共同牵头为体育元宇宙平台 Bitball 筹集 500 万美元 A 轮资金
2024-11-15
分享到:

ChainXiu链嗅网消息，体育元宇宙平台 Bitball 完成 500 万美元的 A 轮融资，由板球分析领域的全球领先企业 IntelligentCricket 和专注于体育领域的私募股权投资集团 Neon Eight Group 共同领投，后者的投资组合包括 MPS Data。继 BitFundX 投资 200 万美元之后，本轮融资使 Bitball 的融资总额达到 700 万美元。

根据 Bitball 的声明，这笔资金将用于扩大其人工智能驱动的体育游戏生态系统，该系统利用实时体育数据增强用户互动性和真实性。IntelligentCricket 和 Neon Eight Group 将其丰富的专业知识和数据资源用于支持 Bitball 将实时体育体验整合到 Web3 元宇宙中的使命。

IntelligentCricket 总部位于伦敦，与 20 多家主要板球俱乐部合作，为 5 亿多球迷提供服务，并为印度板球联赛等著名联赛提供先进的人工智能分析。

Bitball 计划将这笔资金用于开发基于真实世界体育数据的人工智能球员系统，同时制作一款定于 2025 年第二季度推出的 3D 板球游戏。这款新游戏将利用实时体育数据提供身临其境的逼真游戏体验。

“Bitball首席执行官在一份声明中说：”在IntelligentCricket和MPS Data的支持下，我们正在Web3领域推动体育游戏的发展。”我们的愿景是将体育直播的快感与区块链的互动性结合起来，创建一个平台，让球迷可以用开创性的方式参与他们最喜爱的体育运动。”

自2023年12月推出以来，Bitball已经推出了四款Web3体育游戏，注册用户超过500万，并在Arbitrum的30天唯一活跃钱包（UAW）排名中稳居榜首。Bitball的$BALL代币计划于2024年第四季度举行代币生成活动（TGE），在其生态系统中提供更多参与机会。

筹集到的资金还将支持 Bitball 不断发展的合作伙伴关系和整合，通过将人工智能、数据和区块链相结合，提供无与伦比的体育游戏体验，确立其在 Web3 体育元宇宙中的领导者地位。
特朗普盟友提议：出售美联储的部分黄金，买比特币
2024-11-15
分享到:

ChainXiu链嗅网消息，美国候任总统特朗普在美国参议院的一位盟友制定了一项计划，旨在在不增加政府赤字的情况下填补特朗普提议的战略比特币库存，即抛售美联储的部分黄金。

怀俄明州共和党参议员辛西娅·卢米斯（Cynthia Lummis）计划在明年新一届国会就职时推动一项法案。该法案要求美国购买 100 万枚比特币，占未偿付代币的近 5%。按当前市场价格计算，此次收购将耗资约 900 亿美元，不过如果该法案获得通过，且投资者抢在政府购买之前行动，收购所需金额可能会增加。 [原文链接]
数据：一比特币巨鲸休眠 14.3 年后被激活并转移 2000 枚 BTC
2024-11-15
分享到:

ChainXiu链嗅网消息，据 Onchain Lens 监测，一休眠 14.3 年的比特币巨鲸今日早间被激活。早在比特币仅价值 0.067 美元的时候，这位矿工就积累了 2000 枚 BTC。

经过这么多年的持有，这个钱包终于有所动作，将 BTC 转移到了一个新钱包，之后又分散到了 50 个不同的钱包中。如今，这些 BTC 的总价值高达 1.762 亿美元。 [原文链接]
政府效率部（DOGE）：马斯克和 Vivek 将亲自审核投入简历的前 1% 申请者
2024-11-14
分享到:

ChainXiu链嗅网消息，政府效率部（DOGE）在 X 发文称：“非常感谢成千上万表达对 DOGE 感兴趣的美国人，但我们不需要更多的兼职‘点子’提供者。我们需要的是超高智商、支持小政府理念、愿意每周工作 80 小时以上的成本削减‘革命家’。如果你符合条件，请私信此账号并附上你的简历。Elon 和 Vivek 将亲自审核前 1% 的申请者。” [原文链接]
亿万富翁 Tim Draper 透露其山寨币投资组合，包括 Tezos、Arkham 等
2024-10-10
分享到:

ChainXiu链嗅网消息，据 Coinpedia 报道，美国亿万富翁投资者 Tim Draper 近日在 Thinking Crypto 播客中分享了他的山寨币投资组合。

他投资的项目有 Arkham，其团队能够将比特币钱包与真实身份关联，引发机构兴趣。Draper 还持有 Tezos，赞赏其治理机制和安全性，适合智能合约和去中心化应用开发。

此外，他还投资了 DeFi 流动性网络 Bancor 和去中心化域名协议 Handshake。他强调，投资前需确保代币具备实际效用，而非单纯投机。 [原文链接]
支付巨头 Stripe 现已支持 USDC 支付
2024-10-10
分享到:

ChainXiu链嗅网消息，支付巨头 Stripe 已启动并支持 USDC 支付，接受来自 150 多个国家的稳定币支付，买家可以从以太坊、Solana 和 Polygon 链上支付 USDC，并允许美国企业直接收取美元。

未来该功能可与结账、内容或支付意图（以及即将推出的订阅）相结合。该功能现已为数十万家美国企业开放，未来将拓展到更多国家和地区。 [原文链接]
Optimism 开放第五季空投申领，分发超 1000 万枚 OP
2024-10-10
分享到:

ChainXiu链嗅网消息，以太坊 L2 网络 Optimism 宣布开放第五季空投申领，为 5.4 万个独立地址分发超 1000 万枚 OP。在 2024 年 3 月至 9 月期间在超级链上与至少 20 个独立合约进行了互动，且合约与交易比率达到 10% 的用户有资格领取，根据交互情况有不同的空投乘数匹配。 [原文链接]
4EVERLAND节点助力活动 “4EVER Boost” 上线3天参与用户已超1W人，参与用户可赢取未来空投
2024-08-27
分享到:

ChainXiu链嗅网消息，据官方数据显示，Web3云计算平台4EVERLAND推出的节点助力计划”4EVER Boost” 上线3天参与用户已超1W人，该计划旨在加速DePIN网络4EVER Network去中心化物理基础设施的建设，为用户提供更多与平台互动并获得奖励的机会。用户可以参与节点质押、日常任务和 T4EVER/NFT 质押，以加快获得 $4EVER 积分，并转化成未来空投。“4EVER Boost” 已同步上线Telegram Miniapp 版本以及网页版本，用户可以通过不同入口参与节点助力，并获得可持续的积分奖励。

根据此前消息，4EVERLAND 已宣布推出 DePIN 架构“4EVER Network” ，旨在将去中心化物理基础设施网络（DePIN）与社区贡献的闲置硬件资源相整合，提供高效、安全低门槛和可扩展的云服务。

4EVERLAND 是一个整合了存储、网络和计算能力的 Web3 云计算平台，专注于 DePIN+AI 赛道，旨在为Web3应用提供高性能、低成本的解决方案。 [原文链接]
俄罗斯杜马主席：美国在未提供证据的情况下支持在法国逮捕 Telegram CEO
2024-08-27
分享到:

ChainXiu链嗅网消息，俄罗斯杜马主席沃洛金表示，美国在未提供证据的情况下支持在法国逮捕社交平台 Telegram 首席执行官杜罗夫。 [原文链接]
Meta 创始人承认拜登政府曾向其团队施压，要求在平台上审查内容
2024-08-27
分享到:

ChainXiu链嗅网消息，Meta 公司创始人兼首席执行官承认拜登政府曾向他的团队施压，要求在平台上审查内容。扎克伯格表示：

“2021 年，拜登政府的高级官员，包括白宫，多次对我们的团队施压，要求审查某些有关 COVID-19 的内容，包括幽默和讽刺内容，并且当我们不同意时，他们对我们的团队表现出了极大的挫败感。最终，是否删除内容是我们的决定，我们为我们的决定负责，包括在这种压力下对 COVID-19 相关内容执行的修改。”

“我认为政府的压力是错误的，我后悔当时没有更加直言不讳。我也认为我们做出了一些在事后看来以及基于新信息下不该做出的选择。正如我当时对我们的团队所说的，我坚信我们不应该因任何政府的压力而妥协我们的内容标准。”

“在另一个情况下，联邦调查局警告我们，在 2020 年大选前，可能存在关于拜登家族和布里斯玛的俄罗斯虚假信息行动。当年秋天，我们看到《纽约邮报》关于涉及当时的民主党总统候选人乔·拜登家族腐败指控的报道时，我们将该报道发送给事实核查员进行审核，并在等待回复期间暂时降低了其传播权重。

后来明确表明，这篇报道并不是俄罗斯的虚假信息，回顾起来，我们不该降低该报道的传播权重。我们已经更改了我们的政策和流程，以确保这种情况不会再次发生。” [原文链接]

共识机制

技术贴 | 形式化验证Gasper共识机制的终局性（finalization）