
Cartesi 生态系统动态 # 2 (2025 年)
技术我们致力于打造最安全的去中心化 Rollup 基础设施。核心贡献者 Gabriel Coutinho 在ethresearch 论坛发布了关于 Cartesi 防欺诈算法 Dave 的最新文章。相比完整论文,这篇文章更简明扼要,但比他在曼谷 Devcon 大会演讲内容更深入,全面解析了该算法及其成果(https://ethresear.ch/t/the-dave-fraud-proof-algorithm/21844)。Cartesi 协处理器正在进化,团队正积极开发多项新功能。包括以太坊状态访问(eth_call)——实现便捷的以太坊状态查询、运营商接入,以及协处理器功能与 Cartesi CLI 的集成。 我们已圆满结束 Cartesi 与 EigenLayer 的第三次实验周,详细内容请参阅专题博客。其中 ThinkChain 项目备受关注,Cartesi 成为首个也是唯一实现完全去信任化链上 LLM 推理的区块链架构,DeepSeek 项目就是这一突破的典范。 Cartesi 的 RISC-V 虚拟机具有独特优势,允许开发者在去中心化框架内运行 TensorFlow、...

AI 与加密领域的重大突破,Cartesi 完成首个加密领域的 DeepSeek 链上执行
引言通过与 EigenLayer 合作,Cartesi 成为首个且唯一能够实现链上完全信任最小化大型语言模型推理的区块链技术栈,其中 DeepSeek 作为先导案例。这标志着加密技术与人工智能融合的关键性跨越,开启了一个新时代——区块链不仅能支持 AI ,更能以完全确定性的方式主动驱动 AI。 背景 传统 AI 依赖中心化服务器和不透明的“黑箱”系统,用户信任其输出却无法验证底层过程。这种对中心化基础设施的依赖带来了重大隐患:透明度有限、存在易受审查或篡改的单点故障,以及最终不可避免的信任依赖。 许多项目声称提供“去中心化 AI”,但仍依赖专有模型、中心化基础设施和基于信任的系统。因此,大多数所谓的去中心化AI实践仍受限于传统框架,仅用区块链记录 AI 输出,而非将其作为主动的去中心化计算环境。 真正的去中心化 AI 必须保证相同的输入始终产生相同的输出,且任何人都能在无需信任的环境中验证。这一范式需要可证明的确定性,即 AI 计算本身在链上运行,而非仅将结果记录到账本。 Cartesi 在 AI 领域的优势 Cartesi 是目前唯一能够实现真正区块链原生 AI 的项目,其独特...

10x Research:Secured Finance 基于 FIL 的美元稳定币如何推动 Filecoin 生态系统发展
“众多与 Filecoin 数据进行互动的参与者,将从全新灵活性与金融化的体系中受益。”在 10X Research 的最新研究内容中,揭示了在 Filecoin 生态系统内推出以美元计价的稳定币为用户带来的巨大增益。 Filecoin 是 Web3 中增长最快的平台之一,去中心化文件存储网络中有大量未被开发的价值等待释放。随着多个基金会对 Filecoin 生态的支持、生态系统合作伙伴日益增多,尤其是随着协议上存储的数据逐渐成为推动 AI 革命的燃料,一个公开透明、由同行构建的借贷市场以及链上美元的流动性来源,正变得越来越重要。 在 10X Research 报告中认为稳定币 USDFC 有望持续对 Filecoin 生态系统进行扩展,这种影响类似于 DAI 之于以太坊 DeFi 市场。 这些增益包括但不限于:通过链上储备稳定币,增加用户采用,使 Filecoin 平台对更广泛的用户群体更加可访问。通过消除用户使用 FIL 进行交易的需求,提高流动性和稳定性。通过提供能够在 Filecoin 生态系统内进行杠杆环形交易、套息交易和固定收益的工具,带来更为丰富的收益机会。Secu...
专业的Web3品牌内容服务商



Cartesi 生态系统动态 # 2 (2025 年)
技术我们致力于打造最安全的去中心化 Rollup 基础设施。核心贡献者 Gabriel Coutinho 在ethresearch 论坛发布了关于 Cartesi 防欺诈算法 Dave 的最新文章。相比完整论文,这篇文章更简明扼要,但比他在曼谷 Devcon 大会演讲内容更深入,全面解析了该算法及其成果(https://ethresear.ch/t/the-dave-fraud-proof-algorithm/21844)。Cartesi 协处理器正在进化,团队正积极开发多项新功能。包括以太坊状态访问(eth_call)——实现便捷的以太坊状态查询、运营商接入,以及协处理器功能与 Cartesi CLI 的集成。 我们已圆满结束 Cartesi 与 EigenLayer 的第三次实验周,详细内容请参阅专题博客。其中 ThinkChain 项目备受关注,Cartesi 成为首个也是唯一实现完全去信任化链上 LLM 推理的区块链架构,DeepSeek 项目就是这一突破的典范。 Cartesi 的 RISC-V 虚拟机具有独特优势,允许开发者在去中心化框架内运行 TensorFlow、...

AI 与加密领域的重大突破,Cartesi 完成首个加密领域的 DeepSeek 链上执行
引言通过与 EigenLayer 合作,Cartesi 成为首个且唯一能够实现链上完全信任最小化大型语言模型推理的区块链技术栈,其中 DeepSeek 作为先导案例。这标志着加密技术与人工智能融合的关键性跨越,开启了一个新时代——区块链不仅能支持 AI ,更能以完全确定性的方式主动驱动 AI。 背景 传统 AI 依赖中心化服务器和不透明的“黑箱”系统,用户信任其输出却无法验证底层过程。这种对中心化基础设施的依赖带来了重大隐患:透明度有限、存在易受审查或篡改的单点故障,以及最终不可避免的信任依赖。 许多项目声称提供“去中心化 AI”,但仍依赖专有模型、中心化基础设施和基于信任的系统。因此,大多数所谓的去中心化AI实践仍受限于传统框架,仅用区块链记录 AI 输出,而非将其作为主动的去中心化计算环境。 真正的去中心化 AI 必须保证相同的输入始终产生相同的输出,且任何人都能在无需信任的环境中验证。这一范式需要可证明的确定性,即 AI 计算本身在链上运行,而非仅将结果记录到账本。 Cartesi 在 AI 领域的优势 Cartesi 是目前唯一能够实现真正区块链原生 AI 的项目,其独特...

10x Research:Secured Finance 基于 FIL 的美元稳定币如何推动 Filecoin 生态系统发展
“众多与 Filecoin 数据进行互动的参与者,将从全新灵活性与金融化的体系中受益。”在 10X Research 的最新研究内容中,揭示了在 Filecoin 生态系统内推出以美元计价的稳定币为用户带来的巨大增益。 Filecoin 是 Web3 中增长最快的平台之一,去中心化文件存储网络中有大量未被开发的价值等待释放。随着多个基金会对 Filecoin 生态的支持、生态系统合作伙伴日益增多,尤其是随着协议上存储的数据逐渐成为推动 AI 革命的燃料,一个公开透明、由同行构建的借贷市场以及链上美元的流动性来源,正变得越来越重要。 在 10X Research 报告中认为稳定币 USDFC 有望持续对 Filecoin 生态系统进行扩展,这种影响类似于 DAI 之于以太坊 DeFi 市场。 这些增益包括但不限于:通过链上储备稳定币,增加用户采用,使 Filecoin 平台对更广泛的用户群体更加可访问。通过消除用户使用 FIL 进行交易的需求,提高流动性和稳定性。通过提供能够在 Filecoin 生态系统内进行杠杆环形交易、套息交易和固定收益的工具,带来更为丰富的收益机会。Secu...
专业的Web3品牌内容服务商
Share Dialog
Share Dialog

Subscribe to 黑色马里奥

Subscribe to 黑色马里奥
从目前的实践路径看,Cartesi 无疑是最早一批将其从抽象架构转化为可用执行基础的项目之一。
自 2023 年起,区块链底层架构的技术演化开始进入一个微妙而深刻的转折期。在以太坊创始人 Vitalik Buterin 近期公开表达对 RISC-V 的青睐之后,这一开源指令集架构迅速成为 Web3 技术社区讨论的焦点。Vitalik 提出,RISC-V 有望成为 EVM 的继任者,重塑以太坊乃至整个加密生态的执行逻辑,全新的观点在业内引发了不小的震动,也被视为对现有虚拟机体系瓶颈的一次正面回应。

事实上,技术世界里有一个被称为 “窄腰法则”(Narrow Waist Law) 的概念,即一种足够简洁、通用、标准化的中间层协议或系统架构,往往会成为上层应用与下层硬件之间的连接枢纽。正如 TCP/IP 成为互联网协议栈的“窄腰”,Linux 成为现代操作系统生态的主干平台,RISC-V 正以类似姿态,逐渐逼近区块链“通用执行层”的核心地带。
相较于 EVM、WASM 或 MoveVM 这类高度定制但生态孤立的执行环境,RISC-V 拥有开源、简洁、模块化、工具链成熟等天然优势。它不仅支持主流操作系统(如 Linux)启动,还能与 C/C++、Rust 等传统语言无缝对接,配合如 seL4 这类形式化验证内核,可大幅提升智能合约运行的安全性和开发体验。这种“技术即惯性”的体系一旦成型,将产生难以逆转的网络效应。
但相比理论讨论,RISC-V 在 Web3 的真正落地进展,目前仍处于起步阶段。尽管已有包括 Polkadot(PolkaVM)、Nervos(CKB-VM)等项目将其纳入新一代虚拟机体系,真正构建起完整、可验证的执行链条的项目并不多。而这也同样是 Cartesi 所长期深耕的方向,尤其是在 Vitalik 高调支持之前,Cartesi 已悄然完成了从 RISC-V 架构底层到开发者体验层的全面打通。
RISC-V 的开放性与灵活性正在吸引越来越多区块链项目的关注。过去一年中,包括 Polkadot、Nervos、Wanxiang Blockchain、Web3 Pi 和 Cartesi 在内的多个项目,均已在各自的虚拟机体系或底层架构中引入 RISC-V。它们的尝试不仅验证了该架构在 Web3 语境中的可行性,也共同推动了 RISC-V 在链上执行领域的早期扩散。
我们看到,Polkadot 正在通过其 JAM 升级计划,将现有虚拟机替换为基于 RISC-V 的 PolkaVM。这一版本在保留 RISC-V 指令集的同时,针对区块链运行需求进行了适配改进。尽管工程仍在推进中,但其目标是通过更可控的虚拟机体系,为未来的多链执行和模块化治理提供更高灵活性。
而 Nervos 则通过 CKB-VM 将 RISC-V 引入智能合约执行层。作为 UTXO 模型与 Layer 2 架构的结合体,Nervos 的尝试强调模块化和开发者自由度,在虚拟机设计上也优先考虑与底层共识机制的适配。然而,目前 CKB-VM 仍主要承担基础执行功能,与链外复杂计算的结合尚处于探索阶段。
与此同时,Web3 Pi 最近也完成了在 RISC-V 芯片上同步以太坊全节点的技术验证,显示出该架构在硬件端的适配潜力。而早期介入 RISC-V 研究的 Wanxiang Blockchain,也通过技术联盟持续推动相关生态的发展,尽管其尚未公开面向开发者的实际执行方案。
当然相比之下,Cartesi 是目前少数几个将 RISC-V 架构部署至开发、执行、验证完整链条的项目之一。事实上,早在 2018 年,Cartesi 就已选择 RISC-V 作为其虚拟机核心,并围绕该架构构建起一整套链下计算与链上验证结合的通用系统。通过 Cartesi Machine,开发者不仅可以使用 Linux 环境进行应用构建,还能调用完整的软件工具链(如 GCC、Make、GDB 等)进行复杂逻辑编程,运行时则完全兼容 Rust、C++、Python 等语言。
更重要的是,Cartesi 并未将 RISC-V 简单视作“性能优化”工具,而是通过与其 Rollups 架构结合,实现了链上可验证的高性能执行环境。所有链下执行均由 Cartesi Machine 完成,并在必要时通过欺诈证明机制进行链上验证,确保系统整体的可信性。这种“链下扩展 + 链上确认”的机制,使 Cartesi 成为目前 RISC-V 项目中落地路径最明确、执行闭环最完整的代表之一。
现阶段在多项目并行推进的格局下,RISC-V 在区块链行业的技术地位正在快速上升。而 Cartesi,作为该架构在 Web3 场景下的深度应用者,也在不断验证一个问题,即通用计算架构与可信区块链执行之间,或许并非对立,而是可以通过系统设计实现融合共进。

目前,尽管已有不少区块链项目陆续将 RISC-V 纳入其虚拟机体系,但真正将这一架构的能力扩展到“系统级”深度的,仍属少数。Cartesi Machine 是其中较为突出的案例之一,其并非只是将 RISC-V 简单用作计算后端,而是围绕这套通用指令集构建起一整套涵盖链下执行与链上验证的可信计算系统,具备工程落地能力与架构闭环。
Cartesi 的技术路线其实非常清晰,其没有试图重构整个执行环境,而是选择直接借用传统计算体系中已经成熟的部分。Cartesi Machine 支持运行完整的 Linux 操作系统,并依托 RISC-V 提供可审计、可复现的底层逻辑结构。这意味着开发者可以避开 EVM 的语言限制,也无需在 WASM 沙盒环境中额外适配,而是能够用熟悉的开发语言(如 Rust、C++、Go、Python 等)自由构建 dApp,开发体验与常规服务器端开发并无本质区别。这不仅是技术上的创新,也是一种对开发者现实和效率的尊重。
而相比之下,WASM 虽然具备跨平台优势,但为了追求确定性,开发者往往不得不放弃标准库,仅能使用“freestanding”模式进行开发,这大大拉高了使用门槛。而在 Cartesi 构建的 Linux 执行环境中,文件系统、系统调用、标准工具链都可直接调用,极大降低了构建复杂应用的摩擦成本。
与此同时,Cartesi Machine 并未在高性能的同时牺牲可验证性。所有链下执行都是确定性的,即相同输入始终对应唯一输出。其状态通过 Merkle 树结构进行哈希封装,并配合周期级别的执行记录,可在有争议时启动链上欺诈证明机制。Cartesi 的 Dave 系统可精准回溯计算路径,将争议最小化并在链上完成验证,确保最终结果公开、可查、可证。
更值得一提的是,Cartesi Machine 具备高度模块化。它既可作为命令行工具独立使用,也可嵌入其他系统;通过 C API 或 Lua 接口接入不同语言主程序,甚至可在 WebAssembly 环境中运行原生 RISC-V 虚拟机,支持浏览器端部署。这使其具备极强的嵌入性与可组合性,不仅是一个虚拟机,更像是一个通用的可验证执行引擎。
此外,Cartesi 没有将这套能力封闭在自己的网络体系内,而是选择开放连接。通过 Cartesi Rollups 框架,它已接入 Ethereum、Arbitrum、Base 等主流 L2 网络,不是替代 EVM,而是在 EVM 体系上扩展出更强的计算副处理单元。复杂计算和高负载逻辑可在链下完成,主链仅负责输入输出与验证确认,这种“链下运行 + 链上可信”的模式为 Web3 应用提供了新的工程解法。
在当下的技术语境中,Cartesi 并不急于提出一个“替代品”,而是实实在在构建了一个通用的、可以接入的、可以被开发者使用的“可信链下操作系统”。这是一条鲜有项目真正走通的路径,即不靠重写生态,不拘泥兼容性,而是把传统计算的成熟体系完整引入链下计算框架中,并确保其链上可验证性。它的本质,是为 Web3 提供一个能插拔、可复用的 Linux 层。
在讨论虚拟机架构时,容易陷入抽象设计与理论优势的比拼。但对于区块链行业而言,真正具有参考价值的标准往往更简单直接,我们只需要考虑它能否实际跑起来。Cartesi 在这一点上提供了一个清晰的答案,它不仅构建了基于 RISC-V 的 Cartesi Machine,还通过 Cartesi Rollups,通过将高性能链下计算引擎与主流区块链网络打通,形成完整的执行与验证闭环,具备真实落地能力。
Cartesi Rollups:让链下执行具备“可信路径”
Cartesi Rollups 并不是一条新的 Layer 2 网络,而是一个模块化框架,支持将 Cartesi Machine 嵌入任何以太坊兼容链作为链下执行层。开发者可以通过 Rollups 架构,使用传统开发语言构建应用,在 Linux 环境下完成高复杂度逻辑的链下处理,并通过状态证明与欺诈验证系统,将计算结果安全提交回主链。
全新的机制打破了以往链上智能合约在性能与复杂度上的天然限制。一个示例是在以太坊上处理图像识别、游戏逻辑、AI 推理、数学计算等高开销任务,往往会因成本和性能瓶颈而被放弃。而在 Cartesi 体系下,这些逻辑可完全由链下执行完成,主链仅承担输入输出和结果确认,从而显著提升了可用性和开发自由度。
逐步落地的场景
作为验证这套系统性能与通用性的尝试,Cartesi 社区陆续开发了多个具象化的 dApp 示例。比如:
复刻版的经典游戏 Doom (https://rives.io),在 Cartesi Machine 上以完整 Linux 应用运行,展示其对图形渲染与输入事件的支持;
有开发者基于 Cartesi 构建了名为 Scribbl 的 DApp(https://rolluplab.cartesi.io/scribbl/),一款简单的在线涂鸦评分应用,用户上传手绘图像后,链下 AI 模型会对其进行分类评分,并通过 Cartesi Coprocessor 实现链上可验证的推理过程。该项目展示了如何在无需信任的环境中运行轻量 AI 模型,并将图像识别这一典型的复杂计算过程完整上链验证;
以 Cartesi 为基础的自动化 DCA 策略引擎(https://dca.monster),模拟复杂的周期性交易逻辑与滑点判断;
包括内容创作类应用在内的多个 UGC 实验项目(https://rolluplab.cartesi.io/),正在利用 Cartesi 构建链上可记录的创作与互动流程。
这些案例并非仅停留在概念验证(PoC)阶段,而是已经完成初步系统集成,并在测试网上具备完整的用户交互能力。这些用例共同揭示了一个特质,即 Cartesi 并不试图通过“替换以太坊”来获得计算能力,而是选择“补足以太坊”,成为其高复杂度执行的副处理层。
架构开放,具备跨链与原生部署潜力
更长远来看,Cartesi 的 modular 架构意味着它并不绑定任何单一链环境,当前虽然 Rollups 主要服务于 Ethereum 和其 Layer 2 生态,但从原理上也可以适配任何支持数据可用性层与链上证明验证能力的系统,例如与 Avail、Espresso、Celestia 等模块的集成正在推进中。
此外,随着 RISC-V 在实际硬件中的普及,Cartesi Machine 也具备潜力成为原生链下执行引擎,直接部署在硬件侧,实现从物理层到链上验证的无缝衔接。这一能力,在未来的 ZK Coprocessor 架构、AI 验证系统中,或将发挥重要作用。
从游戏、AI、DeFi 到内容创作,Cartesi 并没有以“虚拟机”的身份参与 RISC-V 的叙事,而是以一个更系统、更完整的方式切入 —— 通过 Cartesi Rollups,它真正连接起了传统计算世界与链上可信环境之间的断裂带。
下一阶段,Cartesi 仍将围绕“模块化 + 可验证计算”继续拓展落地场景,这或许也将成为外界观察 RISC-V 能否走出“实验范式”的关键样本。
Vitalik 最近对 RISC-V 的积极表态,正在将这项架构推向了更广泛的加密讨论中。但事实上,RISC-V 并不是新概念。早在多年前,一些项目便已开始在这一开放指令集上进行实践,而 Cartesi 则是其中进展最完整、系统落地程度最高的方案之一。
Cartesi 专注于将其作为可信计算的底层构件加以系统化利用,Cartesi Machine 支持完整 Linux 运行环境,开发者可以直接使用主流语言和现有工具链构建复杂逻辑,并通过链下执行与 Rollups 验证机制将结果安全同步至链上。这并非简单的虚拟机扩展,而是对现有智能合约模型能力的实质增强。在高算力、高状态复杂度、高交互频率等典型场景中,如 AI 推理、仿真模拟、金融计算等,Cartesi 的执行框架提供了一个兼顾性能与可验证性的选项。
相较于一些还停留在架构设想或工具原型阶段的项目,Cartesi 已将其系统运行在多个实际用例中,并通过模块化架构适配以太坊及多个 L2 网络,具备良好的生态扩展性与工程完整性。
当然,RISC-V 是否最终成为 Web3 的主流执行架构尚未可知。但从目前的实践路径看,Cartesi 无疑是最早一批将其从抽象架构转化为可用执行基础的项目之一。在链下可信计算的全新方向上,它所构建的系统已具备可复制和规模化的技术条件。
从目前的实践路径看,Cartesi 无疑是最早一批将其从抽象架构转化为可用执行基础的项目之一。
自 2023 年起,区块链底层架构的技术演化开始进入一个微妙而深刻的转折期。在以太坊创始人 Vitalik Buterin 近期公开表达对 RISC-V 的青睐之后,这一开源指令集架构迅速成为 Web3 技术社区讨论的焦点。Vitalik 提出,RISC-V 有望成为 EVM 的继任者,重塑以太坊乃至整个加密生态的执行逻辑,全新的观点在业内引发了不小的震动,也被视为对现有虚拟机体系瓶颈的一次正面回应。

事实上,技术世界里有一个被称为 “窄腰法则”(Narrow Waist Law) 的概念,即一种足够简洁、通用、标准化的中间层协议或系统架构,往往会成为上层应用与下层硬件之间的连接枢纽。正如 TCP/IP 成为互联网协议栈的“窄腰”,Linux 成为现代操作系统生态的主干平台,RISC-V 正以类似姿态,逐渐逼近区块链“通用执行层”的核心地带。
相较于 EVM、WASM 或 MoveVM 这类高度定制但生态孤立的执行环境,RISC-V 拥有开源、简洁、模块化、工具链成熟等天然优势。它不仅支持主流操作系统(如 Linux)启动,还能与 C/C++、Rust 等传统语言无缝对接,配合如 seL4 这类形式化验证内核,可大幅提升智能合约运行的安全性和开发体验。这种“技术即惯性”的体系一旦成型,将产生难以逆转的网络效应。
但相比理论讨论,RISC-V 在 Web3 的真正落地进展,目前仍处于起步阶段。尽管已有包括 Polkadot(PolkaVM)、Nervos(CKB-VM)等项目将其纳入新一代虚拟机体系,真正构建起完整、可验证的执行链条的项目并不多。而这也同样是 Cartesi 所长期深耕的方向,尤其是在 Vitalik 高调支持之前,Cartesi 已悄然完成了从 RISC-V 架构底层到开发者体验层的全面打通。
RISC-V 的开放性与灵活性正在吸引越来越多区块链项目的关注。过去一年中,包括 Polkadot、Nervos、Wanxiang Blockchain、Web3 Pi 和 Cartesi 在内的多个项目,均已在各自的虚拟机体系或底层架构中引入 RISC-V。它们的尝试不仅验证了该架构在 Web3 语境中的可行性,也共同推动了 RISC-V 在链上执行领域的早期扩散。
我们看到,Polkadot 正在通过其 JAM 升级计划,将现有虚拟机替换为基于 RISC-V 的 PolkaVM。这一版本在保留 RISC-V 指令集的同时,针对区块链运行需求进行了适配改进。尽管工程仍在推进中,但其目标是通过更可控的虚拟机体系,为未来的多链执行和模块化治理提供更高灵活性。
而 Nervos 则通过 CKB-VM 将 RISC-V 引入智能合约执行层。作为 UTXO 模型与 Layer 2 架构的结合体,Nervos 的尝试强调模块化和开发者自由度,在虚拟机设计上也优先考虑与底层共识机制的适配。然而,目前 CKB-VM 仍主要承担基础执行功能,与链外复杂计算的结合尚处于探索阶段。
与此同时,Web3 Pi 最近也完成了在 RISC-V 芯片上同步以太坊全节点的技术验证,显示出该架构在硬件端的适配潜力。而早期介入 RISC-V 研究的 Wanxiang Blockchain,也通过技术联盟持续推动相关生态的发展,尽管其尚未公开面向开发者的实际执行方案。
当然相比之下,Cartesi 是目前少数几个将 RISC-V 架构部署至开发、执行、验证完整链条的项目之一。事实上,早在 2018 年,Cartesi 就已选择 RISC-V 作为其虚拟机核心,并围绕该架构构建起一整套链下计算与链上验证结合的通用系统。通过 Cartesi Machine,开发者不仅可以使用 Linux 环境进行应用构建,还能调用完整的软件工具链(如 GCC、Make、GDB 等)进行复杂逻辑编程,运行时则完全兼容 Rust、C++、Python 等语言。
更重要的是,Cartesi 并未将 RISC-V 简单视作“性能优化”工具,而是通过与其 Rollups 架构结合,实现了链上可验证的高性能执行环境。所有链下执行均由 Cartesi Machine 完成,并在必要时通过欺诈证明机制进行链上验证,确保系统整体的可信性。这种“链下扩展 + 链上确认”的机制,使 Cartesi 成为目前 RISC-V 项目中落地路径最明确、执行闭环最完整的代表之一。
现阶段在多项目并行推进的格局下,RISC-V 在区块链行业的技术地位正在快速上升。而 Cartesi,作为该架构在 Web3 场景下的深度应用者,也在不断验证一个问题,即通用计算架构与可信区块链执行之间,或许并非对立,而是可以通过系统设计实现融合共进。

目前,尽管已有不少区块链项目陆续将 RISC-V 纳入其虚拟机体系,但真正将这一架构的能力扩展到“系统级”深度的,仍属少数。Cartesi Machine 是其中较为突出的案例之一,其并非只是将 RISC-V 简单用作计算后端,而是围绕这套通用指令集构建起一整套涵盖链下执行与链上验证的可信计算系统,具备工程落地能力与架构闭环。
Cartesi 的技术路线其实非常清晰,其没有试图重构整个执行环境,而是选择直接借用传统计算体系中已经成熟的部分。Cartesi Machine 支持运行完整的 Linux 操作系统,并依托 RISC-V 提供可审计、可复现的底层逻辑结构。这意味着开发者可以避开 EVM 的语言限制,也无需在 WASM 沙盒环境中额外适配,而是能够用熟悉的开发语言(如 Rust、C++、Go、Python 等)自由构建 dApp,开发体验与常规服务器端开发并无本质区别。这不仅是技术上的创新,也是一种对开发者现实和效率的尊重。
而相比之下,WASM 虽然具备跨平台优势,但为了追求确定性,开发者往往不得不放弃标准库,仅能使用“freestanding”模式进行开发,这大大拉高了使用门槛。而在 Cartesi 构建的 Linux 执行环境中,文件系统、系统调用、标准工具链都可直接调用,极大降低了构建复杂应用的摩擦成本。
与此同时,Cartesi Machine 并未在高性能的同时牺牲可验证性。所有链下执行都是确定性的,即相同输入始终对应唯一输出。其状态通过 Merkle 树结构进行哈希封装,并配合周期级别的执行记录,可在有争议时启动链上欺诈证明机制。Cartesi 的 Dave 系统可精准回溯计算路径,将争议最小化并在链上完成验证,确保最终结果公开、可查、可证。
更值得一提的是,Cartesi Machine 具备高度模块化。它既可作为命令行工具独立使用,也可嵌入其他系统;通过 C API 或 Lua 接口接入不同语言主程序,甚至可在 WebAssembly 环境中运行原生 RISC-V 虚拟机,支持浏览器端部署。这使其具备极强的嵌入性与可组合性,不仅是一个虚拟机,更像是一个通用的可验证执行引擎。
此外,Cartesi 没有将这套能力封闭在自己的网络体系内,而是选择开放连接。通过 Cartesi Rollups 框架,它已接入 Ethereum、Arbitrum、Base 等主流 L2 网络,不是替代 EVM,而是在 EVM 体系上扩展出更强的计算副处理单元。复杂计算和高负载逻辑可在链下完成,主链仅负责输入输出与验证确认,这种“链下运行 + 链上可信”的模式为 Web3 应用提供了新的工程解法。
在当下的技术语境中,Cartesi 并不急于提出一个“替代品”,而是实实在在构建了一个通用的、可以接入的、可以被开发者使用的“可信链下操作系统”。这是一条鲜有项目真正走通的路径,即不靠重写生态,不拘泥兼容性,而是把传统计算的成熟体系完整引入链下计算框架中,并确保其链上可验证性。它的本质,是为 Web3 提供一个能插拔、可复用的 Linux 层。
在讨论虚拟机架构时,容易陷入抽象设计与理论优势的比拼。但对于区块链行业而言,真正具有参考价值的标准往往更简单直接,我们只需要考虑它能否实际跑起来。Cartesi 在这一点上提供了一个清晰的答案,它不仅构建了基于 RISC-V 的 Cartesi Machine,还通过 Cartesi Rollups,通过将高性能链下计算引擎与主流区块链网络打通,形成完整的执行与验证闭环,具备真实落地能力。
Cartesi Rollups:让链下执行具备“可信路径”
Cartesi Rollups 并不是一条新的 Layer 2 网络,而是一个模块化框架,支持将 Cartesi Machine 嵌入任何以太坊兼容链作为链下执行层。开发者可以通过 Rollups 架构,使用传统开发语言构建应用,在 Linux 环境下完成高复杂度逻辑的链下处理,并通过状态证明与欺诈验证系统,将计算结果安全提交回主链。
全新的机制打破了以往链上智能合约在性能与复杂度上的天然限制。一个示例是在以太坊上处理图像识别、游戏逻辑、AI 推理、数学计算等高开销任务,往往会因成本和性能瓶颈而被放弃。而在 Cartesi 体系下,这些逻辑可完全由链下执行完成,主链仅承担输入输出和结果确认,从而显著提升了可用性和开发自由度。
逐步落地的场景
作为验证这套系统性能与通用性的尝试,Cartesi 社区陆续开发了多个具象化的 dApp 示例。比如:
复刻版的经典游戏 Doom (https://rives.io),在 Cartesi Machine 上以完整 Linux 应用运行,展示其对图形渲染与输入事件的支持;
有开发者基于 Cartesi 构建了名为 Scribbl 的 DApp(https://rolluplab.cartesi.io/scribbl/),一款简单的在线涂鸦评分应用,用户上传手绘图像后,链下 AI 模型会对其进行分类评分,并通过 Cartesi Coprocessor 实现链上可验证的推理过程。该项目展示了如何在无需信任的环境中运行轻量 AI 模型,并将图像识别这一典型的复杂计算过程完整上链验证;
以 Cartesi 为基础的自动化 DCA 策略引擎(https://dca.monster),模拟复杂的周期性交易逻辑与滑点判断;
包括内容创作类应用在内的多个 UGC 实验项目(https://rolluplab.cartesi.io/),正在利用 Cartesi 构建链上可记录的创作与互动流程。
这些案例并非仅停留在概念验证(PoC)阶段,而是已经完成初步系统集成,并在测试网上具备完整的用户交互能力。这些用例共同揭示了一个特质,即 Cartesi 并不试图通过“替换以太坊”来获得计算能力,而是选择“补足以太坊”,成为其高复杂度执行的副处理层。
架构开放,具备跨链与原生部署潜力
更长远来看,Cartesi 的 modular 架构意味着它并不绑定任何单一链环境,当前虽然 Rollups 主要服务于 Ethereum 和其 Layer 2 生态,但从原理上也可以适配任何支持数据可用性层与链上证明验证能力的系统,例如与 Avail、Espresso、Celestia 等模块的集成正在推进中。
此外,随着 RISC-V 在实际硬件中的普及,Cartesi Machine 也具备潜力成为原生链下执行引擎,直接部署在硬件侧,实现从物理层到链上验证的无缝衔接。这一能力,在未来的 ZK Coprocessor 架构、AI 验证系统中,或将发挥重要作用。
从游戏、AI、DeFi 到内容创作,Cartesi 并没有以“虚拟机”的身份参与 RISC-V 的叙事,而是以一个更系统、更完整的方式切入 —— 通过 Cartesi Rollups,它真正连接起了传统计算世界与链上可信环境之间的断裂带。
下一阶段,Cartesi 仍将围绕“模块化 + 可验证计算”继续拓展落地场景,这或许也将成为外界观察 RISC-V 能否走出“实验范式”的关键样本。
Vitalik 最近对 RISC-V 的积极表态,正在将这项架构推向了更广泛的加密讨论中。但事实上,RISC-V 并不是新概念。早在多年前,一些项目便已开始在这一开放指令集上进行实践,而 Cartesi 则是其中进展最完整、系统落地程度最高的方案之一。
Cartesi 专注于将其作为可信计算的底层构件加以系统化利用,Cartesi Machine 支持完整 Linux 运行环境,开发者可以直接使用主流语言和现有工具链构建复杂逻辑,并通过链下执行与 Rollups 验证机制将结果安全同步至链上。这并非简单的虚拟机扩展,而是对现有智能合约模型能力的实质增强。在高算力、高状态复杂度、高交互频率等典型场景中,如 AI 推理、仿真模拟、金融计算等,Cartesi 的执行框架提供了一个兼顾性能与可验证性的选项。
相较于一些还停留在架构设想或工具原型阶段的项目,Cartesi 已将其系统运行在多个实际用例中,并通过模块化架构适配以太坊及多个 L2 网络,具备良好的生态扩展性与工程完整性。
当然,RISC-V 是否最终成为 Web3 的主流执行架构尚未可知。但从目前的实践路径看,Cartesi 无疑是最早一批将其从抽象架构转化为可用执行基础的项目之一。在链下可信计算的全新方向上,它所构建的系统已具备可复制和规模化的技术条件。
<100 subscribers
<100 subscribers
No activity yet