以太坊上的 Cartesi (CTSI)：Linux Rollups 和 Cartesi 价格 2026
以太坊主网上有一个运行在智能合约中的Linux发行版。除了少数开发者之外，几乎无人知晓。这个项目名为Cartesi，其代币为CTSI。截至5月2026日，该项目的市值约为2687万美元——大约相当于一栋布鲁克林中型公寓楼的价值。Cartesi实际交付的功能与市场对其价值的预期之间的巨大差距，是目前乐观的Rollups项目中最为引人注目的故事。本文将详细介绍Cartesi的本质、Cartesi Machine和Cartesi Rollups的工作原理、正在其上构建实际去中心化应用（dApp）的开发者，以及CTSI的价格走势。此外，本文还将探讨该项目“我们入场太早”的理论在2026日是否仍然成立。
用一段话概括卡特西的本质
Cartesi 是一个应用专用的二层框架，它允许开发者运行完整的 Linux 操作系统作为以太坊智能合约的执行环境。其核心组件是 Cartesi Machine，这是一个确定性的 RISC-V 虚拟机，可以启动一个真实的 Linux 发行版。Cartesi Rollups 将该模块化框架以乐观 Rollups 的形式集成到以太坊上，链上争端解决机制负责处理任何争议，而以太坊则作为结算的基础层。实际结果是，Cartesi dApp 可以用 Python、Rust、C++ 或任何可以在 Linux 上编译的语言编写，并且仍然继承以太坊的安全性。它是唯一一个将此扩展堆栈部署到主网的 Linux on the Blockchain 项目，使开发者能够使用成熟的编程语言构建去中心化应用程序，而无需使用 Solidity 重新编写所有内容。
Cartesi 的工作原理：机器和以太坊 Rollup
Cartesi 机器是整个系统的核心。它是一个 RISC-V 指令集的软件模拟器。RISC-V 是一种确定性的 CPU 规范，任何人都可以从零开始构建。该模拟器内部运行着一个使用 Buildroot 构建的精简版 Linux 操作系统。用户空间工具也符合预期：包括 shell、glibc、Python 解释器、标准库以及 GitHub 上丰富的已编译二进制文件。机器执行的每一条指令都是逐位可复现的。如果两个诚实的节点从相同的初始状态开始，并输入相同的数据，它们每次都会到达完全相同的最终状态。
这种确定性正是实现区块链上可验证Linux的关键所在。Cartesi Rollups框架将这台机器封装在一个标准的乐观Rollup架构中。一个去中心化应用（dApp）向以太坊合约提交输入。链下Cartesi节点通过其Linux机器运行这些输入。最终状态被保存并提交回链上。大多数情况下，不会发生其他任何事情。由于执行在链下进行，因此成本很低，以太坊仅作为结算和数据可用性层。
难点在于当有人撒谎时会发生什么。乐观的汇总假设任何有争议的状态都可以被质疑。链上裁判需要在不重新运行整个Linux会话的情况下验证有争议的工作。Cartesi使用交互式二分协议解决了这个问题。双方深入分析有争议的执行轨迹，直到找到一条RISC-V指令；然后，这条指令会在链上机器的Solidity实现中重放。该合约名为Solidity Step，0.14.0版本于2020年4月发布。链上裁判宣布胜负。败诉方将损失一笔保证金。
2025 年到 2025 年的版本之所以重要，是因为 Cartesi 最终实现了无需许可的争议解决机制。无需许可的裁判锦标赛协议（简称 PRT）与 Dave 算法相结合，允许任何人参与多方锦标赛，挑战错误状态。无论有多少争议者参与，链上成本始终保持在一定范围内。在 PRT 出现之前，所有乐观汇总都依赖于少数获得许可的挑战者。而 PRT 出现之后，你只需假设在开放的互联网上存在一个诚实的参与方即可。这是一个信任度显著降低的模型。
Cartesi 机器模拟器在去年的 0.19.0 版本中也加入了零知识验证原语。现在，无需重新运行计算即可生成计算正确运行的加密证明。这有助于验证子机器的输入。此外，它还为混合乐观零知识设置打开了大门，目前已有多个团队正在进行原型设计。完整的软件栈已在 GitHub 上以 cartesi 组织的名义开源。根据 CoinMarketCap 的开发者追踪器显示，在 4 月份的短短 30 天内，该组织就举办了大约 246 场开发活动。
| 成分 | 它的作用 | 居住地 |
|---|---|---|
| 卡特西机器 | 运行完整 Linux 系统的确定性 RISC-V 虚拟机 | 每个节点上的链下 |
| Cartesi Rollups 框架 | 将机器包装成一个乐观的卷帘 | 链下节点 + 以太坊合约 |
| Solidity Step | 用于争议解决的链上 RISC-V 单步模拟器 | 以太坊主网 |
| PRT和戴夫 | 无需许可的多方参与防欺诈锦标赛 | 以太坊主网 |
| 诺特侧链 | 用于质押 CTSI 的权益证明侧网络 | 独立的侧链 |
Cartesi 的由来：创始人以及 Rio AI 的转型
Cartesi由Erick de Moura、Augusto Teixeira、Diego Nehab和Colin Steil于2018年在里约热内卢创立。Teixeira和Nehab是巴西纯粹与应用数学研究所（IMPA）的学者；最初的设想是打造一个去中心化的AI模型训练市场，其底层是一个可验证的计算层。市场概念最终未能通过市场验证，但可验证的计算层得以保留。IOTA联合创始人Serguei Popov也加入了Cartesi，担任早期顾问。
该代币于 2020 年 4 月 21 日在币安 Launchpad 上线，以每枚 0.015 美元的价格售出 1 亿枚 CTSI。此次 IEO 通过 22,169 位中奖者筹集了 150 万美元。当时，以太坊的 gas 大战已成为严重的扩容问题，比特币刚刚经历了第三次减半，而整个市场甚至还不了解 L2 是什么，更不用说防欺诈锦标赛的用途了。Cartesi 自己也承认，他们正在构建一种业内尚无词汇描述的事物。Erick de Moura 仍然担任首席执行官，其他三位联合创始人分别担任首席战略官、首席科学家和首席运营官。对于一个成立八年的加密项目来说，其领导层保持得异常稳定。
基于 Cartesi 构建：2026 中的真正 dApp
关于任何基础设施阶段的二层协议，最常见的问题是：究竟有没有人真正基于它进行开发？对于 Cartesi 来说，答案是肯定的：比你预期的要多，但远低于这项技术应有的水平。rolluplab.io 上的官方生态系统注册表列出了涵盖游戏、链上艺术、借贷和最小化信任机器学习等领域的现有应用，以及巴西正在开展的一项真实且不断发展的公共部门试点项目。
| 去中心化应用 | 类别 | 状态（mid-2026） |
|---|---|---|
| PRT蜜罐v2 | 以太坊主网上的防欺诈漏洞赏金计划 | 现场演出，L2BEAT 舞台 2 |
| 河流 | 复古在线游戏机 | 已迁移至 Node V2 |
| 世界大亨 | NFT城市建造游戏，类似模拟城市 | 原型 |
| 灭虫专家 | 无需信任的漏洞赏金平台 | 现场直播（来自 Cartesi 的乐观主义） |
| 绘画画布 | 链上协作艺术 | 居住 |
| DCA.怪物 | 采用 ERC-20 流式 AMM 进行美元成本平均法投资 | 居住 |
| 本地网络 | Web3 中小企业贷款，提供动态贷款 | 居住 |
| ThinkChain | 链上信任最小化LLM推理 | 概念验证 |
| BikeFácil dApp | 电动自行车共享的代币化碳信用额度 | 巴西飞行员 |
| Niterói 交通 dApp | 里约热内卢州公共汽车收费 | 巴西飞行员 |
| 伊利亚达 | 与巴西MCTI合作开展国家级研究 | 政府支持 |
旗舰产品是 PRT Honeypot v2 本身，这是一个第二阶段的乐观汇总项目，其唯一任务是持有 CTSI 赏金，并挑战任何人来破解这个防欺诈系统。目前的赏金只是象征性的（1000 美元的 CTSI，旨在通过 2026 增长），但早期的 Authority Honeypot 在峰值时持有 1,772,889 个 CTSI，并在长达一年的尝试中幸存下来。RIVES 是更引人注目的面向消费者的应用，它是一个模拟游戏机环境，复古游戏可以在 Cartesi Machine 中运行，并且高分可以在链上验证。World Tycoon 目前仍处于原型阶段，它基于这样的理念：模拟城市级别的模拟对于 EVM 来说计算量过大，但在 Linux 虚拟机中却完全可以处理。
巴西公共部门的加密货币应用被低估了。BikeFácil 将共享电动自行车的碳信用额代币化；尼泰罗伊市的公共交通试点项目使用 Cartesi 汇总支付公共汽车票款；ILIADA 项目是与巴西科技创新部合作开展的一项多年研究项目。这些项目都不会带来十亿美元的总交易额，而且 Cartesi 汇总在 DefiLlama 上也没有得到有效的追踪，这本身就说明了一些问题。但它们确实是被非加密货币领域的用户使用的软件。这种情况比听起来要少见得多。
Cartesi 今日价格、CTSI 代币经济模型及质押
今天的Cartesi价格拖累了整个事件。CTSI的硬顶为10亿枚代币，其中约9.137亿枚（91.4%）在流通。CTSI持有者和其他代币持有者使用该加密货币进行治理投票。他们还将代币质押在Noether侧链上。在Noether侧链上，每个验证者都会因帮助维护Cartesi网络及其安全功能而获得奖励。CTSI质押的平均年化收益率约为12.92%，而像MyCointainer这样的顶级平台为委托质押者提供高达22.8%的收益率；用于质押的Cartesi供应量因质押池而异，但都占流通总量的相当大一部分。
| 指标 | 价值（2026年5月19日） | 来源 |
|---|---|---|
| Cartesi价格（CTSI/USD） | 0.02939美元 | CoinGecko |
| 市值 | 2687万美元 | CoinGecko |
| 市值排名 | #749 | CoinGecko |
| 循环供应 | 913.7M CTSI | CoinGecko |
| 卡特西的最大供应 | 1,000,000,000 CTSI | 币安 Launchpad |
| 历史最高 | 2021年5月9日，价格为1.74美元 | CoinGecko |
| 历史最低 | 2026年3月29日，价格为0.02134美元 | CoinGecko |
| 7天价格变化 | -14.4% | CoinGecko |
CTSI的历史最高价出现在2021年5月，为1.74美元，约为IEO发行价的59倍。历史最低价则出现在本文撰写前六周，即2026年3月29日，为0.02134美元。过去三年，CTSI的价格一直在该低点附近横盘震荡，目前的价格仅比该低点高出38%。值得一提的是，卡特西基金会在2025年从公开市场购入了价值50万美元的CTSI，这无疑是对其内部信心的重要信号，尽管图表尚未反映出这种信心。
PRT、L2BEAT Stage 2 和无限的设计空间
2025 年唯一值得关注 Cartesi 的里程碑事件是其能否达到 L2BEAT 第二阶段。L2BEAT 是 Rollup 成熟度的标准评级。第二阶段意味着 Rollup 具备去中心化的欺诈证明、无升级后门，并且对用户资金的治理有限。截至 2025 年，所有 Rollup 项目中只有三个达到了第二阶段。Cartesi 的 PRT Honeypot v2 是其中唯一一个基于零知识证明的 Rollup。其他所有第二阶段候选项目都基于零知识证明。
PRT Honeypot v2 于 2025 年 6 月在以太坊主网上线。同年 10 月，一个存活漏洞被发现并修复。Dave 2.1.1 算法——多方锦标赛的最新改进版本——于 2026 年 3 月 13 日上线测试网，团队计划于 2026 年第二季度在主网上线。每个新版本都会降低挑战者必须锁定的最坏情况下的保证金，并缩短欺诈解决的最坏情况下的超时时间。抛开这些技术术语，无限的设计空间是真实存在的：乐观汇总现在可以将其安全假设从“一个可信挑战者”扩展到“任何愿意提供保证金并按时响应的人，无论身处何地”。
这具有重要的战略意义。两年来，乐观型 Rollup 的理念逐渐被零知识证明和其他可扩展的 Rollup 设计所取代，部分原因是通用 DeFi 工作负载的争议解决问题仍未得到完善。PRT 将防欺诈锦标赛去中心化，并以有限的链上成本、清晰的安全性和抗审查性，使乐观型 Rollup 重新回到人们的视野。其他 Rollup 是否会选择围绕 PRT 实现去中心化的争议解决机制，还是绕过 PRT 直接使用零知识证明，将决定 Cartesi 未来五年的发展方向，并触及关于去中心化和 L2 可扩展性实际极限的更广泛讨论。
Cartesi 与 2026 加密货币中的 zkVM 浪潮
Cartesi 于 2018 年开始为区块链提供 RISC-V 执行方案，比 zkVM 技术真正可行早了好几年。当时的策略是，采用链上争议解决机制的交互式验证始终比通过 Linux 会话生成 SNARK 更经济。然而，RISC Zero 的出现改变了一切。
| 项目 | 方法 | 2024-2026 亮点 | 筹集资金 |
|---|---|---|---|
| 卡特西 | RISC-V + Linux + 乐观汇总（PRT/Dave） | L2BEAT 第二阶段唯一乐观的汇总数据；约 100 万美元的资助计划 | 150万美元IEO + 基金会储备 |
| RISC Zero | RISC-V zkVM + 无界证明市场 | R0VM 2.0 将以太坊区块验证时间从 35 分钟缩短至 44 秒；将于 2025 年 12 月关闭其托管的验证器，以推动所有用户迁移到 Boundless。 | 超过 4000 万美元的 A 轮融资 |
| 简洁（SP1） | RISC-V zkVM | 被汇总团队广泛采用 | 九位数私人交易回合 |
| 无边无际 | RISC Zero 推出了去中心化证明市场 | 旨在分担来自 SP1、Cartesi 和其他系统的证明工作负载 | 由 RISC Zero 提供资金 |
RISC Zero 在 A 轮融资中筹集了超过 4000 万美元，是 Cartesi IEO 融资额的 26 倍。Succinct 也完成了规模相近的私募融资。Boundless 最初是一个去中心化的证明市场，从长远来看，它可能会吸收 Cartesi 的证明以及其他所有人的证明。客观的竞争分析是，Cartesi 先解决了更难的问题——在区块链上运行通用 Linux——但业界却用 25 倍的资金奖励了解决了相对容易一些的问题的项目。我不认为仅靠优秀的工程技术就能弥合这种差距。
现实检验：卡特西生态系统究竟说了什么
Cartesi 的客观评价（2026）包含三个优势和三个劣势。优势方面：L2BEAT 平台第二阶段的成功上线是一项真正的成就。其 dApp 阵容比大多数市值相近的同行更为广泛。该基金会拥有 3.5 年的资金储备（不包括 CTSI 本身），足以支持 Dave 主网的上线和第二波资助计划。劣势方面：CTSI 的股价目前距离六周前创下的历史低点仅 38%。第一波资助计划仅向 6 个受助者发放了 19.1 万美元，而总额为 50 万美元。2025 年的支出结构中，41% 用于基金会运营和市场营销，而生态系统资助仅占 12%。未来十二个月有三个值得关注的指标：Dave 2.1.1 主网上线；第二波资助计划的进度；以及当前批次的 dApp 中是否有任何一款能够真正进入主流应用市场。如果这三点中有两点成立，基本面与价格之间的差距就会缩小。如果一点都不成立，那么Cartesi就仍然是一件精美的工程杰作，可惜它出现得太早了。
