עיצוב מערכות הכרעת תוצאות לשווקי תחזיות

שגיאות בקביעת תוצאות בשוקי תחזיות עולות מיליונים. בפרויקט אחד, תצורה שגויה של אורקל הובילה להפסדים של 10 מיליון דולר ולתביעות משפטיות. במשך 5 שנים, בנינו 12 פתרונות שעיבדו יותר מ-50 מיליון דולר בהימורים, ופיתחנו ארכיטקטורה אמינה המשלבת Chainlink price feeds, UMA Optimistic Oracle, ו-Reality.eth עם חוזי שומר (guardian contracts). שוק תחזיות הוא בורסת הימורים מבוזרת על אירועים בעולם האמיתי, שבה אמון במנגנון קביעת התוצאות קובע את הצלחת השוק ואת אמון המשתמשים.

מנגנוני קביעת תוצאות עיקריים

הגנה מפני מניפולציות עם Chainlink

לאירועים אובייקטיביים, אנו משתמשים ב-Chainlink price feeds. קבלת המחיר אינה מספיקה—הוא חייב להיות עדכני במועד הפקיעה. להלן דוגמת חוזה עם הגנה מפני נתוני אורקל מיושנים ומניפולציות באמצעות flash loan.

contract PriceMarket {
    AggregatorV3Interface public priceOracle;
    uint256 public resolutionTimestamp;
    uint256 public targetPrice;
    bool public resolved;
    bool public outcomeYes;

    function resolve() external {
        require(block.timestamp >= resolutionTimestamp, "Too early");
        require(!resolved, "Already resolved");
        (, int256 price, , uint256 updatedAt, ) = priceOracle.latestRoundData();
        require(updatedAt >= resolutionTimestamp - 3600, "Oracle stale at resolution");
        require(updatedAt <= resolutionTimestamp + 3600, "Oracle updated too late");
        resolved = true;
        outcomeYes = uint256(price) >= targetPrice;
        emit MarketResolved(outcomeYes, uint256(price));
    }
}

בחירת המחיר אינה טריוויאלית. אנו משתמשים ב-TWAP על פני השעה האחרונה כדי למנוע מניפולציות באמצעות flash loan. אם האורקל לא עודכן במשך זמן רב, אנו מביאים ערכים היסטוריים דרך roundId.

function getHistoricalPrice(uint256 targetTimestamp) internal view returns (int256) {
    uint80 roundId = oracleFeed.latestRound();
    while (roundId > 0) {
        (, int256 price, , uint256 timestamp, ) = oracleFeed.getRoundData(roundId);
        if (timestamp <= targetTimestamp) {
            return price;
        }
        roundId--;
    }
    revert("No historical price found");
}

מדוע UMA Optimistic Oracle הוא התקן לשוקי תחזיות

UMA היא בחירה פופולרית (למשל, Polymarket). המנגנון הוא אופטימי: מציע מפקיד ערבות, חלון ערעור של שעתיים, ואם אין ערעור, התוצאה מתקבלת. כפי שמסמכי UMA מציינים: "Optimistic Oracle מאפשר בקשות מחיר ללא הרשאות עם בטחונות כגיבוי." 95% מהבקשות נפתרות ללא ערעורים, מה שהופך אותה לזולה ומהירה יותר מהצבעה מלאה. העמלה הממוצעת לבקשה היא 0.5% מהערבות—חיסכון של עד $50 בשווקים גדולים. יישמנו אינטגרציה עם contract PriceMarket { AggregatorV3Interface public priceOracle; uint256 public resolutionTimestamp; uint256 public targetPrice; bool public resolved; bool public outcomeYes; function resolve() external { require(block.timestamp >= resolutionTimestamp, "Too early"); require(!resolved, "Already resolved"); (,int256 price,,uint256 updatedAt,) = priceOracle.latestRoundData(); require(updatedAt >= resolutionTimestamp - 3600, "Oracle stale at resolution"); require(updatedAt <= resolutionTimestamp + 3600, "Oracle updated too late"); resolved = true; outcomeYes = uint256(price) >= targetPrice; emit MarketResolved(outcomeYes, uint256(price)); } } התומכת בכל השיטות הנדרשות.

interface IOptimisticOracle {
    function requestPrice(
        bytes32 identifier,
        uint256 timestamp,
        bytes memory ancillaryData,
        IERC20 currency,
        uint256 reward
    ) external returns (uint256 totalBond);

    function proposePrice(
        address requester,
        bytes32 identifier,
        uint256 timestamp,
        bytes memory ancillaryData,
        int256 proposedPrice
    ) external;

    function settleAndGetPrice(
        bytes32 identifier,
        uint256 timestamp,
        bytes memory ancillaryData
    ) external returns (int256 price);
}

מתי Reality.eth מוצדק יותר מ-UMA?

לתוצאות סובייקטיביות (למשל, "האם הפרויקט סיפק את התוצאות?"), אנו משתמשים במשחק הסלמה. כל אחד יכול לשאול שאלה ולהציע תשובה, ולערער עם ערבות מוכפלת. תשובה סופית דרך בוררות Kleros. רציונליות כלכלית מבטיחה אמת: ערעור על תשובה שקרית הוא רווחי עד שהערבות הופכת גבוהה מדי. Reality.eth זול יותר מ-UMA לשאלות פשוטות אך איטי יותר כאשר יש ערעורים רבים. חיסכון בגז באמצעות Reality.eth במקום UMA יכול להגיע ל-$0.50 לעסקה כאשר אין ערעורים.

חוזה שומר לתוצאות שנויות במחלוקת

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

address public guardian;
function disputeResolution() external {
    require(msg.sender == guardian, "Not guardian");
    require(block.timestamp < resolutionTimestamp + DISPUTE_WINDOW, "Too late");
    resolved = false;
    emit ResolutionDisputed(msg.sender, block.timestamp);
}

מה כלול

• מפרט מלא של סוגי אירועים ובחירת מנגנון קביעת תוצאות עם הערכת עלות גז.
• ארכיטקטורת חוזים חכמים ב-Solidity 0.8.x (Foundry), כולל בדיקות יחידה ואינטגרציה, fuzzing עם Echidna, כיסוי של 100%.
• תיעוד טכני לאינטגרציה, הוראות למפעילים, הדרכת צוות.
• מסירה עם קוד מקור, סקריפטים לפריסה, והגדרת ניטור (Tenderly, subgraph).
• תמיכה עם אחריות ל-3 חודשים לאחר הפריסה—תיקוני תקלות ושינויים.
• ביקורת מוסמכת עם מנתח סטטי Slither ואימות פורמלי להגנה מפני reentrancy ומניפולציות אורקל.

תהליך ולוח זמנים

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