Audit d’Architecture Pendle Finance : Séparation PT/YT, AMM de Rendement et Modélisation du Rate Risk

Synthèse Exécutive

Pendle Finance permet de scinder tout jeton générateur de rendement (syToken) en deux éléments distincts : le Principal Token (PT) qui offre un taux fixe garanti et le Yield Token (YT) qui capture la totalité du taux variable.
L'AMM de Pendle ajuste dynamiquement sa courbe d'échange au fur et à mesure que l'échéance (*maturity*) approche, éliminant la perte impermanente causée par la dépréciation temporelle du YT.
La TVL de Pendle dépasse les 6.5 milliards de dollars, s'imposant comme le standard de marché pour le négoce d'obligations à taux fixe et la spéculation sur les taux DeFi.

Pendle Governance & Smart Contract Verification ↗

1 — Problématique d’Architecture & Invariants Fondamentaux

+-------------------------------------------------------------------------+
|                  Pendle Yield Tokenization Architecture                 |
+-------------------------------------------------------------------------+
|  Underlying Yield Asset (e.g. stETH, eETH, sUSDE)                      |
|        |                                                                |
|        v                                                                |
|  [Standardized Yield Token (SY Contract)]                               |
|        |                                                                |
|        +---> [Principal Token (PT): Fixed Return at Maturity]           |
|        +---> [Yield Token (YT): Variable Yield Rights]                  |
|        |                                                                |
|        v                                                                |
|  [Pendle V3 AMM (Time-Decay Logarithmic Curve)]                         |
+-------------------------------------------------------------------------+

Évaluation de la Sécurité & de la Conception de Pendle Finance

Scores sur 10

Modèle Mathématique 9.7 / 10

Sécurité Contrats 9.4 / 10

Efficacité Capital 9.6 / 10

Liquidité Marché 9.1 / 10

Accessibilité UX 8.5 / 10

2 — Implémentation Logicielle et AMM à Décroissance Temporelle

TVL Globale Sécurisée

$6.5B +28.4%

Volume d'Échange 24h

$310M +15.2%

Nombre de Pools Actifs

48 Pools Multi-Chain

Part du Rendement Fixe

62% Préférence PT

PendleMarketV3.sol

solidity

1 function swapExactPtForYt(

2 address receiver,

3 uint256 market,

4 uint256 exactPtIn,

5 uint256 minYtOut

6 ) external returns (uint256 exactYtOut, uint256 rateFee) {

7 MarketState memory state = _readMarketState(market);

8 require(block.timestamp < state.expiry, "PENDLE_MARKET_EXPIRED");

🔍 Note Ligne 8 : Vérification stricte de la date d'échéance du pool de rendement.

10 (exactYtOut, rateFee) = MarketMath.calcSwapExactPtForYt(state, exactPtIn);

🔍 Note Ligne 10 : Calcul logarithmique de l'échange prenant en compte la valeur temps du YT.

11 require(exactYtOut >= minYtOut, "PENDLE_SLIPPAGE_TOO_HIGH");

13 _executeStateUpdate(market, state);

14 }

3 — Matrice de Risque et Résolution d’Audit

Matrice d'Évaluation des Risques et Vulnérabilités Pendle Finance

3 vecteurs identifiés

Risque de Dé-pegging des Sous-Jacents

Probabilité : Medium High

Une chute de valeur du jeton de restaking sous-jacent affecte simultanément le PT et le YT.

Glissement de Prix sur les YT

Probabilité : Medium Medium

La liquidité sur les YT diminue à l'approche de l'échéance, augmentant l'impact de prix.

Manipulation des Oracles de Rendement

Probabilité : Low Low

Utilisation de moyennes pondérées par le temps (TWAP) pour empêcher les attaques flash loan.

Low Statut : Fixed

Auditeur : WatchPug & Dedaub

AUDIT-PENDLE-01 : Validation des Formules de Dépréciation Temporelle

Audit mathématique formel de l'invariable logarithmique de l'AMM v3 garantissant l'absence de fuite de liquidité lors des rééquilibrages automatiques.

Consulter le rapport d'audit ↗

4 — Tableau Comparatif des Protocoles de Rendement Fixed-Income

Tableau Comparatif & Benchmark

Critère	Pendle Finance	Notional Finance	Element Finance	Term Finance
Modèle de Rendement	Tokenisation PT / YT	Prêt à taux fixe direct	Tokenisation Tranche PT	Enchères à terme L1
Efficacité AMM	Courbe Temporelle Log	Pool Compound Fx	Curve V2 Modifié	Orderbook Off-chain
Prise en Charge LST/LRT	Maximale (eETH, sUSDE...)	Restreinte (wETH, USDC)	Limitée (stETH)	Restreinte (USDC)
TVL Sécurisée	> $6.5B	< $100M	< $50M	< $150M

"En concentrant la liquidité autour du taux d'intérêt implicite attendu à l'échéance, l'AMM de Pendle offre une efficacité de capital jusqu'à 200 fois supérieure aux AMM à produit constant."

Pendle V3 Core Architecture Document — Par TN Lee et al. (Pendle Team) (2026)
Consulter le document ↗

5 — Bilan d’Ingénierie & Évaluation Critique

Évaluation Technique

Bilan de l'évaluation

Points Forts

• Tokenisation efficace dissociant le capital principal (PT) du rendement variable (YT)
• AMM spécialisé adaptant la courbe de concentration de liquidité au décompte du temps d'échéance
• Intégration fluide des pools de Restaking et RWA générateurs de flux d'intérêts

Axes d'Amélioration

• Complexité conceptuelle exigeant une maîtrise approfondie des taux d'intérêt implicites
• Dépendance directe envers la solvabilité des sous-jacents de rendement (LST, LRT, Aave)

Avertissement

Cet audit d'ingénierie est fourni à titre d'information et ne constitue pas un conseil financier.

PUBLICITÉ BITMEDIA ADS

Espace Publicitaire Réservé (in-article) Bitmedia Compliant Ad Unit