今月初め、私たちは新しいバージョン「Dave 3.0.0-alpha.4」を公開しました。内部の仕組みを詳しく見ていきましょう。
まず、Dave が何かまだよく分からない、あるいは聞きにくいという方のために、簡単な概要を用意しました。↓🧵
1/ 私たちの詐欺証明システム――「無許可の仲裁トーナメント」（PRT）――は、単一の検証者を信頼することなく、誰でもオンチェーン上の不正な計算に異議を唱えられる仕組みです。
Optimistic Rollups のデフォルト計算は正しいため、争いのための猶予期間があります。そして、PRT はまさにその争いを解決するための仕組みです。
2/ 3.0.0-alpha.4 の新機能：PRT の決済が、これまでのものから「ステージング（staged）」と「承認（accepted）」の2段階に分かれました。これにより、結果が最終確定する前に誤りを見つけるための時間ウィンドウがネットワークに提供されます。
もし全ての番兵ノード（sentry）がステージング結果を承認すれば、このウィンドウは不要になり、最終確定をより速く実現できます。
3/ 試作ノードに名前がつきました：Sling。永続化ストレージとイベント追跡機能を備えています。
従来の PRT トーナメント用の仮想ビューは「型付きプロジェクション（typed projections）」に置き換えられました。これにより、状態を巻き戻す必要なく、現在の実際のフェーズを直接表示できます。
さらに、今回の更新には以下も含まれます：トーナメント勝者の報酬配分がより公平に、デプロイ用ファイルがプレーンテキスト形式に変更、Cartesi Machine と Rollups のコントラクト更新、より新しいバージョンの Foundry の採用、そしてテストカバレッジの強化。
4/ この取り組みに貢献してくれた皆さんに感謝します。完全な更新ログはこちら：https://github.com/cartesi/dave/releases/tag/v3.0.0-alpha.4
ご質問やフィードバックがあれば、ぜひ Discord でご参加ください：https://discord.gg/cartesi
リポスト：https://x.com/cartesiproject/status/2097309810396164306
まず、Dave が何かまだよく分からない、あるいは聞きにくいという方のために、簡単な概要を用意しました。↓🧵
1/ 私たちの詐欺証明システム――「無許可の仲裁トーナメント」（PRT）――は、単一の検証者を信頼することなく、誰でもオンチェーン上の不正な計算に異議を唱えられる仕組みです。
Optimistic Rollups のデフォルト計算は正しいため、争いのための猶予期間があります。そして、PRT はまさにその争いを解決するための仕組みです。
2/ 3.0.0-alpha.4 の新機能：PRT の決済が、これまでのものから「ステージング（staged）」と「承認（accepted）」の2段階に分かれました。これにより、結果が最終確定する前に誤りを見つけるための時間ウィンドウがネットワークに提供されます。
もし全ての番兵ノード（sentry）がステージング結果を承認すれば、このウィンドウは不要になり、最終確定をより速く実現できます。
3/ 試作ノードに名前がつきました：Sling。永続化ストレージとイベント追跡機能を備えています。
従来の PRT トーナメント用の仮想ビューは「型付きプロジェクション（typed projections）」に置き換えられました。これにより、状態を巻き戻す必要なく、現在の実際のフェーズを直接表示できます。
さらに、今回の更新には以下も含まれます：トーナメント勝者の報酬配分がより公平に、デプロイ用ファイルがプレーンテキスト形式に変更、Cartesi Machine と Rollups のコントラクト更新、より新しいバージョンの Foundry の採用、そしてテストカバレッジの強化。
4/ この取り組みに貢献してくれた皆さんに感謝します。完全な更新ログはこちら：https://github.com/cartesi/dave/releases/tag/v3.0.0-alpha.4
ご質問やフィードバックがあれば、ぜひ Discord でご参加ください：https://discord.gg/cartesi
リポスト：https://x.com/cartesiproject/status/2097309810396164306