相关新闻
Monad 团队分享形式化验证实践,发现多个 AI 模型审查时遗漏的链上安全漏洞
Monad 开发团队 Category Labs 发文分享其使用形式化验证(Formal Verification)方法排查 Monad 区块链关键模块漏洞的经验,披露了多个 Claude Opus 4.8、Codex 等前沿大模型在代码审查中未能发现、但形式化证明过程成功捕获的漏洞。涉及 Monad 异步执行机制中的「Reserve Balance(保留余额)」设计及 MIP-8 存储优化中的 C++ 未定义行为问题。团队认为,相比直接要求模型「审查代码」,先写出精确的正确性命题再要求模型寻找反例,这种工作方式更容易暴露隐藏漏洞,形式化验证目前已可大幅借助 AI 辅助完成。
Category Labs 拟于上半年回购最多 3000 万美元 MON 代币
Monad 的开发团队 Category Labs 宣布,计划在 2026 年上半年最多在公开市场上购入最多 3000 万美元的 MON 代币。任何购买均可根据公司判断启动、暂停或终止。该声明并不构成获取特定数量代币的承诺,仅反映 Category Labs 根据市场状况考虑机会性购买的意图。
Monad 现报 0.0254 美元,当前 FDV 与公售时差别不大
Coinbase 行情显示,Monad(MON) 现报 0.0254 美元,当前流通市值为 2.72 亿美元,完全稀释市值(FDV)为 25 亿美元。Foresight News 此前消息,Monad 代币经济学显示,MON 代币供应量 1000 亿枚,其中 7.5% 的代币将以 25 亿美元的全稀释估值(FDV)进行出售,并有 3% 的代币通过空投分配。剩余生态发展占比 38.5%;团队占比 27.0%;投资者占比 19.7%;Category Labs 金库占比 4.0%。

Coinbase 终于下场做打新平台了?
首场销售选定 Monad,计划未来每月举办一次代币销售
BNB Chain 公布第十季 MVB 加速器计划的 15 个早期项目
BNB Chain 公布第十季 「最具价值构建者」(MVB)加速器计划的 15 个早期项目。第十季将于本周正式在线上启动,并以在纽约举行的为期两天的线下活动作为收官,此季将以 YZi Labs 的投资作为收官,该投资将基于 Demo Day 的演示和 MVB 期间的项目表现。这 15 个早期项目分别为:AI 铸造工厂 RICE AI、去中心化人员数据智能层 Whitebridge Network、种 DeSoc 协议 AGNT.Hub、Web3 应用程序抽象层 FlashX.ai 、交易终端 Opsin 、DeFi 协议 Sigma Money、智能戒指 Bitring 、 Web3 消费者和金融层 ShareX、去中心化的人类层 dLife 、加密支付框架 AEON、多链支付基础设施 Pepay Labs、RWA 启动板 Asseto 、可编程协议 AXC(RWA) 、稳定币基础设施 DMZ Finance 、稳定币驱动的 DeFi ETF R2。

CoreSky:重塑 Memecoin 生态,赋能草根创意
随着平台币 $CSKY 即将 TGE,CoreSky 将结合生态启动社区激励,公布后续规则及合作 Launchpad 上线等一系列生态机制,为 Meme 创意提供正式成长通道。
永续 DEX EDE 疑被攻击,损失约 58 万美元
Proximity Labs 研究员 Res 发推表示,永续 DEX El Dorado Exchange(EDE)疑似被攻击并损失约 58 万美元,某地址一直在向 Arbitrum 的 ELP-1 池发送小额资金,并在之后立即提取大额资金。攻击者已在链上发送了一条消息,表示「你好,我不是黑帽黑客」,该地址为 0x80826e9801420e19a948b8ef477fd20f754932dc。
NFT 游戏生态系统 Gameta 推出 3000 万美元的社区激励基金
NFT 游戏生态系统 Gameta 宣布推出 3000 万美元的社区激励基金,以奖励其社区用户和关注者对 Gameta 的积极贡献。在第一阶段,Gameta 用户(包括 Hippo Club NFT 持有者、Gameta 代币持有者、活跃的 Gameta 游戏玩家、社区发起人和参与者)都将首先有机会获得奖励基金。Foresight News 此前报道,4 月份,Gameta 完成 500 万美元种子轮融资,Binance Labs、Huobi Ventures、Arcane Capital、Ceras Ventures、StartVC、Gate.io Labs、W3Coins、Redline Dao、DefinanceX、Rana Capital 和 Infinity Labs 参投,所筹资金将用于加快其游戏生态系统、代币和 NFT 体系建设。
育碧将推出《刺客信条》 NFT 系列,5 月 16 日开放铸造
据 Decrypt 报道,游戏巨头育碧(Ubisoft)与 Integral Reality Labs 合作在 Polygon 上推出《刺客信条》 NFT 系列「Assassin’s Creed Smart Collectibles」,将于 5 月 16 日正式开放铸造。每个铸造的「数字灵魂」NFT 都可以用于定制和兑换 3D 打印且支持 NFC 功能的实物藏品,每个 NFT 具有不同的稀有度级别,更高级别的 NFT 可以解锁更多定制元素。Integral Reality Labs 还将发布 1500 张「Piece of Eden」通行证,为持有者提供获得独家收藏品的空投与优先使用 3D 打印等。
Interlay Labs 发布 BRC-21 代币标准 0.1 版本
Interlay Labs 发布 BRC-21 代币标准 0.1 版本,该提案用于铸造 BRC-20 代币和从比特币兑换 BRC-20 代币,这些代币最初是在以太坊、Cosmos、Polkadot 或 Interlay 等源链上创建的,所提出的方法不需要信任任何第三方。其技术要求为自定义索引器(custom indexer)、源链合约、BTC-Relay。自定义索引器用于验证比特币 BRC-21 铸造、转移和赎回操作,以及源链上的合约状态;处理源链上的铸币和赎回操作的源链合约;BTC-Relay 作为源链上的智能合约实现的 BTC-light 客户端,能够验证是否包含 BTC 交易并解析它们。该标准称,其主要用例是将去中心化稳定币部署到闪电网络或类似的支付协议上。像 MakerDAO、Liquity 或 RAI 等去中心化稳定币需要复杂的铸造、赎回和清算机制来保持其挂钩。由于缺乏可编程性,这些协议不能直接部署在比特币上,这种完全去中心化的跨链资产铸造和赎回比特币的方法更有可能实现大规模采用。
Meta 元宇宙部门 Reality Labs 一季度亏损 40 亿美元
据 The Block 报道,Meta 元宇宙部门 Reality Labs 今年第一季度亏损了 40 亿美元,且 Meta 预计不仅会持续全年亏损,今年的亏损还将超过 2022 年。但 Meta 首席执行官马克·扎克伯格(Mark Zuckerberg)表示,有关 Meta 正在远离元宇宙的说法是错误的。Foresight News 此前报道,Reality Labs 在 2022 年全年亏损总额达 137 亿美元。
Web3 NFT 游戏平台 Gameta 完成 500 万美元种子轮融资,Binance Labs 等参投
Web3 NFT 游戏平台 Gameta 完成 500 万美元种子轮融资,Binance Labs、Huobi Ventures、Arcane Capital、Ceras Ventures、StartVC、Gate.io Labs、W3Coins、Redline Dao、DefinanceX、Rana Capital 和 Infinity Labs 参投,所筹资金将用于加快其游戏生态系统、代币和 NFT 体系建设,在年内实现用户体量的进一步增长。Foresight News 注,Gameta 曾入选 BNB Chain 第五批 Web3 加速器计划 MVB,已建立用户可以进行游戏、社交、经验共享以及 Web3 资产互动的 Hippo Club NFT 系统。
Layer2 ZK-ZKVM 项目 Ola 发布第二版技术白皮书,将于年内上线测试网
可编程性隐私和扩容方案 Ola 发布第二版技术白皮书,致力于构建一个集隐私、高性能、可编程性为一体的 Layer2 ZK-ZKVM 平台,让用户真正掌控个人数据所有权与使用权。第二版白皮书强调了如何设计和构建 Ola 中最重要的基础模块,高性能的 ZKVM,OlaVM;ZK 友好的智能合约语言,Ola-lang;以及隐私的设计架构。另外,Ola 已于近期开启品牌升级计划,将于 2023 年年内上线测试网,2024 年年初上线主网。Foresight News 注,Ola 由 Sin7y Labs 团队研发,专注于 Layer2 的 ZK- ZKVM 方案。

NEAR 成为“2023 香港 Web3 嘉年华”白金赞助商

深度剖析 NFT 像素艺术的潮流和发展趋势
凡经典者,必成永恒。这个道理,放在 Web3 也一样适用。
SeeDAO | 创作者模式新玩法:通过代币启动社区
Web3 为创作者开辟了新的道路,最终将通往一个更加强大、更具活力的创作者经济。

万字解读 Bitcoin Ordinals:比特币上的 NFT 新大陆
Bitcoin Ordinals 将催生一大批应用工具的产生,全新的叙事生态带来市场份额的扩张。

Meta 宣布放弃 NFT 功能,扎克伯格陷入墨菲定律
在加密圈有一个词叫 NGMI,全称是“Not Going To Make It”,意思是是铁定没戏或不...

Roblox 小游戏走出元宇宙试炼年
大厂急于甩开的元宇宙,“第一股”撑得挺好。

参会必备| ETHDenver 2023 周边活动日程一览
Foresight News 整理了 ETHDenver 2023 日程及其周边活动供读者参考。



