Cartesi

Staying informed on protocol developments and technical releases!

Quick reminder: the Cartesi blog is the best place to keep up with our monthly ecosystem updates, covering the latest tech progress, releases, and developments across the ecosystem.

Bookmark our blog at https://cartesi.io/blog/ or subscribe to the newsletter to get updates straight to your inbox: https://mailchi.mp/cartesi/email-newsletter https://x.com/cartesiproject/status/2071942390550802894

Repost: https://x.com/cartesiproject/status/2097678146627912145

The start of the month brought a new release: Dave 3.0.0-alpha.4. Let's unpack what's under the hood.

But first, in case you don't know what Dave is and by now you're afraid to ask, here's the tl;dr. ↓🧵

1/ The fraud proof system, our Permissionless Refereed Tournament (PRT), is the mechanism that lets anyone challenge a dishonest computation onchain without trusting a single validator.

Optimistic rollups assume computations are correct by default, so there's a dispute period, and PRT is what resolves it.

2/ What's new in 3.0.0-alpha.4: PRT settlement is now two-phase, staged then accepted, giving the network a window to catch errors before they're final.

That window disappears if every sentry agrees with the staged result, skipping straight to faster finality.

3/ The prototype node has a name now: Sling, with persistent storage and event tracking.

PRT's ad-hoc tournament views were replaced by typed projections that expose the actual phase instead of reverting.

Also shipped: fairer payouts for tournament winners, deployment files moving to plain text, upgrades to the Cartesi Machine and Rollups Contracts, a newer Foundry, and stronger test coverage.

4/ Kudos to our contributors for the work on this. Full changelog here: https://github.com/cartesi/dave/releases/tag/v3.0.0-alpha.4

Come catch up on Discord if you have any questions or feedback: https://discord.gg/cartesi

Repost: https://x.com/cartesiproject/status/2097309810396164306

GM to a new week. To Linux execution. To Ethereum security. To Cartesi infrastructure.

GM Cartesians.

Repost: https://x.com/cartesiproject/status/2096947613652451371

Last month packed in new alphas for Rollups Contracts, the Sequencer, and Machine browser bindings, an update to the Machine Emulator to v0.21.0, and 35 years of the software stack powering it all: Linux.

Read the full updates for all the highlights ↓
https://cartesi.io/blog/ecosystem-updates-august-2026/

Repost: https://x.com/cartesiproject/status/2095912523837133180

Last month packed in new alphas for Rollups Contracts, the Sequencer, and Machine browser bindings, an update to the Machine Emulator to v0.21.0, and 35 years of the software stack powering it all: Linux.

Read the full updates for all the highlights ↓
https://cartesi.io/blog/ecosystem-updates-august-2026/

Repost: https://x.com/cartesiproject/status/2095912523837133180

CoinMarketCapでCartesiコミュニティが成長していくのを見るのが楽しみです！私たちはついに公式にフォロワー9万2,000人を超えました。これを支えてくださっている皆さんに心から感謝します。

まだCMCで参加されていない方は、ぜひ参加してみてください。いつものCTの枠を一歩出て、公式アップデートをチェックし、$CTSIにタグを付け、同じ志を持つビルダーや支援者の皆さんとつながるのに最適な場所です。

中で「gm」を言いに来てください： https://coinmarketcap.com/community/profile/cartesiproject/

リポスト：https://x.com/cartesiproject/status/2095496533634646341

貢献者がCartesi Machineのバインディング用に新しいアルファ版をリリースしました。これは、ブラウザ上でマシンを動かしやすくするためのライブラリです 🐧

専用のプレイグラウンドでお試しください。そこで設定し、マシンを作成して、インストール不要でそのまま実行できます（ターミナルも含まれます）： https://cartesi-playground.vercel.app/

Daniloが強調したとおり、エミュレータは多用途で、ブラウザ対応のTypeScriptバインディングでWASM上で動作します。さらにこのアルファ版では、マシンがネットワークに接続できるほか、リモートサーバーから実行・制御でき、ブラウザのタブからライブのターミナル出力も表示可能です。

加えて、ブラウザ対応に関する完全なドキュメントはこちらで公開中です： https://cartesi.github.io/rollups-ts/machine/

Discordで質問やフィードバックをぜひどうぞ：https://discord.gg/cartesi

再投稿：https://x.com/cartesiproject/status/2095135408409784799

Linux至上主義を信じる皆さまへ、9月おめでとうございます！

言い広めよう、デカルト： https://x.com/cartesiproject/status/2094787246511567067

私たちは改めて、私たちと共に世界のコンピュータビジョンを生き続けさせるため、そしてLinux、オンチェーン、Ethereumの上に発展させていくようお願いしています。

8月もそろそろ終わりですが、出荷は終わっていません。GM！

リポスト：https://x.com/cartesiproject/status/2058896948762128472

開発に没頭した1週間が終わり、Cartesi Weeklyの時間です。今回はちょっとお祝いムードです 🐧

今週、Linuxは35周年を迎えました。私たちは、何事もなかったようには済ませられませんでした。Cartesi Machineが動いているOSに誕生日のお祝いを送り、さらにフィードも届きました。Linus Torvaldsは1991年にLinuxを立ち上げ、「ただの趣味」と表現しましたが、幸いにも世界はそうは思いませんでした。Linuxファミリーの一員であることを誇りに、多くの場所でお祝いの声が上がりました：
→ https://x.com/cartesiproject/status/2092292063718973745

Throwback Thursday：Linuxには、35年以上の“戦い抜いてきた”ソフトウェアが揃っています。それでもDeFiは、すでに存在するものを作り直し続けています。なぜ車輪の再発明をやめてLinux上で構築する時なのか、その主張は引用スレッドで全文読む価値があります：
→ https://x.com/cartesiproject/status/2092952840671240369

今週はAlchemyに大きな感謝を。CartesianのJoão Garciaが、OP Sepoliaでの断続的なeth_estimateGas失敗に関する、私たちのチームが提出したレポートについての呼びかけを投稿しました。再現用ハーネス、A/B/Cテスト、プロバイダー間の比較も含まれていました。Alchemyは問題を追跡し、修正し、修正が反映されたことを確認しました。
→ https://x.com/joaopdgarcia/status/2092581129765245399

AlchemyのUttamは、サポートが業界屈指だと語り、そしてスレッド全文は「すばらしい開発者サポート」が実際にどのようなものかを知る良い読み物です。私たちは、良い実践を祝うのが大好きです：
→ https://x.com/uttam_singhk/status/2092653343990857977

今週は以上です。最初からこういうトーンでいきます：Cartesiのインフラは、最初から開発者のために作られています。より多くのツール、より多くのライブラリ、より高いプログラマビリティ、より多くの計算力。だからこそ、ビルダーはそれらをすべて活用できます。短いので、見過ごした人はぜひ一度：
→ https://x.com/cartesiproject/status/2091874346537251118

まだなら、Linuxに35周年のお祝いを言いましょう。DeFiにそれが必要な理由のケースは全文を読んで、疑問はDiscordへ：discord.gg/cartesi.

次週は、エコシステムのアップデートをブログでお届けします。良い週末を！

Repost: https://x.com/cartesiproject/status/2093323347832807597

「Why DeFi Needs Linux.（なぜDeFiにはLinuxが必要か）」を振り返る木曜。Cartesiがオンチェーンで実現。Ethereumがセキュアに。

Linuxには、ソフトウェア開発の35年以上の歴史があります。それでもDeFiは、すでにあるものを作り直し続けています。

そろそろ車輪の再発明をやめて、Linuxを使い始める時です。あなたも賛同しますか？

リポスト: https://x.com/cartesiproject/status/2067246406763704757

開発者のためのインフラ、Cartesi（カーテジ）。ゼロから構築された、より多くのツールとライブラリ、より高いプログラマビリティと表現力、そしてより多くの計算リソース。

さあ、作って、すべてを実際に動かしていきましょう。

再投稿: https://x.com/cartesiproject/status/2091874346537251118

Cartesi Weeklyがやってきました。今週はあっという間に過ぎましたが、出来事は一切少なくありませんでした🐧

Cartesi Machine Emulator v0.21.0をアンパックしました。検証ゲームのドキュメントは全面的に書き直され、CLIは単体で詐欺防止（fraud proof）の一連の手順を実行できるようになり、ステート層は内部でより高速かつ耐久性が高くなっています。これをリリースしてくれたEduardo Bartに拍手！さらに深く知りたい方は、こちらのスレッドもチェックしてください：
→ https://x.com/cartesiproject/status/2089698617829597516

そしてそれだけではありません。Cartesi Rollups Contracts 3.0.0-alpha.9もリリースされています。このリリースには、Cartesi Rollups PRT Contractsの修正、コントラクトのインポート改善、依存関係の更新、そしてより再現性の高いリリース成果物などが含まれます。これを手がけたGuilherme Dantasに賛辞！GitHubのリリースはこちら：
→ https://github.com/cartesi/rollups-contracts/releases/tag/v3.0.0-alpha.9

今週、House of ChimeraがCartesi向けに深掘り記事を書きました。Cartesi Machineの機能のショーケースに加え、DeFiの探索や独自のプロトタイプ、そしてPRTが争いを1つのRISC-V命令まで絞り込む仕組みのわかりやすいウォークスルー、ハニーポットのライフサイクルなども紹介されています。技術仕様の一端をのぞくのにおすすめです：
→ https://x.com/HouseofChimera/status/2090096426315575745

ほかにも話題に：Linuxが美しい理由を語るBhavya。さらに言うなら、オンチェーンでそれを使って構築するのはもっと美しい。ぜひ動画もどうぞ：
→ https://x.com/Bhavyaztwt/status/2089733481966559455

そしてTikTokもどんどん盛り上がってきています。こちらの懐かし投稿をご覧ください。Cartesi MachineのクリエイターであるDiego Nehabのスニペットです。チャンネルを育てるためにフォローするのも気兼ねなくどうぞ：
→ https://www.tiktok.com/@cartesiproject/video/7675021194436955406

私たちは引き続き開発しています。今週初めのモットーも変わりません：DeFiは天井ではなく床です。
→ https://x.com/cartesiproject/status/2087161705415811160

今週は以上です。新しいことを掘り下げて、質問はDiscordへ：discord.gg/cartesi。良い週末を！

リポスト：https://x.com/cartesiproject/status/2090786513579913225

Linuxは美しい。
洗練されたカスタム環境から大規模な計算パワーまで、Cartesiはこの完全なLinuxランタイムをWeb3開発者向けに、オンチェーン上で直接提供します。

動画へのPropsはBhavyaに。

リポスト: https://x.com/cartesiproject/status/2090060465745674403

gm.
DeFiは天井ではなく土台です。
私たちは作り続けます。

リポスト: https://x.com/cartesiproject/status/2089335971733246404

ある深夜2時、Reddit上のどこかでロールアップ・アーキテクチャについて誰かが議論している。
一人でやる必要はありません。
テックの深掘り、リリースの内訳、Q&A、そしてエコシステム全体で起きていることを知るなら、r/cartesi で Cartesi を見つけてください。
もし私たちが参加すべき会話を見つけたら、u/cartesi をタグ付けしてください。

先週、Cartesi Rollups Contracts 3.0.0-alpha.7 をお届けしました。より安全な入金、より厳格な請求、そして軽量化されたツールチェーンです。 🧵↓

1/ 入金の返金が利用可能になりました。アプリが差し押さえられた場合、確定されていない対象の入金を送信者に返せるようになっています。これで ETH、ERC-20、ERC-721、ERC-1155 の入金にも対応しました。うっかりお金を失う可能性をもう1つ減らせます。

2/ 入金の確定がより明確に追跡されるようになり、さらに送金手数料（fee-on-transfer）のある ERC-20 は拒否されます。これらの変更により、入金と返金に関する会計処理が改善され、アプリが資金不足になったり不健全（insolvent）になったりする原因となり得る不一致を防ぐのに役立ちます。

3/ 請求の提出は、追加の機械チェックを通るようになりました。正確性が最も重要な箇所でセキュリティが引き締まり、無効な請求を後で見つけるのではなく、より早い段階で検出できます。

4/ ツールチェーンがさらに軽くなりました。alpha.5 で Cannon を廃止し、今回さらに cartesi/rollups の npm パッケージも廃止しました。rollups-contracts は Foundry と POSIX ユーティリティのみを前提としています。統合側で管理すべき依存が減り、壊れる要素も少なくなります。

5/ コンパイル済みアーティファクトとデプロイアドレスは、引き続き GitHub のリリースで公開されるので、引き続きすべてを簡単に取得できます。ソースは引き続き Soldeer 経由で提供されます：forge soldeer install 'cartesi-rollups-contracts~3.0.0-alpha.7'

6/ このリリースでのその他の変更：型チェックされたデプロイスクリプト（チェーンに到達する前にデプロイのバグを検出）、公開済みアーティファクトのより小さく厳選されたセット（探しやすさの向上）、差し押さえが単一のイベントとして出力されるように（オンチェーンで追跡しやすい）、そして Foundry 1.5.1 へのアップデートです。

7/ 完全な変更履歴：https://github.com/cartesi/rollups-contracts/releases/tag/v3.0.0-alpha.7

開発者の皆さん、Discord の Rollups チャンネルでこのリリースを見て、変更をテストし、ぜひフィードバックをお寄せください：https://discord.gg/cartesi

転載：https://x.com/cartesiproject/status/2087161705415811160

イーサリアムは安全性を保ちます。詐欺防止（フロードプルーフ）によって検証可能にします。カーテシは実現可能にします。

月曜日、これまで不可能だった部分を作っていこう。GM！

再投稿: https://x.com/cartesiproject/status/2086799493459230844

7月の幕を閉じるとともに、Cartesiはオープンの場で開発を続けました。

不正防御システムはPRTクレームのステージングによる安全性アップグレードを取り込み、開発ツールが再編され、メディア出演も継続し、そして私たちのペンギンはクアラルンプールからETHの誕生日へと旅立ちました。

→ https://cartesi.io/blog/ecosystem-updates-july-2026

Repost: https://x.com/cartesiproject/status/2085711559528157397

実際の計算資源（compute）が必要で、ガスを増やすだけでは済まないから諦めたDeFiのアイデアって何？

複雑なリスクモデル、ML駆動の戦略、オラクルに重く依存するロジック——EVMだと高コストになったり、ほぼ不可能だったりします。Linuxのランタイムなら違います。

あなたが諦めた（スクラップした）ものは何ですか。私たちはすでに動かしているかもしれません。

再投稿： https://x.com/cartesiproject/status/2084988310288826861