由于 EVM 的限制性，在 Ethereum 上构建往往就像试图在一个计算器内部编写复杂的软件。Cartesi 通过提供一个专用的 Linux 环境改变了这一点，你终于可以使用与传统开发者相同的编程工具了。

这意味着你不再需要仅仅因为身处区块链而牺牲功能或妥协于基础特性。通过将繁重的处理转移到可验证的链下空间，你既能获得真正计算机的计算自由，又能保留 Ethereum 的安全性。

继续阅读，了解 Cartesi 如何变革去中心化计算。👇

什么是 Cartesi？

Cartesi 是一个应用专属的 Layer 2 Rollup 框架，允许开发者使用 Linux 软件栈构建去中心化应用。通过 Cartesi Machine，计算在 RISC-V 虚拟机上链下运行，而区块链合约则以 Ethereum 级别的安全性来验证结果。

Cartesi 项目创立于 2018 年，当时其 whitepaper 引入了一种混合链上和链下执行模型。自创立起，其核心焦点就是实现复杂计算，而无需使用 Solidity 重写应用，只需利用熟悉的编程语言和 Linux 工具。

为了优化可扩展性，该协议旨在与模块化 data availability 层（如 Celestia 和 Avail）兼容，从而降低发布 Rollup 数据的成本。这种潜在的集成允许高计算密度的应用处理海量数据集，同时维持实惠的交易费用。

2025 年底，Cartesi 迎来了技术突破，在 L2BEAT 上获得了第 2 阶段安全状态，这一殊荣仅有三个项目获得。这种向完全无许可系统的过渡确保了欺诈证明机制能够在没有中心化干预的情况下运行。

Cartesi 是如何工作的？

Cartesi 的架构通过在链下运行确定性的 Linux 环境，将执行与共识分离，同时通过其模块化 Rollup 框架和欺诈证明继承 Ethereum 的安全性。

以下技术组件定义了这种独特的去中心化计算基础设施：

• Cartesi Machine：这个 RISC-V 虚拟机执行 Linux 栈，允许开发者在可验证且确定性的环境中运行复杂的计算。
• Linux 执行环境：开发者使用标准的 Linux 工具、库和语言编写应用逻辑，从而避免了智能合约专属开发的限制。
• 确定性执行：虚拟机内的每个操作都会产生相同的结构，确保链下处理保持完全可由底层区块链验证的状态。
• App-Specific Rollups：每个应用都在其自己专用的链（Rollup）上运行，提供高性能的吞吐量，而无需与其他项目的区块空间产生竞争。
• Cartesi 节点：这个链下组件管理应用状态、处理用户输入，并生成在 Ethereum 上实现安全最终结算所需的输出。
• 欺诈证明：这种质询响应机制允许诚实的验证者对不正确的状态转换提出异议，确保恶意行为者无法损害网络完整性。
• RISC-V 架构：这一开放标准指令集使协议能够支持广泛的标准编程语言和软件库。
• 输入框：这个 Ethereum 合约是用户向链下应用发送数据和指令的主要网关。
• 凭证与通知：这些加密输出允许链下环境与主链进行交互，从而促进资产提现和可验证的更新。

如何使用 Cartesi

Cartesi 为与去中心化计算交互提供了一个多功能的灵活动环境，并为最终用户和软件工程师提供了专门的路径。

面向用户的 Cartesi

用户可以通过参与网络安全、治理以及探索基于此模块化框架构建的各种去中心化应用程序来与 Cartesi 生态系统进行交互。

通过以下具体方法参与该项目：

1. 使用 App-Rollups：访问 Cartesi 的 Rollup Lab，以交互高性能应用程序并寻找构建复杂游戏、DeFi 或 AI 项目的灵感。
2. 获取 CTSI 代币：在 Binance 或 Uniswap 等主流交易所购买 Cartesi (CTSI)，并将其转移到诸如 MetaMask 的个人 Web3 钱包中。
3. 通过浏览器进行 staking：访问 Cartesi Explorer，连接您的钱包，选择一个 staking 池，并委托您的代币以赚取网络参与奖励。
4. 投出治理票：导航至治理中心，浏览活跃提案，并使用您 staked 的余额来投票决定生态系统项目是否获得资金支持。

面向开发者的 Cartesi

软件工程师可以利用完整的 Linux 栈，使用 Python、C++ 或 JavaScript 等熟悉的语言来构建计算密集型应用程序。

开始使用这些必要的资源和工具进行构建：

1. 初始化项目：在 CLI 中运行命令“cartesi create [app-name] --template python”，以为您的去中心化应用程序生成标准化的样板文件。
2. 代码逻辑：使用标准库在您首选的语言中编写应用程序业务逻辑，将 Cartesi 虚拟机视为基于 Linux 的环境。
3. 在 Docker 中构建：执行“cartesi build”将您的代码打包成确定的 RISC-V 镜像，从而确保所有网络节点上的执行结果完全一致。
4. 本地部署：通过运行“cartesi run”来测试您的 dApp，该命令会启动一个本地节点环境来模拟链上执行周期。
5. 部署到 testnet：遵循官方的部署框架来配置您的环境，并利用 Cartesi CLI 将您的应用程序逻辑迁移到诸如 Sepolia 的公共 testnet 上。

什么是 CTSI 代币？

CTSI 是 Cartesi 的基础实用资产。它为治理流程提供动力，在生态系统的经济模型中发挥着核心作用，并将通过验证者市场（Validator Marketplace）协调激励措施以支持 dApp 的增长。

CTSI 代币经济学

Cartesi (CTSI) 的总供应量上限为 10 亿枚代币，其中约 89% 已经在流通中。CTSI 于 2020 年在 Binance launchpad 上发布，并且所有解锁均已完成，这意味着仅剩的发行量均源自 staking 奖励。

作为核心资金分配的一部分，2025 年 Cartesi Foundation 国库资金分配如下：

• 生态系统与研发：国库资金的最大份额现已投入核心研发（36%）和生态系统增长（12%），以确保技术的持续演进和对开发者的支持。
• 挖矿储备：供应总量的 25% 仍专门用于挖矿储备，通过 RewardManager 自动向 staking 参与者和节点运营商分发奖励。
• 基金会运营：基金会约 41% 的支出用于全球推广、营销和业务增长，以扩大该协议的市场影响力。
• 战略流动性：基金会维持高度多元化的国库，其中仅有 18.55% 持有为 CTSI，确保拥有超过 4 年的资金跑道来应对市场波动。

供应分配

该网络采用奖励机制，通过专门的挖矿储备来管理新发行的 CTSI，以激励节点运营商。根据 2025 年透明度报告，基金会维持着稳健的国库，预计资金跑道为 4 年零 4 个月，从而确保核心研发和生态系统增长获得稳定的资金支持。

CTSI 供应量保持战略性分配，其中基金会 59.83% 的代币用于产生 staking 奖励，40.17% 存放在钱包中以满足运营需求。Staking 奖励通过 RewardManager 自动分发，该机制由挖矿储备资助，用于在储备完全耗尽之前保障协议安全。

为了维持经济可持续性，基金会对其国库进行了多元化配置，其中 CTSI 仅占总资产的 18.55%，而 65.16% 则持有法币。这种分配使协议能够通过即将推出的一系列多样化产品（例如拟议的验证者市场）向创收路径和价值累积机制过渡。

CTSI staking 机制

Staking 是保障 Cartesi 网络安全的主要方法，允许代币持有者参与共识过程并赚取奖励，同时保护协议免受恶意攻击。

通过以下机制参与网络：

• 节点委托：用户可以通过 staking 门户将其 CTSI 委托给专业的节点运行商，从而在无需管理复杂硬件的情况下赚取奖励。
• 选择概率：节点被选中生成区块的几率与该特定池中质押的 CTSI 数量成正比。
• 奖励分发：staking 参与者将获得一部分新铸造的代币，这些代币根据其对矿池的个人贡献自动分发。
• 罚没保护：该架构包含安全措施，可确保不惩罚诚实的参与者，从而维护公平的奖励环境。

Cartesi 上的最佳项目

Cartesi 的生态系统包含以不同方式展示 Linux 执行的 dApp。其中包括公共安全挑战赛、onchain 幻想控制台、用于可流式传输代币的模块化 DeFi 协议，以及用于可验证大语言模型推理的去中心化服务。

以下是三个值得一试的项目，并附有快速入门步骤。

1. Honeypot

Honeypot 是 Cartesi 在 Ethereum mainnet 上的“黑客攻击我” Rollup dApp，于 2023 年 9 月推出，旨在用真实资金对 Cartesi Rollups 进行压力测试。当前的 Honeypot V2 是首个配备 PRT 欺诈证明系统的应用程序，余额维持在约 50,000 枚 CTSI。

像参与实操安全挑战一样使用它：

• 识别目标：打开 Rollup Lab 中的 Honeypot 列表，并点击项目链接进入实时仪表板，以分析当前合约状态。
• 审查逻辑：研究“Honeypot 深度解析”以了解输出验证以及机器承诺如何定义挑战的安全性。
• 测试漏洞：尝试在预期路径之外进行提现，或利用任何其他可能让你清空智能合约中锁定的 CTSI 资金的漏洞。
• 观察争议：跟踪网络的实时活动，了解挑战者如何对执行提出异议，从而促使防守方提交欺诈证明。

Cartesi 将 Honeypot 视为其完全无许可架构的实时试验场。该 dApp 于 2025 年底达到 Stage 2 安全状态，作为该协议在 Ethereum 主网上 decentralized 欺诈证明机制的主要概念验证。

2. Rives

RIVES 是一个由 Cartesi 提供支持的链上奇幻游戏机，围绕可在浏览器和验证器内部运行的确定性模拟器 (RIV) 构建。它已在 Base 主网上线，让你能够玩 Snake、Tetris 和 DOOM 等复古游戏。

按照以下说明与游戏机进行交互：

1. 访问 Rives.io：前往官方游戏门户网站，浏览社区创建的卡带库，并查看活跃游戏的高分排行榜。
2. 连接钱包：将你的 Web3 wallet 链接到平台，以记录你的游戏会话并在不可变的区块链账本上确保你的排名安全。
3. 游玩或创作：选择一款游戏直接在浏览器中游玩，或者使用 Rives SDK 开发并上传你自己的独特游戏卡带。

在底层，RIVES 使用 Cartesi Rollups，以便验证游戏玩法而非依赖信任。2025 年，团队讨论了推进 Node V2 工作并预告了移动端版本，始终专注于可验证的游戏玩法和创作者工具。

3. Locale Network

Locale Network 是一个开源的物联网证明基础设施，将无信任的传感器数据验证引入区块链。通过利用 Cartesi 的 Linux 运行时和 RISC-V 机器，它创建了一个确定性环境，在此环境中，设备读数通过加密签名进行验证。

通过以下步骤验证现实世界数据：

• Register Device Identity: Assign a decentralized identifier to your hardware using the L{CORE} SDK to ensure the device owns its cryptographic identity.
• 签署传感器读数：使用嵌入式的 C 或 Python SDK 为设备捕获的每个数据点生成 JSON Web 签名。
• 执行 TEE 证明：在可信执行环境中处理签名，以便在数据提交到 rollup 之前验证设备的真实性。
• 在 Arbitrum 上最终确认：在 Arbitrum Orbit 链上结算经过验证的证明，Cartesi 的欺诈证明系统会在该链上处理任何争议，以确保传感器数据的正确性。

通过在 Cartesi Machine 内部运行 SQLite 来执行复杂查询，Locale Network 消除了对昂贵的每证明费用的需求。这种架构允许开发者将实体资产 bridge 到链上生态系统，同时保持完全可自托管和去中心化的硬件堆栈。

4. ThinkChain

ThinkChain 是一项去中心化服务，可为智能合约带来可验证的大型语言模型推理。通过利用 EigenLayer 运营商和 Cartesi Machine，它使协议能够执行 AI 驱动的任务，而不会在去中心化方面妥协。它通过简单的 Solidity 接口支持许多流行的模型，包括 DeepSeek-R1 和 Qwen2.5。

通过以下步骤将 AI 集成到你的智能合约中：

• 选择您的模型：根据您的应用复杂性和性能需求，选择集成的大语言模型（LLM），例如 SmolLM2 或 DeepScaleR。
• 请求推理：通过 Solidity Completer 合约发送补全请求，指定您的提示词以及接收结果所需的回调函数。
• 验证链下执行：跟踪 EigenLayer 运营商如何在确定性 Cartesi Machine 中运行所选模型，以生成带签名且可验证的结果。
• 接收链上结果：一旦求解器提交聚合签名，您指定的合约将自动接收并解码 AI 的响应。

ThinkChain 将大语言模型（LLM）庞大的计算负载卸载到 EigenLayer 协处理器，同时利用 Cartesi 维护每次推理的完整性，从而解决了链上 AI 的困境。该框架允许开发者构建复杂的 AI 代理，使其能够以与标准智能合约同等的可信度分析数据并执行逻辑。

Cartesi 安全性

Cartesi 采用了一个名为 Dave 的安全无许可争议解决系统（在当前使用的欺诈证明系统 PRT 之后待实施），该系统允许任何诚实的参与者对无效声明提出异议。这种多方交互确保了即使只有一个诚实节点，也能保护网络免受大多数恶意行为者的攻击。

数学上的最终确定性是通过多轮对分博弈实现的，该博弈会隔离发生分歧的具体指令。通过仅在基础层验证有争议的步骤，该系统显著减少了链上结算所需的数据。

该协议达到了第 2 阶段（Stage 2）安全性，这是Vitalik Buterin 描述为“移除辅助轮”的里程碑，系统在此阶段变得完全无许可。这种状态确保了没有任何中心化实体能够覆盖去中心化欺诈证明机制的结果。

Cartesi 的优缺点

了解 Cartesi 协议的权衡对于评估其在模块化执行层和去中心化计算演进中的角色至关重要。

Cartesi 创始人

Cartesi 于 2018 年由 Erick de Moura、 Augusto Teixeira、 Diego Nehab 和 Colin Steil 创立。这支多元化的团队结合了来自顶级学术机构和软件工程领域的专业知识，开发了一种独特的基于 Linux 的虚拟机架构。

创始人设想了一个模块化的执行层，使开发者能够将传统的软件栈用于去中心化应用程序。他们在理论计算机科学和商业方面的集体背景推动了该协议演变为一个随时可用于生产的生态系统。

最后总结

如今，开发者利用 Cartesi 的模块化执行层来创建计算密集型应用程序，例如完全链上游戏和 AI 驱动的协议。

通过充分利用完整的 Linux 栈，构建者可以执行在标准 Ethereum 虚拟机中无法实现的密集型任务。

在 2026 年，Cartesi 的路线图优先考虑完全的 RISC-V 奉献以及为 DeFi 应用开发者提供更好的便利性，以优化高性能去中心化计算。