Succinct 修复 SP1 漏洞，涉及原生 Rust 验证
相关推荐
慢雾揭露GitHub恶意项目：伪装Solidity面试题，暗藏数据窃取后门
PANews 10月23日消息，慢雾发布安全预警称，近期收到用户报告，一个名为 sol-live、伪装成Solidity面试练习项目的GitHub仓库暗藏恶意代码，该恶意载荷包含三个主要模块，能够收集浏览器登录数据库及钱包扩展存储数据、复制 macOS 钥匙串文件、扫描并上传本地文件，还可执行远程命令、提供交互式Shell访问并监控剪贴板内容。慢雾表示，在 macOS 和 Linux 系统上，攻击需要用户主动启动恶意终端配置；Windows 系统的攻击链尚未得到确认。此外，慢雾还发现另外8个GitHub项目使用了类似的终端下载执行手法。
信托公司AnchorWatch Trust Company推出比特币托管服务
PANews 10月19日消息，据 The Block 报道，获内华达州特许的合格比特币托管机构 AnchorWatch Trust Company 正式推出比特币托管服务，其托管费用采用固定金额定价模式，每月最高不超过 1 万美元，并可为每位客户提供最高 3.7 亿美元的可选保险保障。其客户群体包括受托人、上市公司、信托机构以及有合格比特币托管需求的高净值个人。
Cardano 创始人正开发新编程语言，融合交易意图与 Groth16 证明
火星财经消息，据 CoinDesk 报道，Cardano 创始人 Charles Hoskinson 表示，他正亲自为 Cardano 网络开发一种新的编程语言，并与 Input Output Global 工程师 Lucas Rosa 合作。Lucas Rosa 是 Cardano 主要智能合约语言之一 Aiken 的共同创建者。Hoskinson 在 X 平台发文称，这将是首个将用户希望交易完成的操作与密码学证明相结合的编程语言。据介绍，该语言将支持三种工具：交易意图、携带证明的数据以及 Groth16 证明。交易意图允许用户说明想要完成的目标，而将具体步骤交给应用处理，例如交易者可以要求在最终价格满足设定条件时才将一种代币兑换为另一种，而无需说明具体路径。携带证明的数据可为信息附加密码学证据，证明其符合特定规则，其他应用无需重新计算即可验证。Groth16 则是一种广泛使用的证明系统，可生成体积小、验证速度快的证明，在不暴露隐私数据的前提下证明条件已满足。三者结合后，开发者可以构建协调交易、检查复杂条件并在服务之间传递已验证信息的应用，最终由 Cardano 验证一个小型证明。目前 Cardano 开发者主要使用基于 Haskell 的 Plutus 以及 Aiken 编写智能合约，而 Hoskinson 旗下 Input Output Global 构建的隐私区块链 Midnight 拥有自己的语言 Compact。该新语言的名称、公开代码及发布日期目前均未公布。
Prime Trust 遗产管理方：对孙宇晨旗下 Poloniex 赢得 900 万美元缺席判决
火星财经消息，据 Protos 报道，Prime Trust 破产遗产管理方已对孙宇晨旗下交易所 Poloniex 赢得约 900 万美元的缺席判决。该案属于破产前优先转移的追偿诉讼。背景是，Prime Trust 在破产前不久，因美国 SEC 对孙宇晨的诉讼决定终止与 Poloniex 等孙宇晨关联实体的合作，并向 Poloniex 及孙宇晨转移了超过 900 万美元。随后，Prime Trust 因未能妥善托管加密资产、并挪用客户存款填补缺口而陷入严重资不抵债，进入破产程序，并提起此案追回相关资金。目前该判决仅针对 Poloniex 运营方 Polo Digital Assets LTD，Prime Trust 仍在对孙宇晨本人寻求取证。此外，FTX 遗产管理方也已对孙宇晨本人及其旗下 HTX 和 Poloniex 提起诉讼。
DHH晒Rust版快150倍遭质疑，AI写代码后还需要追求易读吗？
动察 Beating AI 快讯，著名 Web 开发框架 Rails 的作者 DHH 让 AI 把自己公司 37signals 的聊天软件 Campfire 分别移植到 Rust、Go 和 Elixir。最初测试中，Rust 版每秒处理约 3.6 万次聊天室页面请求，原版 Ruby 只有约 240 次。 DHH 过去偏爱 Ruby，主要看重它的开发效率和代码易读性。他如今开始重新考虑，如果 AI 负责写代码，人类也不再逐行阅读，还有必要为了开发方便而牺牲运行速度吗？ Vercel CEO Guillermo Rauch 力挺这一判断。Vercel 曾花 15 个月，将构建工具 Turborepo 约 7 万行 Go 代码移植到 Rust。虽然团队认为 Rust 更适合底层系统操作，但人工迁移成本太高，投资回报曾在内部引发争议。Rauch 认为，AI 降低了代码编写成本，过去方便人类开发的语言，未必仍是企业最划算的选择。 但 DHH 的跑分很快遭到质疑。Elixir 创始人 José Valim 检查代码仓库后发现，Rust 版经过数百次提交和多轮性能优化，Elixir 版却基本停留在首次移植的状态。两者架构也不同。Elixir 将数据库操作集中到一个进程，Rust 则使用并发读取和缓存等优化。这样的测试很难证明性能差距究竟有多少来自语言本身。 DHH 回应，自己要求顶级 AI Agent 尽可能发挥各语言的性能。如果 Agent 找不到 Elixir 的优化方法，这也是实际开发中需要面对的问题。 社区随后继续优化不同版本。10 月 8 日更新的统一测试显示，Rust 版每秒处理约 10.6 万次聊天室页面请求，Go 版约 5.3 万次，Rust 仍快约一倍。
DeepSeek Harness底座Cordis有了Rust实现：DimAgent准备用它重构
动察 Beating AI 快讯，DimAgent 创始人 Han Cheng 开源插件运行时 Rutis，并表示接下来会用它支撑 DimAgent 的新架构。Rutis 用 Rust 重新实现了 Cordis 的核心设计，后者正是 DeepSeek Harness 使用的底层插件框架。 DeepSeek Harness 用 Cordis 管理模型、工具、会话、Agent Loop 等组件。每个组件都可以做成插件，只声明自己需要和提供哪些服务，Cordis 负责启动、卸载、依赖变化和资源清理。 Rutis 把这套机制搬到了 Rust，同时支持 TypeScript、JavaScript 和 Python 插件。不同语言的插件可以互相调用，也可以分布在不同进程和机器上运行。现有 Cordis 插件也可以直接接入，不需要全部重写。