Back to Blog

Puffer Protocol:アクセス制御メカニズムの重要性とセキュリティ向上の手法

Code Auditing
February 8, 2024
6 min read

「Pufferは、Eigenlayer上に構築された分散型ネイティブ・リキッド・リステーキング・プロトコル(nLRP)です」。わずか数日で6億米ドルを超えるTVL(Total Value Locked)を集めています。プロトコルに対する悪意のある操作を防ぐためには、アクセス制御が重要なセキュリティ上の検討事項となります。

本ブログでは、Pufferプロトコルにおけるアクセス制御メカニズムの全体的なアーキテクチャと、その現在の設定についてレビューします。これは、コミュニティがプロトコルをより深く理解する助けとなるでしょう。なお、分析結果はイーサリアム上の現時点(ブロック 19177155、2024年2月7日 15:17:35 UTC)の状態に基づいています。

コントラクトアドレス

以下の表は、本ブログで使用しているスマートコントラクトの一覧です。

アドレス 実装コントラクト
PufferDepositor 0x4aa799c5dfc01ee7d79 0e3bf1a7c2257ce1dceff 0x7276925e42f9c4054af a2fad80fa79520c453d6a
PufferVault 0xD9A442856C234a39a81 a089C06451EBAa4306a72 0x39ca0a6438b6050ea2a c909ba65920c7451305c1
AccessManager 0x8c1686069474410E624 3425f4a10177a94EBEE11 -
TimeLock 0x3c28b7c7ba1a1f55c9c e66b263b33b204f2126ea -
Operation SafeWallet 0xC0896ab1A8cae8c2C1d 27d011eb955Cca955580d 0xd9db270c1b5e3bd161e 8c8503c55ceabee709552
Community SafeWallet 0x446d4d6b26815f9bA78 B5D454E303315D586Cb2a 0xd9db270c1b5e3bd161e 8c8503c55ceabee709552
Pausing SafeWallet 0x1ba8e3aA853F73ae809 3E26B7B8F2520c3620Df4 0xd9db270c1b5e3bd161e 8c8503c55ceabee709552

アーキテクチャ

プロトコル全体には、ユーザー資産に関連する主に2つのスマートコントラクトが含まれています。1つ目は PufferDepositor、2つ目は PufferVault です。

図1: PufferDepositorとPufferVaultの主な関係
図1: PufferDepositorとPufferVaultの主な関係

PufferDepositorの主な機能は、ユーザーの資産を受け入れ、それをPufferVaultに預け入れることです。ユーザーが預け入れた資産がstETHでない場合、プロトコルによって自動的にDEXでのスワップが実行されます。

PufferVaultは、ユーザー資産を保持するメインのコントラクトです。また、EigenLayerへの預け入れの入り口でもあります。プロトコル全体の主要なアクセス制御はこのスマートコントラクト内に実装されています。

アクセス制御メカニズム

アクセス制御全体は、OpenZeppelinのAccessManagerモジュールを活用して実装されています。AccessManager スマートコントラクトは、PufferDepositor および PufferVault コントラクトの権限を管理します。

AccessManagerは、異なるアドレスを含む異なる「ロール(役割)」を定義します。各ロールは、AccessManagedコントラクト(すなわちPufferDepositorとPufferVault)内の異なる関数を呼び出すように割り当てることができます。AccessManagerは、特定の関数の遅延実行をサポートしています。つまり、あるアドレスにロールを付与する際、そのロールを用いてそのアドレスから発行される操作を即時に実行するか、あるいは一定の時間を遅延させて実行するかを指定することができます。

現在のアクセス制御設定

とはいえ、アクセス制御の有効性は、その設定に依存します。私たちはこれまで、ACL(アクセス制御リスト)ルールの設定の不備がセキュリティ上の脆弱性につながった事例を数多く目撃してきました。

これに対処するため、私たちはPufferプロトコルの現在の設定をレビューし、以下に結果を提示します。なお、これらの結果はブロック19177155(2024年2月7日 15:17:35 UTC)時点の状態のみを反映していることに留意してください。

ロール

以下は、システム内の現在のロールとそれに関連付けられたアドレスの概要を示す表です。

ロールID このロールを持つアドレス 遅延実行 備考
0 TimeLock 0x3c28b7c7ba1a1f55c9ce66b263b33b204f2126ea なし ADMINロール
1 Operation SafeWallet 0xc0896ab1a8cae8c2c1d27d011eb955cca955580d あり(604,800秒=7日間) 対象コントラクト(PufferDepositorおよびPufferVault)のアップグレード
1 Community SafeWallet 0x446d4d6b26815f9ba78b5d454e303315d586cb2a なし 対象コントラクト(PufferDepositorおよびPufferVault)のアップグレード
22 Operation SafeWallet 0xc0896ab1a8cae8c2c1d27d011eb955cca955580d なし EigenLayerへの資産移動およびEigenLayerからの出金リクエストの開始

PufferVaultコントラクト内の関数を実行するには、異なる実行パスが存在します。1つのパスはTimeLockコントラクトを経由するものです(ADMINロールを持つ。図のパス1を参照)。もう1つのパスは、呼び出し元に割り当てられたロールを使用して、Vault内の関数を直接呼び出すものです。どちらの場合も、呼び出しは必ずAccessManagerを経由する必要があります。

図2: PufferVaultコントラクト内の関数を実行するための異なる実行パス
図2: PufferVaultコントラクト内の関数を実行するための異なる実行パス

タイプI: TimeLockコントラクトからの呼び出し

TimeLockコントラクトから関数を呼び出す際、割り当てられるロールはADMINであることに注意してください。この指定は、Vaultの観点から見ると、呼び出し元がADMINロールを持つTimeLockコントラクトであるために生じます。その結果、TimeLockコントラクトには追加の遅延実行メカニズムが組み込まれます。

  • Operation SafeWallet: このコンポーネントは、604,800秒(約7日間)の遅延後に、対象コントラクト内の関数を呼び出すことができます。
  • Community SafeWallet: このコンポーネントは、対象コントラクト内の関数を即時に呼び出す能力を持っています。また、Operation SafeWalletによって提出されたキュー内の保留中の実行をキャンセルする権限も所有しています。
  • Pausing SafeWallet: このコンポーネントは対象コントラクトの一時停止にのみ制限されており、他の関数を実行する権限はありません。

タイプII: Vaultコントラクトの直接呼び出し

次の方法は、Vaultコントラクト内の関数を直接呼び出すものです。各ロールに関連付けられたアドレスによって、どの関数を呼び出せるかはAccessManagerによって決定されることに注意してください。

ロールID 対象コントラクト 対象関数
1 PufferVault upgradeToAndCall(address,bytes)

0x4f1ef286

22 PufferVault depositToEigenLayer (0x008e0590)

initiateETHWithdrawalsFromLido (0x593961de)

initiateStETHWithdrawalFromEigenLayer (0x402064a7)

Operation SafeWalletとCommunity SafeWalletはどちらも、upgradeToAndCall関数を直接呼び出して、対象コントラクトをアップグレードする能力を持っています。重要な違いは時期です。Community SafeWalletはこの操作を遅延なく実行しますが、Operation SafeWalletには遅延が課されます。

さらに、Operation SafeWalletには、EigenLayerへの資産の転送および出金リクエストの開始を行う関数を即時実行する権限が備わっています。

更新情報 [2024年2月8日 10:02:59 UTC]

Operation SafeWalletをロール1から削除する操作がスケジュールされました。この操作はブロック1707940908以降に実行される予定であり、これには約7日間の遅延が伴います。これらのキューに入れられたトランザクションのシミュレーションは、BlockSec Phalconを使用して行われました。

図3: BlockSec Phalconにおけるキューに入れられたトランザクションのシミュレーション
図3: BlockSec Phalconにおけるキューに入れられたトランザクションのシミュレーション

更新情報 [2024年2月16日 20:10:23 UTC]:

図4: Etherscanの結果
図4: Etherscanの結果

Safe Walletの設定

Safe Walletの設定もプロトコルのセキュリティに影響を与えます。

ウォレット オーナー 閾値
0xC0896ab1A8cae8c2C1d 27d011eb955Cca955580d [0xb7d83623906AC3fa577F45B7D2b9D4BD26BC5d76] [0xD6475ce37d964d4816715FdafFEeAAf2958948bE] [0xD70aa9d7280E6FEe89B86f53c0B2A363478D5e94] [0xa5F84b556d5FD8959165Eff0324DCFEa164fA089] [0xf061f1FceFa32b3bbD5d18c5A623DB64bfBc107D] [0x206846dE1F372A9a603e672ba97A5238cC89aeAA] 3
0x446d4d6b26815f9bA78 B5D454E303315D586Cb2a [0xb7d83623906AC3fa577F45B7D2b9D4BD26BC5d76] [0x3B16821A5dBBFF86E4a88eA0621EC6be016cd79A] [0x648aA14e4424e0825A5cE739C8C68610e143FB79] [0x27c7CEd729280060577A68A54A94075D18614D19] [0xa9aE3B8FC1CBaAed74fE5889260f7cD743c50363] [0x161f479021044cB1C9e3DEF98aF945A8D972D3B2] 3
0x1ba8e3aA853F73ae809 3E26B7B8F2520c3620Df4 [0xb7d83623906AC3fa577F45B7D2b9D4BD26BC5d76] [0x3B16821A5dBBFF86E4a88eA0621EC6be016cd79A] [0x648aA14e4424e0825A5cE739C8C68610e143FB79] [0x27c7CEd729280060577A68A54A94075D18614D19] [0xa9aE3B8FC1CBaAed74fE5889260f7cD743c50363] [0x161f479021044cB1C9e3DEF98aF945A8D972D3B2] [0xD6475ce37d964d4816715FdafFEeAAf2958948bE] [0xD70aa9d7280E6FEe89B86f53c0B2A363478D5e94] [0xa5F84b556d5FD8959165Eff0324DCFEa164fA089] [0xf061f1FceFa32b3bbD5d18c5A623DB64bfBc107D] [0x206846dE1F372A9a603e672ba97A5238cC89aeAA] [0xaACA1eDbb656206Ce2a82Da7d7BD3e1Bb8138F22] 1

更新情報 [2024年2月8日 10:02:59 UTC]:

まとめ

本ブログ投稿では、Pufferプロトコルが採用しているセキュリティメカニズムについてレビューしました。全体として、権限システムの設計は包括的なものです。

コミュニティは、潜伏するリスクを積極的に監視する必要があります。

  • Community SafeWalletのオーナーの秘密鍵のセキュリティは極めて重要です。3つの秘密鍵が侵害されると、攻撃者がVaultをアップグレードできる可能性があります。
  • EigenLayerなど、依存しているプロトコルのセキュリティについても積極的に監視する必要があります。

Best Security Auditor for Web3

Validate design, code, and business logic before launch. Aligned with the highest industry security standards.

BlockSec Audit