Ethereum 上の Cartesi (CTSI): Linux ロールアップと Cartesi 価格 2026
イーサリアムのメインネット上のスマートコントラクト内で動作するLinuxディストリビューションが存在する。ごく少数の開発者サークル以外では、ほとんど誰もそのことについて語っていない。それをそこに導入したプロジェクトはCartesiと呼ばれ、トークンはCTSIである。5月2026の時点で、全体の時価総額は2,687万ドルで、ブルックリンの中規模アパート1棟分の価値に匹敵する。Cartesiが出荷したものと市場がその価値をどう考えているかのギャップは、現在、楽観的なロールアップの中で最も興味深い話である。この記事では、Cartesiが実際には何なのか、Cartesi MachineとCartesi Rollupsがどのように機能するのか、誰が実際にdAppsを構築しているのか、そしてCTSIの価格がどこにあるのかを解説する。また、2026の時点で、このプロジェクトの「時期尚早だった」という主張がまだ通用するのかどうかも問う。
カルテージとは一体何者なのか、一段落で説明すると…
Cartesiは、開発者がEthereumスマートコントラクトの実行環境として完全なLinuxオペレーティングシステムを実行できるようにする、アプリケーション固有のレイヤー2フレームワークです。その中核となるのは、実際のLinuxディストリビューションを起動する決定論的なRISC-V仮想マシンであるCartesi Machineです。Cartesi Rollupsは、このモジュール型フレームワークを楽観的ロールアップとしてEthereumに組み込み、オンチェーン紛争解決によってあらゆる意見の相違を解決し、Ethereumが決済のベースレイヤーとして機能します。その結果、Cartesi dAppはPython、Rust、C++、またはLinux向けにコンパイル可能な任意の言語で記述でき、Ethereumのセキュリティを継承できます。これは、このスケーリングスタックをメインネットに出荷する唯一のLinux-on-blockchainプロジェクトであり、開発者はSolidityですべてを再構築する代わりに、成熟したプログラミング言語で分散型アプリケーションを構築できます。
Cartesiの仕組み：マシンとイーサリアムのロールアップ
Cartesi Machineは、すべての中核を成すものです。これはRISC-V命令セットのソフトウェアエミュレータです。RISC-Vは、誰でもゼロから構築できる決定論的なCPU仕様です。このエミュレータ内部では、Buildrootで構築された簡略化されたLinux OSが動作します。ユーザー空間ツールは、シェル、glibc、Pythonインタープリタ、標準ライブラリ、コンパイル済みバイナリのGitHub環境など、おなじみのものが揃っています。このマシンが実行するすべての命令は、ビット単位で再現可能です。2つの正直なノードが同じ初期状態から開始し、同じ入力を与えた場合、毎回まったく同じ最終状態になります。
その決定論こそが、ブロックチェーン上で検証可能なLinuxを実現する鍵となる要素です。Cartesi Rollupsフレームワークは、このマシンを標準的なオプティミスティックロールアップアーキテクチャでラップします。dAppは入力をEthereumコントラクトに送信します。オフチェーンのCartesiノードは、その入力をLinuxマシンで実行します。結果として得られた状態はチェックポイントとして保存され、オンチェーンに反映されます。ほとんどの場合、これ以外の処理は行われません。実行はオフチェーンで行われるため低コストであり、Ethereumは決済とデータ可用性レイヤーとしての役割しか果たしません。
難しいのは、誰かが嘘をついた場合に何が起こるかです。楽観的ロールアップは、紛争状態はすべて異議申し立て可能であることを前提としています。オンチェーンのレフェリーは、Linux セッション全体を再実行することなく、紛争のあった作業を検証する必要があります。Cartesi は、対話型二分法プロトコルでこれを解決します。2 つの当事者は、紛争の実行トレースを掘り下げて、単一の RISC-V 命令を分離します。その 1 つの命令は、マシンの Solidity 実装内でオンチェーンで再生されます。このコントラクトは Solidity Step と呼ばれ、バージョン 0.14.0 は 4 月 2026 に出荷されました。オンチェーンのレフェリーが勝者を宣言します。敗者は保証金を失います。
この話の2025-2026バージョンが重要なのは、Cartesiがついに紛争解決システムをパーミッションレスにしたからだ。パーミッションレス・レフェリード・トーナメント・プロトコル（略称PRT）は、Daveアルゴリズムと組み合わされている。これにより、誰でもマルチパーティ・トーナメントに参加して不正な状態に挑戦できる。オンチェーンのコストは、紛争参加者の人数に関係なく一定に保たれる。PRT以前は、あらゆる場所で楽観的ロールアップは少数の許可された挑戦者に依存していた。PRT以降は、オープンインターネット上のどこかに正直な参加者が1人存在するという前提を置くだけで済む。これは、信頼モデルとしては著しく弱いものとなる。
Cartesi Machine Emulator は昨年、バージョン 0.19.0 でゼロ知識検証プリミティブも採用しました。これにより、計算を再実行することなく、計算が正しく実行されたことを示す暗号学的証明を生成できるようになりました。これは、サブマシンからの入力を検証する際に役立ちます。また、複数のチームが現在プロトタイプを作成しているハイブリッド楽観的ゼロ知識構成への道も開きます。ソフトウェアスタック全体は、cartesi 組織の GitHub でオープンソースとして公開されており、CoinMarketCap の開発者トラッカーによると、4 月 2026 の 30 日間で組織全体で約 246 件の開発イベントがありました。
| 成分 | その機能 | 住む場所 |
|---|---|---|
| カルテシマシン | 完全なLinuxを実行する決定論的RISC-V仮想マシン | 各ノードのオフチェーン |
| Cartesi Rollupsフレームワーク | 機械を楽観的なロールアップとして包む | オフチェーンノード + イーサリアムコントラクト |
| ソリディティステップ | 紛争解決のためのオンチェーンRISC-Vシングルステップエミュレータ | イーサリアムメインネット |
| PRTとデイブ | 許可不要の複数参加者による不正防止トーナメント | イーサリアムメインネット |
| ネーター側鎖 | ステーキングCTSIに使用されるプルーフ・オブ・ステークサイドネットワーク | 分離側鎖 |
Cartesiの起源：創業者とリオデジャネイロにおけるAIの方向転換
Cartesiは2018年にリオデジャネイロで、Erick de Moura、Augusto Teixeira、Diego Nehab、Colin Steilによって設立されました。TeixeiraとNehabはブラジルの純粋応用数学研究所（IMPA）の研究者でした。当初の構想は、検証可能な計算レイヤーを基盤とした、AIモデルのトレーニングのための分散型マーケットプレイスでした。マーケットプレイスのコンセプトは市場との接触に耐えられませんでしたが、検証可能な計算レイヤーは残りました。IOTAの共同創設者であるSerguei Popovが初期のアドバイザーとして参加しました。
このトークンは2020年4月21日にBinance Launchpadでローンチされ、1億CTSIが1枚あたり$0.015で販売されました。IEOでは、22,169人の抽選当選者から150万ドルが集まりました。その時点では、イーサリアムのガス戦争はすでに深刻なスケーリング問題となっており、ビットコインは3回目の半減期を迎えたばかりで、市場全体はまだL2とは何か、ましてや不正防止トーナメントが何のためにあるのかを理解していませんでした。Cartesiは、自ら認めているように、業界がまだその用語を知らないものを構築していました。Erick de Mouraは現在もCEOとして財団を運営しており、他の3人の共同創設者はそれぞれCSO、チーフサイエンティスト、COOの役割を担っています。8年目の暗号通貨プロジェクトとしては、リーダーシップは驚くほど安定しています。
Cartesi に基づいた構築: 2026 での実際の dApps
インフラストラクチャ段階のレイヤー2について最もよく聞かれる質問は、実際にその上で開発が行われているかどうかです。Cartesiの場合、正直なところ、予想以上に多くの開発が行われている一方で、この技術が本来受けるべき評価には達していません。rolluplab.ioの公式エコシステムレジストリには、ゲーム、オンチェーンアート、融資、信頼を最小限に抑えた機械学習など、様々な分野で稼働中のアプリケーションが掲載されており、ブラジルでは公共部門における実証実験も着実に拡大しています。
| dApp | カテゴリ | ステータス（mid-2026） |
|---|---|---|
| PRTハニーポットv2 | イーサリアムメインネットにおける不正防止バグ報奨金制度 | ライブ、L2BEATステージ2 |
| リベス | レトロなオンチェーンゲーム機 | Node V2に移行しました |
| ワールドタイクーン | NFT都市建設ゲーム、シムシティ風 | プロトタイプ |
| バグバスター | 信頼不要のバグ報奨金プラットフォーム | ライブ (Cartesi 経由のオプティミズムについて) |
| 描画用キャンバス | 共同制作によるオンチェーンアート | ライブ |
| DCAモンスター | ドルコスト平均法に対応したERC-20ストリーミング機能を備えたAMM | ライブ |
| ロケールネットワーク | Web3中小企業向け融資（ダイナミックローン） | ライブ |
| シンクチェーン | オンチェーンでの信頼性最小化LLM推論 | 概念実証 |
| BikeFácil dApp | 電動自転車シェアリング向けのトークン化された炭素クレジット | ブラジル人パイロット |
| ニテロイ交通dApp | リオデジャネイロ州の公共バス料金 | ブラジル人パイロット |
| イリアダ | ブラジルのMCTIとの全国規模の研究 | 政府支援 |
フラッグシップは PRT Honeypot v2 自体で、ステージ 2 の楽観的ロールアップであり、唯一の仕事は CTSI で報奨金を保持し、不正防止システムを破ってみろと挑発することです。現在の報奨金は象徴的なもの (1,000 ドルの CTSI、2026 まで増加するように設計) ですが、以前の Authority Honeypot はピーク時に 1,772,889 CTSI を保持し、1 年間の試行をハッキングされずに乗り切りました。RIVES はより目立つ消費者向けアプリで、レトロ ゲームが Cartesi Machine 内で実行され、ハイ スコアがオン チェーンで検証できるファンタジー コンソール環境です。World Tycoon はまだプロトタイプで、SimCity レベルのシミュレーションは EVM には計算負荷が高すぎるが、Linux VM 内では完全に処理可能であるという考えに基づいています。
ブラジルの公共部門におけるこの分野は過小評価されている。BikeFácilは電動自転車シェアリングの炭素クレジットをトークン化し、ニテロイ市の公共交通機関パイロットプロジェクトはCartesiロールアップを使って公共バスの料金を決済している。ILIADAプロジェクトはブラジル科学技術イノベーション省との複数年にわたる共同研究プロジェクトだ。これらのどれもが10億TVLもの規模になることはないだろうし、CartesiロールアップはDefiLlamaで意味のある形で追跡されていない。これは何かを物語っている。しかし、これらは暗号通貨に精通していない人々が実際に使用しているソフトウェアなのだ。これは想像以上に稀なことだ。
Cartesiの今日の価格、CTSIトークノミクス、およびステーキング
今日のCartesiの価格は、他のすべてを圧迫する要因となっている。CTSIには10億トークンの上限があり、そのうち約9億1370万トークン（91.4%）が流通している。CTSI保有者やその他のトークン保有者は、ガバナンス投票にこの仮想通貨を使用する。また、Noetherサイドチェーンにトークンをステーキングする。そこでは、各バリデーターがCartesiネットワークとそのセキュリティ機能の保護に貢献することで報酬を得る。CTSIステーキングの平均APYは約12.92%で、MyCointainerのようなトップレベルのプラットフォームでは委任ステーカーに最大22.8%を提供している。ステーキングにコミットされたCartesiの供給量はプールによって異なるが、流通フロートのかなりの割合を占めている。
| メトリック | 価値（2026年5月19日） | ソース |
|---|---|---|
| カルテシ価格（CTSI/USD） | 0.02939ドル | コインゲッコー |
| 時価総額 | 2687万ドル | コインゲッコー |
| 時価総額ランキング | #749 | コインゲッコー |
| 循環供給 | 913.7M CTSI | コインゲッコー |
| カルテシの最大供給量 | 1,000,000,000 CTSI | バイナンス・ローンチパッド |
| 史上最高値 | 2021年5月9日時点で1.74ドル | コインゲッコー |
| 史上最安値 | 2026年3月29日時点で0.02134ドル | コインゲッコー |
| 7日間の価格変更 | -14.4% | コインゲッコー |
史上最高値は2021年5月に1.74ドルで、IEO価格の約59倍でした。史上最安値は、この記事の6週間前、2026年3月29日に0.02134ドルで記録されました。CTSIは過去3年間、ほとんど横ばいの状態でその底値に向かって推移しており、現在の価格はわずか38%上回っているだけです。カルテシ財団は、2025年に公開市場で50万ドル相当のCTSIを購入したことは評価に値します。チャートにはまだ反映されていませんが、これは財団内部の自信を示す重要なシグナルと言えるでしょう。
PRT、L2BEAT Stage 2、そして無限のデザイン空間
2026 で Cartesi に注目するに値する唯一の 2025 年のマイルストーンは、L2BEAT ステージ 2 の分類です。L2BEAT は、ロールアップの成熟度をランク付けする標準です。ステージ 2 とは、L2 が分散型の不正証明、アップグレードのバックドアなし、ユーザー資金に対するガバナンスが限定的であることを意味します。2025 年現在、すべてのロールアップの中でステージ 2 に到達したプロジェクトは 3 つだけです。Cartesi の PRT Honeypot v2 は、その中で唯一楽観的なロールアップです。他のステージ 2 候補はすべて ZK ベースです。
PRT Honeypot v2 は 2025 年 6 月に Ethereum メインネットで稼働を開始しました。同年 10 月にライブネスのバグが発見され、修正されました。Dave 2.1.1 アルゴリズム (マルチパーティ トーナメントの最新改良版) は 2026 年 3 月 13 日にテストネットに実装され、チームは 2026 の第 2 四半期にメインネットでのリリースを目指しています。新しいバージョンごとに、挑戦者がロックアップしなければならない最悪のケースの保証金が減り、不正解決のための最悪のケースのタイムアウトが厳しくなります。エンジニアリング用語の裏には、無限の設計空間が現実のものとなっています。楽観的なロールアップでは、セキュリティの想定を「信頼できる 1 人の挑戦者」から「保証金を預けて時間内に応答する意思のある、どこにでもいる誰でも」に拡張できるようになりました。
これは戦略的に重要な意味を持ちます。楽観的なロールアップのストーリーは、過去2年間、ZK証明やその他のスケーラブルなロールアップ設計に注目を集めてきましたが、その理由の一つは、一般的なDeFiワークロードにおける紛争解決問題が未解決のままに見えたためです。PRTは不正防止トーナメントを分散化し、オンチェーンコストを制限し、紛争パスに対してクリーンなセキュリティと検閲耐性を提供することで、楽観的なロールアップを再び議論の場に引き戻します。他のロールアップが独自の紛争解決をPRTを中心に分散化するか、ZKを介して迂回するかは、Cartesiの今後5年間を左右する問題であり、分散化とL2スケーラビリティの実際的な限界に関するより広範な議論にもつながります。
2026 暗号におけるデカルトと zkVM の波
Cartesiは、zkVMが技術的に実用化される数年前の2018年に、ブロックチェーン向けRISC-V実行環境の提供を開始しました。その狙いは、オンチェーン紛争解決による対話型検証が、Linuxセッション上でSNARKを生成するよりも常に安価であるというものでした。そして、RISC Zeroが登場したのです。
| プロジェクト | アプローチ | 2024-2026 ハイライト | 調達した資金 |
|---|---|---|---|
| カルテシ | RISC-V + Linux + オプティミスティックロールアップ (PRT/Dave) | L2BEATステージ2で唯一楽観的な買収案件。約100万ドルの助成金プログラム。 | 150万ドルのIEO（イン・エグジット・オファリング）＋財団準備金 |
| RISCゼロ | RISC-V zkVM + 無制限の証明マーケットプレイス | R0VM 2.0はイーサリアムブロックの証明時間を35分から44秒に短縮。2025年12月に自社ホスト型証明システムを停止し、全員をBoundlessに移行させる予定。 | 4,000万ドル以上のシリーズA資金調達 |
| 簡潔（SP1） | RISC-V zkVM | ロールアップチーム全体で広く採用されている | 9桁の金額のプライベートラウンド |
| 無限 | RISC Zeroが分散型プルーフマーケットを立ち上げた | SP1、Cartesi、その他からの証明ワークロードを吸収することを目指す | RISC Zeroからの資金提供を受けています |
RISC ZeroはシリーズAで4,000万ドル以上を調達し、これはCartesiのIEOの26倍に相当する。Succinctも同様に大規模なプライベートラウンドを完了した。Boundlessは分散型証明マーケットプレイスとして立ち上げられ、長期的にはCartesiの証明だけでなく、他のすべての証明も吸収する可能性がある。公平な競争分析としては、Cartesiはより難しい問題、つまり汎用Linuxをブロックチェーン上で実行することを最初に解決したが、業界はわずかに簡単な問題を解決したプロジェクトに25倍もの資金を与えたということだ。優れたエンジニアリングだけでこのギャップが埋まるとは到底思えない。
現実検証：カルテシのエコシステムが本当に語っていること
Cartesi の正直な 2026 スコアカードには、3 つのプラス面と 3 つの弱点があります。プラス面: L2BEAT のステージ 2 は真の成果です。dApp のラインナップは、時価総額のほとんどの同業他社よりも幅広くなっています。財団は CTSI 自体を除いて 3.5 年分の資金があり、Dave メインネットと Wave 2 の助成金を出荷するには十分です。弱点: CTSI の価格は、6 週間前に記録した史上最安値の 38% 以内にあります。助成金プログラムの Wave 1 では、500,000 ドルの上限のうち、6 つの助成対象者に 191,000 ドルしか支払われませんでした。2025 年の支出構成は、財団の運営とマーケティングに 41%、エコシステム助成金に 12% となっています。今後 12 か月で注目すべき 3 つのシグナルがあります。Dave 2.1.1 メインネットのローンチ。Wave 2 の助成金のペース。現在のコホートから 1 つの dApp が主流の使用に参入するかどうか。これら3つのうち2つが実現すれば、ファンダメンタルズと価格の乖離は縮小する。しかし、どれも実現しなければ、カルテシはサイクルを1つ早く過ぎ去ってしまった、美しいエンジニアリングの産物ということになるだろう。
