L2BEAT の新しいプロジェクト: @cartesiproject PRT ハニーポット。 ステージ 2 (主要な) ひねりを加えたアプリチェーン。⚫ これに陥る前に、再考してください: すべての資金を失うことになります。なぜでしょうか。👇

「ステージ2?すべての資金を失いますか?どうしてこんなことが可能なの?」素晴らしい質問: 段階は分散化を評価することを忘れないでください。これらは、オンチェーンで行う際に許可された仲介者を信頼する必要があるかどうかを教えてくれます。

しかし、このアプリチェーンには仲介者がおらず、ユーザーとして何もすることがありません。

この特定のAppchainでは、アクションはハニーポットへの寄付に限定されます。これは、その目的が Cartesi によって開発された新しい証明システムである Permissionless Refereed Tournaments (PRT) をテストすることであるためです。

アプリチェーンはイーサリアム上の報奨金エスクローとして機能し、セキュリティ研究者がPRT証明システムを破り、エスクローされた資金を盗むよう奨励することになっています。

イーサリアムのスマートコントラクトは不変でパーミッションレスで、入出金リクエスト用のInputBox、最小限のアプリロジックを定義するための「アプリケーション」コントラクト、そして最も重要なのはPRTプルーフシステムコントラクトで構成されています。

Cartesi は、Linux 仮想マシンのオンチェーンの実行を検証できるカスタム スタックを使用してこのプロジェクトを構築しました。PRT HoneypotアプリケーションはC ++で記述されており、CTSIの入金は受け入れるが、単一のハードコードされたアドレスによる出金のみを受け入れるように構成されています。

このシステムは完全にパーミッションレスであるため (誰でも状態ルートとデポジットを送信または異議を唱えることができ、すべてのコントラクトは不変です)、L1 にハードコードされた制約付きアプリケーション ロジックがあるため、Appchain ステージ 2 の指定があります。

ハニーポットのすべてのリスクロゼットの詳細: シーケンサーの障害 - セルフ シーケンス 🟢 ユーザーは、トランザクションをL1で送信することで、トランザクションをセルフシーケンスできます。特権演算子はありません。 状態の検証 - 不正証明 🟢 詐欺の証明により、チェーンを監視しているアクターは、状態が間違っていることを証明できます。インタラクティブプルーフ(INT)は、解決するために時間の経過とともに複数のトランザクションを必要とします。 データの可用性 - Onchain 🟢 証明構築に必要なすべてのデータは、イーサリアムL1で公開されています。 終了ウィンドウ - 該当⚫なし すべての預金は寄付と見なされるため、ユーザーは資金から出ることはできません。 提案者の失敗 - 自己提案 🟢 どなたでも提案者となり、L1ブリッジに新たなルーツを提案することができます。

私たちは人々にテストを勧め、証明システムを破ろうとしますが、ハニーポットには現在1175ドルしか含まれていません。 L2BEAT の Cartesi ハニーポットの詳細をご覧ください。