新しいケーススタディが公開:ラグーン+信頼できる層@LineaBuild @turtledotxyz@lagoon_finance統合された5つの主張を統合し、同期/非同期決済モード間でトークン化されたプライベートクレジット金庫を保護しています。 これが私たちが一緒に🧵築いたものだ
Phylax Systems
Phylax Systems2026年1月29日
@LineaBuildのCredible Layerを使った新しいdAppです! @turtledotxyzの@lagoon_finance金庫には現在、NAV操作、エポック決済攻撃、同期/非同期モード間の会計ドリフトを防ぐために5つのアサーションが稼働しています。 Lineaはこれらの主張を無効にする取引をすべて破棄し、ハッキングが起こる前に防いでいます。
ブログ全文はこちらからお読みください。
タートルは、ラグーンの金庫を通じて、2つのモードで運営されるプライベートクレジットへのトークン化されたアクセスを可能にします。 同期式:NAVが新鮮なときに即時入金 非同期:NAVの更新が必要な時代ベースの決済 デュアルモードアーキテクチャ=複雑な状態遷移。
クレディブルレイヤーはアサーション(主張)を導入します。これは無効な状態を定義し、ネットワークレベルでそれを防ぐ関数であり、ほぼ回避不可能にしています。 基本コンセプト: 主張:State → {true(安全)、false(ハック)} Lineaのシーケンサーによってトランザクション→ハック状態が拒否されました。
主張1:総資産会計の完全性 すべての決済業務における金庫の総資産(NAV)を監視します。 正確な期待差分を強制します:預金は保留資産によって総資産を増加させ、引き出し額ごとに償還が減少します。 支払い能力を維持します:すべての請求可能な償還≥金庫残高。
主張2:同期沈着モードの整合性 NAVの有効期限に基づき、同期モードと非同期モードの厳格な相互排他性を強制します。 isTotalAssetsValid() = trueの場合:syncDeposit() のみが機能します NAVの期限切れ:非同期(エポックベース)のみが機能します モードの混乱や裁定取引を防ぎます。
主張3:時代の決済順序と請求可能性 厳格な奇偶数順序によるエポックベースの決済システムを検証します。 強制:現在のエポック≥2 + 最後に確定したエポック、入金エポック=奇数、償還エポック=偶数。 未定の時代からの請求権をブロックする。
主張4:サイロバランスの一貫性 保留中の預金と償還を保持する不変のサイロ契約を追跡します。 検証:保留中の入金リクエストの合計≥サイロ資産残高 サイロシェア残高≥保留中の償還申請の合計 イベントベースの検証を使用しています。
主張5:NAVの妥当性と有効期限ライフサイクル 時間ベースのNAV有効期限制御モード切り替えを検証します。 強制:isTotalAssetsValid() はblock.timestamp < totalAssetsExpirationを一貫して返します。 同期入金期間中のNAV更新を妨げます。
大まかな概要は以下の通りです: ダウンタイムゼロ 契約変更はありません 再配備はありません 迅速な展開により、Turtleは初日から機関レベルのセキュリティを備えたLagoon v0.5.0 Vaultsを展開できました。
純粋なオンチェーンDeFiとの決定的な違いは、オフチェーンに展開されたプライベートクレジット資金は盗まれた場合回収できないことです。 RWAプロトコルでは予防は任意ではなく、唯一の防御手段です。
すべての主張は公開で検証可能です。 ユーザーは資金を保護する正確なルールを確認します。 開発者はSolidityでセキュリティロジックを簡単に監査できます。 透明性は、機関資本をチェーンに導入する自信を高めます。
DeFi統合のためのデュアルモードの柔軟性。制度資本のための決定論的セキュリティ。 タートルはRWAプロトコルが妥協なく両方を実現できることを示しています。
1.13K