DeFi AMM Sicherheit

Was macht DeFi AMM Sicherheit?

Kritische Schwachstellenmuster und gehärtete Implementierungen für Solidity AMM-Verträge, LP-Vaults und Swap-Funktionen.

Wann zu verwenden

• Beim Schreiben oder Prüfen eines Solidity AMM- oder Liquiditätspool-Vertrags
• Bei der Implementierung von Swap-, Einzahlungs-, Auszahlungs-, Mint- oder Burn-Flows, die Token-Bestände halten
• Beim Überprüfen eines Vertrags, der token.balanceOf(address(this)) in Share- oder Reserve-Mathematik verwendet
• Beim Hinzufügen von Gebühreneinstellern, Pausierern, Oracle-Updates oder anderen Admin-Funktionen zu einem DeFi-Protokoll

Wie es funktioniert

Verwenden Sie dies als Checkliste-plus-Musterbibliothek. Überprüfen Sie jeden Benutzer-Einstiegspunkt gegen die untenstehenden Kategorien und bevorzugen Sie die gehärteten Beispiele gegenüber handgerollten Varianten.

Ausführungssicherheit

Die Shell-Befehle in diesem Skill sind lokale Prüfbeispiele. Führen Sie sie nur in einem vertrauenswürdigen Checkout oder einer Wegwerf-Sandbox aus und fügen Sie keine nicht vertrauenswürdigen Vertragsnamen, Pfade, RPC-URLs, privaten Schlüssel oder vom Benutzer bereitgestellte Flags in Shell-Befehle ein. Fragen Sie, bevor Sie Tools installieren oder lange Fuzzing-/Static-Analysis-Jobs ausführen, die möglicherweise erhebliche lokale oder kostenpflichtige Ressourcen verbrauchen.

Fügen Sie niemals Geheimnisse, private Schlüssel, Seed-Phrasen, API-Token oder Anmeldeinformationen für das Mainnet in Befehlsbeispiele, Protokolle oder Berichte ein.

Beispiele

Reentrancy: CEI-Reihenfolge erzwingen

Verwundbar:

function withdraw(uint256 amount) external {
    require(balances[msg.sender] >= amount);
    token.transfer(msg.sender, amount);
    balances[msg.sender] -= amount;
}

Sicher:

import {ReentrancyGuard} from "@openzeppelin/contracts/utils/ReentrancyGuard.sol";
import {SafeERC20} from "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";

using SafeERC20 for IERC20;

function withdraw(uint256 amount) external nonReentrant {
    require(balances[msg.sender] >= amount, "Insufficient");
    balances[msg.sender] -= amount;
    token.safeTransfer(msg.sender, amount);
}

Schreiben Sie keinen eigenen Guard, wenn eine gehärtete Bibliothek existiert.

Spenden- oder Inflationsangriffe

Die direkte Verwendung von token.balanceOf(address(this)) für die Share-Mathematik ermöglicht es Angreifern, den Nenner zu manipulieren, indem sie Token außerhalb des vorgesehenen Pfades an den Vertrag senden.

// Verwundbar
function deposit(uint256 assets) external returns (uint256 shares) {
    shares = (assets * totalShares) / token.balanceOf(address(this));
}

// Sicher
uint256 private _totalAssets;

function deposit(uint256 assets) external nonReentrant returns (uint256 shares) {
    uint256 balBefore = token.balanceOf(address(this));
    token.safeTransferFrom(msg.sender, address(this), assets);
    uint256 received = token.balanceOf(address(this)) - balBefore;

    shares = totalShares == 0 ? received : (received * totalShares) / _totalAssets;
    _totalAssets += received;
    totalShares += shares;
}

Verfolgen Sie die interne Buchhaltung und messen Sie die tatsächlich erhaltenen Token.

Oracle-Manipulation

Spotpreise sind durch Flash-Darlehen manipulierbar. Bevorzugen Sie TWAP.

uint32[] memory secondsAgos = new uint32[](2);
secondsAgos[0] = 1800;
secondsAgos[1] = 0;
(int56[] memory tickCumulatives,) = IUniswapV3Pool(pool).observe(secondsAgos);
int24 twapTick = int24(
    (tickCumulatives[1] - tickCumulatives[0]) / int56(uint56(30 minutes))
);
uint160 sqrtPriceX96 = TickMath.getSqrtRatioAtTick(twapTick);

Slippage-Schutz

Jeder Swap-Pfad benötigt vom Aufrufer bereitgestellten Slippage und eine Frist.

function swap(
    uint256 amountIn,
    uint256 amountOutMin,
    uint256 deadline
) external returns (uint256 amountOut) {
    require(block.timestamp <= deadline, "Expired");
    amountOut = _calculateOut(amountIn);
    require(amountOut >= amountOutMin, "Slippage exceeded");
    _executeSwap(amountIn, amountOut);
}

Sichere Reserve-Mathematik

import {FullMath} from "@uniswap/v3-core/contracts/libraries/FullMath.sol";

uint256 result = FullMath.mulDiv(a, b, c);

Bei großer Reserve-Mathematik vermeiden Sie naive a * b / c, wenn Überlaufrisiko besteht.

Admin-Kontrollen

import {Ownable2Step} from "@openzeppelin/contracts/access/Ownable2Step.sol";

contract MyAMM is Ownable2Step {
    function setFee(uint256 fee) external onlyOwner { ... }
    function pause() external onlyOwner { ... }
}

Bevorzugen Sie explizite Annahme für die Eigentümerübertragung und gaten Sie jeden privilegierten Pfad.

Sicherheitscheckliste

• Reentrancy-exponierte Einstiegspunkte verwenden nonReentrant
• CEI-Reihenfolge wird eingehalten
• Share-Mathematik hängt nicht von rohem balanceOf(address(this)) ab
• ERC-20-Transfers verwenden SafeERC20
• Einzahlungen messen tatsächlich erhaltene Token
• Oracle-Lesevorgänge verwenden TWAP oder eine andere manipulationsresistente Quelle
• Swaps erfordern amountOutMin und deadline
• Überlauf-empfindliche Reserve-Mathematik verwendet sichere Primitive wie mulDiv
• Admin-Funktionen sind zugriffsgesteuert
• Notfall-Pause existiert und ist getestet
• Statische Analyse und Fuzzing werden vor der Produktion durchgeführt

Prüfwerkzeuge

pip install slither-analyzer
slither . --exclude-dependencies

echidna-test . --contract YourAMM --config echidna.yaml

forge test --fuzz-runs 10000