Cartesi Machine Emulator v0.21.0 のバージョンを、より深く理解してみましょう。今回のアップデートは内容が非常に充実しています。「検証ゲーム」（verification game）に関する新しいドキュメント、自分で詐欺証明（fraud proof）プロセスを実行するための CLI ツール、そして状態レイヤーの速度と永続性を高めるための基盤強化が含まれています。以下が詳細です：🧵↓
https://fxtwitter.com/cartesiproject/status/2089698617829597516
1/ ドキュメントは全面的に書き直され、シミュレータのコードリポジトリへ移行されました。分かりやすい手順で「検証ゲーム」を説明する章が新たに追加されています。Cartesi の詐欺証明の内部動作の仕組みを知りたい方は、こちらから始めてください：https://github.com/cartesi/machine-emulator/blob/v0.21.0/doc/README.md
2/ CLI は計算ハッシュ（computation hashes）を計算し、出力の Merkle ツリーを追跡できるようになり、さらに単一出力に対する証明および出力 Merkle ルートの証明も生成できるようになりました。これにより、コマンドラインだけで、詐欺証明プロセスの実行に必要な大部分の作業を直接行えます。
3/ NVRAM アドレス範囲機能により、アプリケーションは Linux の UIO ドライバを通じて、その状態を物理アドレス範囲へ直接メモリマップできます。状態は advance state（状態の進行）の間も永続化され、カーネルのページキャッシュ同期に伴うオーバーヘッドがないため、アプリケーションの状態が増え続けても書き込み速度は高効率のまま保たれます。
4/ ローリング格納マシン（Rolling stored machines）：CLI は、ディスク上に格納されたマシン状態を使って進行できるようになり、保存したスナップショットのクローンによってロールバック（revert）も可能になりました。これらはローカルで実行できるだけでなく、リモートサーバーに対しても行えます。これは、マシン全体の状態を常駐メモリに置きたくないアプリケーション向けの永続化状態ソリューションです。
5/ 状態進行メカニズムの強化：状態の進行ごとに、明確で証明可能な結果で完了するようになりました。つまり「受理」（accepted）、「却下」（rejected）、「停止」（halted）、「サイクル上限超過」（out of cycles）です。議論が「検証ゲーム」段階に入るとき、この点は極めて重要です。なぜなら、この段階では、各結果が観測できるだけでなく、必ず証明可能でなければならないからです。
6/ 開発者向けの注意：このバージョンには破壊的変更がいくつか含まれています。リネームされた公開ヘッダ、リファクタリングされたロールバックフラグ（revert flag）、アップグレードされた JSON-RPC プロトコルです。これらの変更はシミュレータのコア挙動は変えませんが、呼び出し側の一部コードを更新する必要があることを意味します。完全な詳細は更新ログをご確認ください。 7/ 今回のリリースにはさらに：新しい Lua 補助ツール（詐欺証明プロトコルのプロトタイプ構築に使うハッシュツリーライブラリを含む）、RISC-V Zcb 圧縮命令サポート（GCC 14 ビルドのカーネル向けに必要）、CLI の bash 自動補完機能、そしてより強力なスナップショットの永続性保証が含まれています。
8/ 完全なリリース詳細はこちら：https://github.com/cartesi/machine-emulator/releases/tag/v0.21.0
開発者の皆さん、これは皆さんのために用意されたアップデートです。新しい検証ゲーム（verification game）のドキュメントをぜひ深掘りし、CLI の証明ツールを試し、Discord で質問やフィードバックをしてください：https://discord.gg/cartesi
転載：https://x.com/cartesiproject/status/2089698617829597516
https://fxtwitter.com/cartesiproject/status/2089698617829597516
1/ ドキュメントは全面的に書き直され、シミュレータのコードリポジトリへ移行されました。分かりやすい手順で「検証ゲーム」を説明する章が新たに追加されています。Cartesi の詐欺証明の内部動作の仕組みを知りたい方は、こちらから始めてください：https://github.com/cartesi/machine-emulator/blob/v0.21.0/doc/README.md
2/ CLI は計算ハッシュ（computation hashes）を計算し、出力の Merkle ツリーを追跡できるようになり、さらに単一出力に対する証明および出力 Merkle ルートの証明も生成できるようになりました。これにより、コマンドラインだけで、詐欺証明プロセスの実行に必要な大部分の作業を直接行えます。
3/ NVRAM アドレス範囲機能により、アプリケーションは Linux の UIO ドライバを通じて、その状態を物理アドレス範囲へ直接メモリマップできます。状態は advance state（状態の進行）の間も永続化され、カーネルのページキャッシュ同期に伴うオーバーヘッドがないため、アプリケーションの状態が増え続けても書き込み速度は高効率のまま保たれます。
4/ ローリング格納マシン（Rolling stored machines）：CLI は、ディスク上に格納されたマシン状態を使って進行できるようになり、保存したスナップショットのクローンによってロールバック（revert）も可能になりました。これらはローカルで実行できるだけでなく、リモートサーバーに対しても行えます。これは、マシン全体の状態を常駐メモリに置きたくないアプリケーション向けの永続化状態ソリューションです。
5/ 状態進行メカニズムの強化：状態の進行ごとに、明確で証明可能な結果で完了するようになりました。つまり「受理」（accepted）、「却下」（rejected）、「停止」（halted）、「サイクル上限超過」（out of cycles）です。議論が「検証ゲーム」段階に入るとき、この点は極めて重要です。なぜなら、この段階では、各結果が観測できるだけでなく、必ず証明可能でなければならないからです。
6/ 開発者向けの注意：このバージョンには破壊的変更がいくつか含まれています。リネームされた公開ヘッダ、リファクタリングされたロールバックフラグ（revert flag）、アップグレードされた JSON-RPC プロトコルです。これらの変更はシミュレータのコア挙動は変えませんが、呼び出し側の一部コードを更新する必要があることを意味します。完全な詳細は更新ログをご確認ください。 7/ 今回のリリースにはさらに：新しい Lua 補助ツール（詐欺証明プロトコルのプロトタイプ構築に使うハッシュツリーライブラリを含む）、RISC-V Zcb 圧縮命令サポート（GCC 14 ビルドのカーネル向けに必要）、CLI の bash 自動補完機能、そしてより強力なスナップショットの永続性保証が含まれています。
8/ 完全なリリース詳細はこちら：https://github.com/cartesi/machine-emulator/releases/tag/v0.21.0
開発者の皆さん、これは皆さんのために用意されたアップデートです。新しい検証ゲーム（verification game）のドキュメントをぜひ深掘りし、CLI の証明ツールを試し、Discord で質問やフィードバックをしてください：https://discord.gg/cartesi
転載：https://x.com/cartesiproject/status/2089698617829597516