什么是 Cartesi？

Cartesi 是一个面向特定应用 Rollup 的开源框架，以运行 Linux 的 RISC-V 虚拟机作为执行层。每个应用在其自身的 Rollup 上拥有专用算力。交互式欺诈证明协议使系统无需依赖受信任的运营方，即可继承以太坊的安全性。

Erick de Moura、Augusto Teixeira、Diego Nehab 和 Colin Steil 于 2018 年创立了 Cartesi。其最初的白皮书描述了沿用至今的混合模式：繁重的计算在可复现的机器中于链下运行，只有当双方对结果存在分歧时，以太坊才会介入。CTSI 于 2020 年 4 月在 Binance Launchpad 上线。

作为乐观 Rollup，Cartesi 会接受各项声明，除非有人在质疑窗口期内证明其有误。我们的ZK Rollup 与乐观 Rollup 对比解释了这种取舍如何使任意规模的程序都能得到验证，但需要七天的退出延迟。

L2BEAT 将 PRT Honeypot v2 应用归类为第 2 阶段 Rollup，这是其最高成熟度等级。任何多签、安全委员会或管理员密钥都无法推翻欺诈证明系统的决定。该分类适用于该部署及其底层技术栈，而 L2BEAT 仍在继续完善如何将特定应用链纳入其框架。

Cartesi 如何运作？

应用逻辑在确定性的 Linux 机器内于链下执行。以太坊记录每一项输入，使任何节点都能重新计算状态并对错误的声明提出质疑。因此，Cartesi 应用可以运行要求很高的软件，而由以太坊裁决争议的结果。

系统使用以下组件：

• Cartesi Machine：一个 RISC-V 模拟器，可启动完整的 Linux 内核和用户空间。相同的输入始终产生相同的状态。其架构公开每个寄存器和内存范围，使争议可以缩小到某一条指令。
• Linux 执行环境：开发者可以使用 Python 与 NumPy、C++ 标准库、SQLite 数据库或 Rust crates，而无需为EVM重写这些代码。Cartesi 表示，该机器在以太坊区块之间的平均间隔内已处理超过36亿条指令。相比之下，基础层的单区块预算以数千万 gas 单位计，详见我们的以太坊 gas 追踪器。
• 应用专属 Rollup：每个应用都有自己的 Rollup，因此无关的交易流量不会争抢其区块空间。部署方式包括在以太坊上部署 L2、在 Arbitrum 或 Optimism 上部署 L3，或者使用主权链。
• 输入箱：一个按顺序记录所有输入和存款的以太坊合约。任何人都可以向其写入，这样即使所有链下节点都忽略用户，用户也能强制完成交易。
• Rollups 节点：读取 Input Box、推进状态机并发布 claims 的链下软件。目前处于测试阶段的节点 v2 支持在一个节点上运行多个应用，并且可在重启后继续运行。
• 输出（凭证和通知）：该机器会发出可验证的消息，包括提现指令和状态证明。结算期结束后，以太坊合约会执行这些消息。
• 排序器： 一个 alpha 组件，在欺诈证明系统完成结算期间，为交易应用提供快速的临时确认。
• PRT 欺诈证明：一种争议协议，通过它，一个诚实节点可以击败任意数量的不诚实节点，详见安全部分。

Cartesi 为何将重心收窄至 DeFi

直到今年，Cartesi 一直将自己定位为通用执行层，适用于游戏、AI 推理、传感器数据以及其他无法放入智能合约的工作负载。现在它面向 DeFi 开发者进行构建，并已搁置该重点之外的工作。

基金会的技术演进计划最近一次更新于8月3日，提出了三项优先事项。争议解决和恢复路径必须能够经受攻击。风险模型和统计分析需要足够低廉，以便每个区块都能运行。开发者还应能够用已熟悉的工具在一天内部署链上应用。

“搁置”清单包括比特币执行、EigenLayer协处理器和 Lambada，以及与其他数据可用性层（如Celestia和 Avail）的集成。第三方排序器集成、ENS 解析和基于浏览器的 rollup 也已暂停。其代码仍保持开源。

四月的一篇文章通过 Curve Finance 事件说明了 DeFi 的情形：当时创始人以 CRV 为抵押的贷款几乎在 Aave 和 Frax 上引发连环清算。Cartesi 认为，在批准大额借贷头寸之前先查看代币的价格历史，本可以减轻损失。需要数十亿次独立 EVM 运算的分析，在 Cartesi Machine 内只需一次 NumPy 调用。

基金会董事会成员 Felipe Argento 和 Brandon Isaacson 于 6 月辞职，转而全职基于该技术栈开发应用。联合创始人 Erick de Moura 认为 DeFi 是该技术的首个试验场，待该技术栈在金融市场中经过检验后，预计将有更广泛的用途。

如何使用 Cartesi

CTSI 持有者可以质押、参与治理投票并参与漏洞赏金计划。开发者使用命令行界面和合约，AI 编码工具的作用也日益增强。

面向用户的 Cartesi

CTSI 持有者可通过以下步骤参与：

1. 在交易所购买 CTSI：CTSI 在 Binance、Coinbase 和 Kraken 上提供现货交易对。多家衍生品交易所也提供 USDT 永续合约。请提现至兼容 ERC-20 的自托管钱包，例如我们的最佳加密钱包指南中介绍的钱包。
2. 通过浏览器质押：将您的钱包连接到 Cartesi Explorer，选择一个质押池并委托。该质押池运行节点，并保留一部分奖励。
3. 参与治理投票：质押 CTSI 的持有者可在治理中心对资助分配和技术提案进行投票。
4. 可研究 Honeypot，但请勿充值：PRT Honeypot是一项正在进行的漏洞赏金计划。任何人攻破欺诈证明系统，即可领取其中锁定的 CTSI。充值将被视为捐赠。
5. 浏览 Rollup Lab：Rollup Lab中列出的应用涵盖从 DeFi 原型到 RIVES 游戏机等各类项目。

面向开发者的 Cartesi

目前的开发重点是 v2 技术栈和 AI 工具：

1. 安装 CLI 并搭建项目脚手架：Cartesi CLI 2.0 alpha 版可创建 Python、JavaScript、TypeScript、Rust 及其他语言的模板。它还能在启动前发现配置问题。
2. 编写普通代码：应用程序读取 Input Box 的输入，并输出 voucher 和 notice。这些步骤之间的逻辑就是普通的 Linux 软件。
3. 本地构建与运行：本地开发网会启动合约、节点和浏览器。其中包含一种类似 USDC 的测试代币，可用于端到端检查充值和提现。
4. 先部署到 Sepolia，再部署到主网：Rollups Contracts 和 PRT 争议合约的最新 alpha 版本已在 Sepolia 上部署并验证。文档介绍了托管和自托管节点两种方案。
5. 让您的 AI 助手接入这套技术栈：Mugen Builders 的贡献者发布了一个 MCP 服务器和一个cartesi-skills 代码库，其中包含十项技能和一项工作流技能，涵盖脚手架搭建、调试、前端、合约和部署，帮助 Cursor 或 Claude 等工具生成正确的 Cartesi 代码。文档中还提供了用于相同目的的 llms.txt 文件。
6. 试用浏览器演示环境：Machine 绑定的 alpha 版本可在浏览器标签页内运行 Cartesi Machine（包括终端），无需本地安装。

什么是 CTSI 代币？

CTSI 是一种 ERC-20 代币，用于质押奖励和治理，并计划在未来的验证者市场中发挥作用。它不用于支付 Cartesi rollup 上的交易。应用以 ETH 向以太坊支付数据和结算费用，PRT 验证者也使用 ETH 作为其保证金。

CTSI 代币经济学

CTSI 的最大供应量为 10亿。根据 CoinMarketCap，约有 9.47亿 枚代币在流通，约占 95%。投资者、团队和基金会的份额均已于 2023 年中期完成解锁。目前新增供应仅来自为质押奖励提供资金的 Mine Reserve。

当前和计划中的用途：

• 质押奖励：Mine Reserve 按质押者在总质押量中所占份额的比例向其发放 CTSI。
• 治理：已质押的余额可通过 Governance Hub 对资助拨款和技术咨询进行投票。
• 验证者市场：2024年11月的一项提案将允许持有者把 CTSI 委托给为各个应用提供安全保障的验证者，并分享其手续费。基金会仍将全面落地列为待完成事项。

截至撰写时，CTSI 的交易价格约为 0.025美元，市值接近 2400万美元。当前价格比 2021 年 5 月创下的历史高点 1.74美元 低约 98%，略高于约 0.02美元 的历史低点。第 2 阶段的消息推动 4 月出现上涨，价格升至 0.049美元 以上，但该代币随后回吐了大部分涨幅。

Foundation 资金库

基金会的大部分资金库并非以 CTSI 持有。其1月发布的2025年透明度报告显示，银行账户中的法币占年末资产的65.16。稳定币、ETH 和其他加密货币占16.29，而 CTSI 占18.55，年末价格为0.0314美元。

按当前承诺计算，该资金库预计可维持四年零四个月，若不计 CTSI 则为三年零六个月。基金会已将其 CTSI 的59.83用于质押或计息头寸。其余的40.17存放在钱包和交易所账户中。

在2025年的核心支出中，研发单元获得的资助占 36%，生态系统单元占 12%，核心公司占 11%。基金会项目、运营、营销和增长占其余的 41%。

CTSI 质押机制

CTSI 质押用于保障 Reserve 挖矿，这是一种权益证明流程。节点按其质押比例被选中出块，并获得从 Mine Reserve 释放的 CTSI。

委托之前，请考虑以下机制：

• 奖励来源：基金会将代币从设有七天延迟的 DelayedWithdraw 钱包转入 Reserve Mine 钱包。该钱包每月向 RewardManager 合约注资，此后分发自动进行。
• 矿池委托：⟧大多数持有者会在浏览器上选择矿池，因为无论质押规模大小，搭建节点都需要承担固定成本。
• 收益预期：Cartesi 宣称回报率最高可达 20%。实际收益率会随总参与规模和资金池费用而变化，第三方追踪工具报告的数字更低。我们的加密质押计算器可帮助您估算差异。
• 停机不会被罚没：离线节点会失去出块的机会，但其质押的资产不会减少。
• 与 PRT 验证无关：参加争议锦标赛以捍卫 Cartesi Rollup 需要缴纳 ETH 保证金，目前每次参加约为0.232 ETH。CTSI 质押在这一过程中不起任何作用。

Cartesi 上正在构建的项目

五个应用展示了该技术栈目前的用途，其中四个在金融领域，一个在游戏领域。

1. PRT Honeypot v2

Honeypot 是 Cartesi 在以太坊主网上的长期漏洞赏金计划。当前版本于 2025 年 11 月 8 日推出，并在次月于 L2BEAT 获得第 2 阶段上架。根据追踪器数据，它保护的 CTSI 价值不足 1,500美元。

在该技术栈仍处于 alpha 阶段时，漏洞赏金规模仍然较小。其前身采用许可制结算，于 2024年7月通过了 100万 CTSI，且从未被盗空。在 v2 中，只有 3-of-6 的 Cartesi 多签才能提现，并且只能将资金转给自身。

2. Nucleus

Nucleus 是一个在黑客松中获奖的借贷协议，界面传统，底层采用基于 Python 的统计风险分析。NumPy 和其他开源库在 Cartesi Machine 内运行，根据资产的完整价格历史而非单一价格源读数来设定抵押限额。

3. DCA Monster

DCA Monster在一个去中心化交易所上提供流式兑换和条件兑换，其核心自动做市商逻辑使用 Python 编写。它的重点是中心化平台通常支持、但大多数去中心化交易所仍无法提供的订单类型。

4. 组合信息市场

6月的一个演示将预测变量视为相互关联的概率系统。传统的预测市场对每个问题单独定价。该演示使用精确推理算法，具体为带信念传播的连接树，展示了通胀预期、选举和政策结果如何相互影响。所有计算都是确定性的，并且可在链上验证。

5. RIVES

RIVES 是一款由 RIV 驱动的链上幻想游戏机，RIV 是一种确定性模拟器，可在浏览器和 Rollup 验证者内运行。玩家下载卡带并在浏览器中游玩，然后提交其输入记录。Rollup 会重放该记录以验证分数。

RIVES 运行于 Base 主网，托管 DOOM 移植版和其他复古游戏。它仍是 Cartesi 最具知名度的消费级应用。

Cartesi 安全性：PRT、第 2 阶段与 Honeypot 冻结

Cartesi 的无许可仲裁锦标赛（PRT）让一名诚实的验证者即可击败任意数量的不诚实参与者。PRT 最初见于 2022 年的一篇论文，并在 2025年5月的同行评审研究中以 Dave 之名正式确立，它将争议缩小到以太坊所检查的一条 RISC-V 指令。主网采用三级锦标赛、至少七天的挑战期，每名参与者的保证金约为 0.232 ETH。

PRT Honeypot v2 持有 L2BEAT 的第 2 阶段分类，反映了 Vitalik Buterin 在 Rollup 里程碑中所述的管理控制权已被移除。其合约不可变，证明无需许可，任何人都无法推翻结果。安全性仍需要一个诚实的验证者，而延迟攻击可能拖慢结算。

这些限制在2025年9月变得明显，当时 Cartesi 向首个 PRT Honeypot 提交了一项欺诈性测试申索。一个合约漏洞阻止了诚实验证者宣告胜利，导致 Cartesi 持有的约1,000美元CTSI 被永久冻结。事后分析确认没有错误状态被结算，但由于没有管理员密钥，无法追回资金。两个月后推出了修复后的 v2。

后续的安全措施包括6月 Rollups Node v2.0.0-alpha.12 中的紧急提现功能，以及7月的申领暂存机制，后者会在锦标赛结果最终确定前增加一段窗口期。路线图在应用托管真实资金之前，优先推进验证者多样性、Fraud-Proof System v3、外部审计和 AI 智能体测试。Cartesi 还在探索 zk 验证，以消除延迟攻击，同时保留 Linux 执行环境并支持任意规模的计算。

Cartesi 统计数据与趋势

截至 9 月的关键数据：

• 市场：CTSI 的交易价格接近0.025美元，市值约为2400万美元，在10亿的上限中约有9.47亿在流通。这比2021年5月的高点1.74美元低约98.5%。
• 锁定价值：PRT Honeypot v2 Rollup 中的 CTSI 价值不足1,500美元，在 alpha 阶段保持较小规模。
• 欺诈证明参数：三个锦标赛层级，挑战期约七天，每位参与者的保证金约为0.232 ETH。
• 第 2 阶段时间线：主网于 2025 年 6 月上线，2025 年 9 月冻结，v2 于 2025 年 11 月 8 日重新部署，第 2 阶段于 2025 年 12 月上架。
• 基金会资金续航期：若计入 CTSI，为四年零四个月；若不计入，则为三年零六个月，其资金库中法币占比为 65.16%。
• 算力余量：根据 Cartesi 自己的基准测试，每个以太坊平均区块间隔内可执行超过36亿条 RISC-V 指令。
• 发布节奏：Machine Emulator v0.21.0、Rollups Contracts 3.0.0-alpha.9、Rollups Node v2.0.0-alpha.12、Sequencer v0.1.0-alpha.9 和 CLI 2.0.0-alpha.35 均在 4 月至 8 月间发布，详见 Cartesi 的 GitHub。

这些数字背后的趋势：

• 聚焦而非广度：放弃 EigenLayer 协处理器、比特币执行和替代数据可用性工作，是该项目历史上最大的战略调整。
• 充值前的安全：紧急提现、领取分阶段进行、验证者多样性和审计都先于任何对总锁仓价值的推动，目前还没有 DeFi 应用持有可观的资金。
• Stage 2 正变得拥挤：Aztec 在 6 月撤销其 Rollup 合约的所有权后加入了这一层级，因此该徽章正逐渐成为基本门槛。
• 代币效用落后于技术：将 CTSI 与应用收入挂钩的验证者市场自2024年11月以来一直只是提案，因此价格更多反映市场情绪而非实际使用情况。

Cartesi 的优缺点

Cartesi 创始人

Erick de Moura是 Cartesi 的 CEO，他于 2018 年与 Augusto Teixeira、Diego Nehab 和 Colin Steil 共同创立了该项目。Teixeira 在 IMPA 研究概率论，Nehab 研究计算机图形学；IMPA 是巴西国家纯数学与应用数学研究所。

Felipe Argento 和 Brandon Isaacson 于6月离开基金会董事会，转而开发应用。他们的举动表明，最了解这套技术栈的人认为，交付产品是其下一项考验。

总结

Cartesi 已完成了困难的基础设施工作。其欺诈证明系统能够抵御女巫攻击，在 L2BEAT 上拥有第2阶段的状态，并经受过一次真实主网冻结的压力测试。大多数 Rollup 都无法做到这一点。

剩下的任务是吸引资金进入这套基础设施。Cartesi 转向 DeFi 能否成功，取决于 Python 风险引擎、精确的联合曲线和原生条件订单能否为一条具有七天退出期的应用专用链带来流动性。我们认为这一论点合理，执行也很扎实。CTSI 能否重估，取决于未来一年有哪些应用上线，以及用户愿意向它们托付多少资金。