基于以太坊的开发常令人感觉如同在计算器中编写复杂软件，这源于EVM的限制性。Cartesi通过提供专属的Linux环境改变了这一现状，开发者终于能够使用与传统开发者相同的编程工具。

这意味着您无需再因使用区块链而牺牲功能性或满足于基础特性。通过将繁重的处理任务转移至可验证的链下空间，您既能获得真实计算机的计算自由度，又能保持以太坊的安全性。

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

什么是Cartesi？

Cartesi是一个面向特定应用的第二层汇总框架，允许开发者使用 Linux 软件堆栈构建去中心化应用。通过 Cartesi Machine，计算在链外 RISC-V 虚拟机上运行，而区块链合约则以以太坊级别的安全性验证结果。

Cartesi项目创立于2018年，其 白皮书首次提出了混合链上链下执行模型。自创立之初，该项目便致力于通过熟悉的编程语言和Linux工具集，实现无需重写Solidity应用程序即可执行复杂计算的目标。

为优化可扩展性，该协议设计兼容Celestia和Avail等模块化数据可用性层，以降低发布汇总数据的成本。这种潜在的集成使高计算量应用能够处理海量数据集，同时保持可负担的交易费用。

2025 年末，Cartesi在L2BEAT平台上实现了技术突破，成功达到 第二阶段安全等级——该 认证全球仅有三家项目获得。此次向完全无许可系统的转型，确保了防欺诈机制能够在无需中心化干预的情况下持续运行。

Cartesi 是如何运作的？

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

以下技术组件构成了这一独特的去中心化计算基础设施：

• Cartesi Machine：这款基于RISC-V的虚拟机可执行Linux堆栈，使开发者能在可验证且确定性的环境中运行复杂计算。
• Linux执行环境：开发者使用标准的Linux工具、库和语言编写应用程序逻辑，从而规避了仅限智能合约开发的限制。
• 确定性执行：虚拟机内的每项操作均产生完全相同的执行结果，确保链下处理过程始终可被底层区块链完全验证。
• 应用特定型Rollups：每个应用程序运行在专属链（Rollup）上，无需与其他项目争夺区块空间，即可实现高性能吞吐量。
• Cartesi Node：这个链下组件负责管理应用程序状态、处理用户输入，并生成在以太坊上进行安全最终结算所需的输出。
• 欺诈证明：该挑战响应机制允许诚实的验证者对错误的状态转换提出异议，确保恶意行为者无法破坏网络完整性。
• RISC-V架构：该开放标准指令集使协议能够支持多种标准编程语言和软件库。
• 输入框：该以太坊合约作为用户向链下应用程序发送数据和指令的主要入口。
• 凭证与通知：这些加密输出使链下环境能够与主链交互，从而实现资产提取和可验证的更新。

如何使用Cartesi

Cartesi 提供了一个多功能环境，用于与去中心化计算交互，为终端用户和软件工程师都提供了专属通道。

卡特西 用户指南

用户可通过参与网络安全、治理工作，并探索基于该模块化框架构建的各类去中心化应用，与Cartesi生态系统进行互动。

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

1. 使用应用程序Rollups：访问Cartesi的 Rollup实验室，体验高性能应用程序，为构建复杂的游戏、DeFi或AI项目获取灵感。
2. 获取CTSI代币：在 币安或 Uniswap等主流交易所购买Cartesi（CTSI），并将代币转入MetaMask等个人Web3钱包。
3. 通过区块浏览器质押：访问 Cartesi区块浏览器，连接您的钱包，选择质押池，并将代币委托出去以获取网络参与奖励。
4. 行使治理投票权：前往 治理中心，浏览活跃提案，并使用您的质押余额投票决定生态系统项目是否获得资金支持。

Cartesi 开发者指南

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

从这些必备资源和工具开始构建：

1. 初始化项目：在 命令行界面中运行命令"cartesi create [应用名称] --template python"，为您的去中心化应用生成标准化模板。
2. 代码逻辑：使用您偏好的语言编写应用程序业务逻辑，利用标准库，将Cartesi机器视为基于Linux的环境。
3. 在 Docker 中构建：执行 "cartesi build" 命令，将您的代码打包成确定性 RISC-V 镜像，确保在所有网络节点上实现完全一致的执行效果。
4. 本地部署：通过运行"cartesi run"测试您的去中心化应用程序，该命令将启动本地节点环境以模拟链上执行周期。
5. 部署至测试网：遵循官方部署框架配置环境，并使用Cartesi命令行界面将应用程序逻辑迁移至Sepolia等公共测试网。

什么是CTSI代币？

CTSI 是 Cartesi 的基础实用型资产。它驱动治理流程，在生态系统的经济体系中发挥核心作用，并将通过验证者市场协调激励机制以支持去中心化应用程序的增长。

CTSI 代币经济学

Cartesi（CTSI）的总供应量上限为10亿枚代币，其中约89%已进入流通。该代币于2020年在币安 Launchpad 上线，所有解锁流程均已完成，这意味着当前唯一的发行来源仅限于质押奖励。

作为核心资金分配的一部分，2025年卡特西基金会资金库按以下方式分配：

• 生态系统与研发：目前国库资金的最大份额用于核心研发（36%）和生态系统发展（12%），以确保技术的持续演进和开发者支持。
• 挖矿储备：25%的供应量仍保留为挖矿储备，该储备通过RewardManager自主向质押者和节点运营商分配奖励。
• 基金会运营：约41%的基金会支出用于全球计划、市场推广及业务拓展，以扩大协议的市场影响力。
• 战略性流动性：基金会维持高度多元化的资金池，其中仅18.55%投资于CTSI，确保拥有超过四年的资金缓冲期以应对市场波动。

供应分配

该网络采用奖励机制，通过专用矿藏储备管理新发行的CTSI代币以激励节点运营商。根据 2025年透明度报告，基金会维持着稳健的资金储备，预计可维持4年零4个月的运营周期，确保核心研发与生态系统发展获得稳定资金支持。

CTSI供应仍保持战略性分配：基金会代币的59.83%用于生成质押奖励，40.17%保留在钱包中以满足运营需求。质押奖励通过奖励管理器自主分配，该管理器由矿业储备金供资，以保障协议安全直至储备金完全耗尽。

为维持经济可行性，基金会已实现资产配置多元化，其中CTSI仅占总资产的18.55%，而65.16%以法币形式持有。此种配置使协议能够通过一系列即将推出的产品（如拟议的 验证者市场）逐步转向创收路径与价值积累机制。

CTSI 质押机制

质押是保障Cartesi网络安全的核心机制，它使代币持有者能够参与共识过程并获取收益，同时保护协议免受恶意行为者的侵害。

通过以下机制参与网络：

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

Cartesi上的最佳项目

Cartesi的生态系统包含多种展示Linux执行方式的去中心化应用（dApps）。其中包括：公共安全挑战赛、链上幻想游戏主机、支持流式代币的模块化DeFi协议，以及可验证大型语言模型推理的去中心化服务。

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

1. 蜜罐

蜜罐（Honeypot）是Cartesi在以太坊主网推出的"来黑我"型Rollup去中心化应用，于2023年9月上线，旨在通过真实资金对Cartesi Rollups进行压力测试。当前版本的蜜罐V2是首个搭载PRT欺诈证明系统的应用，其账户余额约为50,000 CTSI。

将其作为一项实践性安全挑战来使用：

• 识别目标：在Rollup Lab中打开蜜罐列表，点击项目链接进入实时仪表盘，分析当前合约状态。
• 审查逻辑：研究《蜜罐深度解析》以理解输出验证机制，以及机器承诺如何定义挑战的安全性。
• 测试漏洞：尝试在非预期路径下进行提现操作，或利用任何其他漏洞，从而清空智能合约中锁定的CTSI资金。
• 观察争议：追踪网络实时活动，观察挑战者如何对执行结果提出争议，从而促使防御方提交欺诈证明。

Cartesi将Honeypot视为其完全无许可架构的实时测试平台。该去中心化应用程序（dApp）将于2025年末达到第二阶段安全状态，成为该协议在以太坊主网实现去中心化防欺诈机制的核心概念验证。

2. 里夫斯

RIVES是由Cartesi驱动的链上幻想游戏主机，基于一个确定性模拟器（RIV）构建，该模拟器既可在浏览器中运行，也可在验证器内部运行。它已在Base主网上线，让您畅玩《贪吃蛇》、《俄罗斯方块》和《毁灭战士》等经典复古游戏。

请按照以下说明操作控制台：

1. 访问 Rives.io：访问官方游戏门户网站，浏览社区创作的游戏卡带库，并查看热门游戏的高分排行榜。
2. 连接钱包：将您的Web3钱包绑定至平台，即可记录游戏进程，并将您的排名永久保存于不可篡改的区块链账本中。
3. 游玩或创作：选择一款游戏直接在浏览器中畅玩，或使用Rives SDK开发并上传您独一无二的游戏卡带。

幕后技术方面，RIVES采用Cartesi Rollups技术，使游戏玩法可验证而非依赖信任。2025年，团队曾讨论推进Node V2开发工作，并透露将推出移动版本，始终聚焦于可验证游戏机制与创作者工具的打造。

3. 本地网络

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网络签名。
• 执行可信执行环境（TEE）认证：在数据提交至汇总链之前，于可信执行环境内处理签名以验证设备真实性。
• 在Arbitrum上最终确认：在Arbitrum Orbit链上结算经验证的认证数据，其中Cartesi的欺诈证明系统处理任何争议，以确保传感器数据的正确性。

通过在Cartesi机器内部运行SQLite处理复杂查询，Locale Network消除了昂贵的逐笔验证费用。该架构使开发者能够将物理资产接入链上生态系统，同时保持完全自主托管且去中心化的硬件架构。

4. 思链

ThinkChain是一个去中心化服务，为智能合约提供可验证的大型语言模型推理能力。通过利用 EigenLayer 操作符和 Cartesi Machine，它使协议能够执行人工智能驱动的任务，同时保持去中心化特性。该服务支持多种流行模型，包括 DeepSeek-R1 和 Qwen2.5，并通过简单的 Solidity 接口实现操作。

通过以下步骤将人工智能集成到智能合约中：

• 选择您的模型：根据应用程序的复杂度和性能需求，从集成式大型语言模型（如SmolLM2或DeepScaleR）中进行选择。
• 请求推理：通过Solidity Completer合约发送完成请求，指定您的提示词和期望的结果回调。
• 验证链下执行：追踪EigenLayer运营商如何在确定性Cartesi机器中运行所选模型，以生成可签名且可验证的结果。
• 接收链上结果：一旦求解器提交聚合签名，您指定的回调合约将自动接收并解码人工智能的响应。

ThinkChain通过将大型语言模型的海量计算负载卸载至EigenLayer协处理器，同时借助Cartesi确保每次推理的完整性，从而解决了链上AI的困境。该框架使开发者能够构建复杂的AI智能体，这些智能体能够以与标准智能合约同等的可信度进行数据分析和逻辑执行。

卡特西安全

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

通过多轮二分游戏，系统能够精准定位存在分歧的具体指令，从而实现数学上的最终性。仅需在基础层验证争议步骤，该机制显著降低了链上结算所需的数据量。

该协议实现了第二阶段安全， 维塔利克·布特林将此里程碑 称为"卸掉辅助轮"——系统由此完全实现无许可化。该状态确保任何中心化实体都无法覆盖去中心化防欺诈机制的判定结果。

Cartesi的优缺点

理解Cartesi协议的权衡取舍，对于评估其在模块化执行层和去中心化计算演进中的作用至关重要。

卡特西创始人

卡特西公司 由埃里克·德·莫拉、 奥古斯托·特谢拉、 迭戈·内哈布和 科林·斯泰尔于2018年共同创立。这支多元化的团队融合了顶尖学术机构的专业知识与软件工程技术，成功开发出基于Linux的独特虚拟机架构。

创始团队构想了一个模块化执行层，开发者可在此基础上利用传统软件堆栈构建去中心化应用。他们深厚的理论计算机科学与商业背景，推动该协议演进为一个具备生产就绪能力的生态系统。

最后的想法

如今，开发者利用Cartesi的模块化执行层构建计算密集型应用，例如完全基于链上的游戏和人工智能驱动的协议。

通过充分利用完整的Linux技术栈，开发者能够执行在标准以太坊虚拟机中仍无法实现的高强度任务。

在2026年，Cartesi的路线图将重点放在全面实现RISC-V架构的整合，并提升去中心化金融应用开发者的便利性，以优化高性能的去中心化计算能力。