Mistral AI 发布 Leanstral：首个 Lean 4 开源代码 Agent，可自动输出形式化证明

加密行业遭遇关停浪潮：代币模式失效，缺乏重组路径

Gate 新闻消息，4月28日——今年，加密行业正经历一波项目关停潮，影响交易平台、分析工具以及其他服务。去中心化邮件服务 Dmail 提到，高昂的基础设施成本、融资失败以及代币效用走弱是其停止运营的原因。

Sky Protocol 在 Genesis Capital 阶段完成后提议重塑金库（Treasury）架构

Gate 新闻消息，4 月 28 日——Sky Protocol 创始人 Rune Christensen 于 4 月 24 日在 Sky 治理论坛发布了一项提案，拟在 Genesis Capital 转移至 Grove（Sky Agent Network 中的机构信贷配置器）之后，永久退出协议的引导资金（bootstrap funding）阶段

以色列批准首个谢克尔稳定币 BILS：Solana 运行两年试点后上线

根据 CoinDesk 4 月 28 日报道，以色列资本市场、保险和储蓄管理局（Capital Market, Insurance and Savings Authority）正式核准本地交易所 Bits of Gold 发行的 稳定币 BILS——这是以色列史上首个受监管、与谢克尔（NIS）1:1 挂钩的法币稳定币。BILS 在 Solana 链上发行，已通过长达两年的监管沙盒试点，正式进入有限规模上线阶段。 BILS：谢克尔首次上链、Solana 为底层 BILS 的关键规格： 发行方：Bits of Gold（以色列本地老牌加密交易所） 挂钩：与以色列谢克尔（NIS）1:1 全额抵

Cardano Foundation CEO: ADA Integrating Bitcoin's UTXO Model and DeFi Features

Gate News 消息，4 月 28 日——Cardano 基金会 CEO Frederik Gregaard 在巴黎区块链周的一场小组讨论中，强调了 ADA 在支持传统金融基础设施方面的独特作用。Gregaard 表示，Cardano 是唯一能够支持法律实体标识符（Legal Entity Identifier）的区块链，法律实体标识符为 LEI，该标准由银行用于身份验证与安全。“在这个过程中，我们还在利用比特币的一些架构要素，”他表示，并补充说，ADA 能够把传统金融标准带入区块链世界。 Gregaard 概述了持续推进的工作，即把比特币功能与 Cardano 进行整合。“要把比特币带到 Cardano 上，还需要做大量工作：实现基于 BTC 的可编程 DeFi，并且在 Cardano 上原生使用 Satoshis 作为燃气费，”他解释道。“因此，你无需离开比特币，就能获得可编程性。这将释放许多可能性。”CEO 强调，ADA 已采用比特币的 UTXO Unspent Transaction Output 模型以及架构原则。 Gregaard 最后总结：“比特币与 ADA 的确能很好地协同工作，”并指出，比特币的架构优势与 Cardano 的设计思路相互补充。

Solana 发布量子计算路线图，并采用 Falcon 算法以保障后量子安全

Gate 新闻快讯，4 月 28 日——Solana 已发布一份全面路线图，旨在说明量子计算对区块链技术的潜在影响。尽管量子威胁仍需数年时间才可能到来，但生态系统正在积极准备技术防御，以降低这些风险。 Anza 和 Firedancer，

Pharos Pacific Ocean Mainnet Goes Live as Native Asset-Class L1 for High Performance and Regulatory Compliance

Gate 新闻消息，4月28日——Pharos 宣布推出其太平洋主网（Pacific Ocean Mainnet），这是首个原生资产类别的第 1 层网络，专为高性能与监管合规而设计。 该项目此前已公布其原生代币 PROS 的经济框架，初始总供应量为 10 亿枚代币。PROS 被定位为面向现实世界资产的高性能权益证明（Proof-of-Stake）区块链的核心资产 RWA。