מערכת השהיית חוזה חכם לזיהוי חריגות

לאחר ניצול פרוטוקולי DeFi מתוקשרים, התברר: תגובה ידנית לאנומליות איטית מדי. השעיה אוטומטית של חוזה חכם היא הדרך היחידה לעצור דליפה תוך שניות. אבל היא לא חייבת לחסום פעולות לגיטימיות. המהנדסים שלנו, עם ניסיון של 5+ שנים ב-DeFi ו-15+ פרויקטים שהועברו, מציעים מערכת המשלבת גלאים על-רשת (on-chain) וניטור מחוץ לרשת (off-chain) עם דיוק של מעל 99.9%. החיסכון הממוצע ממניעת ניצול בודד עולה על מיליון דולר — אלה סטטיסטיקות עדכניות.

כיצד פועלת מערכת השעיית חוזה חכם על אנומליות

המטרה היא לבנות מערכת שמשהה את החוזה על אנומליות אמיתיות עם מינימום תוצאות חיוביות שגויות, ואינה הופכת בעצמה לווקטור התקפה. אנו משתמשים בשילוב של גלאים על-רשת וניטור מחוץ לרשת באמצעות OpenZeppelin Defender ו-Forta Network, מה שמבטיח אמינות ושקיפות. מחיר הטעות גבוה: נזק מניצול יכול להגיע ל-100 מיליון דולר.

כיצד להגדיר השעיה אוטומטית של חוזה חכם

OpenZeppelin Pausable הוא נקודת ההתחלה הסטנדרטית. קוד המקור נמצא ב-OpenZeppelin Contracts.

import "@openzeppelin/contracts/security/Pausable.sol"; import "@openzeppelin/contracts/access/AccessControl.sol"; contract ProtectedVault is Pausable, AccessControl { bytes32 public constant PAUSER_ROLE = keccak256("PAUSER_ROLE"); bytes32 public constant GUARDIAN_ROLE = keccak256("GUARDIAN_ROLE"); function pause() external onlyRole(GUARDIAN_ROLE) { _pause(); } function unpause() external onlyRole(DEFAULT_ADMIN_ROLE) { _unpause(); } function deposit(uint256 amount) external whenNotPaused { // ... } function withdraw(uint256 amount) external whenNotPaused { // ... } } 

נקודה מרכזית: תפקידים שונים להשהיה וביטול השהיה. שומר אוטומטי (guardian) עלול להיפגע או לטעות, אבל רק בני אדם דרך multisig/governance יכולים לבטל השהיה. האסימטריה הזו מכוונת.

אילו אנומליות אנו מזהים

אנומליית TVL ועסקאות גדולות — פיתוח מערכת ההשהיה

אם יותר מ-X% מה-TVL עוזב את החוזה בתוך N בלוקים — זהו אות. אנו גם מנטרים עסקאות בודדות החורגות מ-5% מה-TVL. במקום השהיה אוטומטית על אלה, אנו פולטים אירועים לניתוח מחוץ לרשת.

contract AnomalyDetector { uint256 public constant MAX_TVL_DROP_BPS = 1000; // 10% за период uint256 public constant MONITORING_WINDOW = 100; // блоков function checkTVLAnomaly(uint256 currentTVL) internal { // ... } modifier checkWithdrawAnomaly(uint256 amount) { uint256 tvl = totalAssets(); if (tvl > 0 && (amount * 10000 / tvl) > 500) { // 5% TVL emit LargeWithdrawal(msg.sender, amount, tvl); } _; } } 

זיהוי reentrancy על-רשת

השלמה ל-nonReentrant הסטנדרטי — כאשר מתגלה ניסיון reentrancy, החוזה מושהה, לא רק חוזר (revert).

uint256 private _callDepth; modifier noDeepCalls() { _callDepth++; if (_callDepth > 1) { _triggerPause("Reentrancy detected"); revert("Reentrancy"); } _; _callDepth--; } 

מדוע ניטור מחוץ לרשת יעיל יותר

גלאים על-רשת מוגבלים: הם רואים רק מה שקורה בעסקה הנוכחית. תבנית חזקה יותר היא ניטור מחוץ לרשת + עסקת השהיה עם הרשאות. אנו משתמשים ב-OpenZeppelin Defender ו-Forta Network — זה מקטין את זמן התגובה פי 5 בהשוואה לעל-רשת בלבד.

OpenZeppelin Defender

OZ Defender Sentinel + Autotask הוא המחסנית הסטנדרטית:

const { DefenderRelayProvider, DefenderRelaySigner } = require('@openzeppelin/defender-relay-client/lib/ethers'); exports.handler = async function(credentials) { const provider = new DefenderRelayProvider(credentials); const signer = new DefenderRelaySigner(provider, credentials, { speed: 'fast' }); const contract = new ethers.Contract(VAULT_ADDRESS, VAULT_ABI, signer); const tvl = await contract.totalAssets(); const threshold = await contract.pauseThreshold(); if (tvl < threshold) { const tx = await contract.pause(); await tx.wait(); } }; 

Forta Network

Forta היא רשת בוטים מבוזרת לזיהוי. התראות משולבות ב-Defender דרך webhook. להערכה מדויקת של התרחיש שלך, קבל ייעוץ מהמהנדסים שלנו.

כיצד פועל circuit breaker

תבנית גמישה יותר: לא השהיה מלאה, אלא circuit breaker — הגבלות פעולה זמניות כאשר מתרחשת אנומליה. הרעיון שאול מ-Circuit breaker design pattern.

contract CircuitBreaker { enum Status { Normal, Restricted, Paused } Status public status; uint256 public dailyWithdrawLimit; uint256 public dailyWithdrawn; uint256 public lastResetDay; function withdraw(uint256 amount) external { require(status != Status.Paused, "Paused"); if (status == Status.Restricted) { require(amount <= restrictedWithdrawLimit, "Exceeds restricted limit"); } // ... } } 

יתרון: כאשר חריגה מהמגבלה היומית, הפרוטוקול אינו מושהה — הוא פשוט דוחה עסקאות החורגות מהמגבלה. משתמשים יכולים להמשיך לפעול בהיקף רגיל. MakerDAO, Compound, Aave משתמשים במנגנונים דומים.

מדריך יישום שלב-אחר-שלב

1. ייבא Pausable ו-AccessControl לתוך החוזה שלך, הגדר תפקידי guardian ו-admin.
2. הוסף גלאים על-רשת: ירידת TVL, עסקאות גדולות, זיהוי reentrancy.
3. חבר ניטור מחוץ לרשת: הגדר Defender Sentinel על אירועי LargeWithdrawal וירידת TVL, צור Autotask להשהיה אוטומטית.
4. שלב את Forta Network: הגדר בוטים לזיהוי ו-webhook לקריאה להשהיה על אנומליות.
5. בדוק תרחישים: פעולה רגילה, תוצאות חיוביות שגויות, התקפות. השתמש באימות פורמלי ו-fuzzing.

מה כלול בעבודה

לוחות זמנים לפיתוח: מערכת בסיסית (Pausable + ניטור Defender) — 2-3 שבועות. מערכת מלאה עם circuit breaker, Forta ו-governance — 5-7 שבועות. אנו מבטיחים שקיפות בכל שלב.

כדי להגן על פרוטוקול ה-DeFi שלך, קבל ייעוץ — נעריך את הפרויקט שלך בחינם. צור קשר. הזמן פיתוח מערכת השהיה עבור החוזה שלך.