ניפוי באגים ובדיקות Solidity: הגדרת Foundry, Hardhat, Anvil

בעיה: בדיקות נכשלות, אין ביטחון

תארו לעצמכם: אתם פורסים חוזה ל-mainnet, אבל שעה לאחר מכן מגלים פרצת reentrancy. משתמשים איבדו כספים — המוניטין נפגם, הביקורת לא עזרה. כל שעת השבתה עולה $5,000, והנזקים מהתקפות reentrancy עולים על $100M. או מצב טיפוסי: מפתח חדש מבלה חצי יום בהתקנת תלויות והרצת הבדיקה הראשונה. ה-CI pipeline נכשל, אבל אף אחד לא יודע למה — הלוגים ריקים.

הצוות שלנו עם 5 שנות ניסיון בפיתוח blockchain הקים סביבות כאלה עבור 50+ פרויקטים, כולל פרוטוקולים עם TVL כולל > $1B. כתוצאה מכך, זמן הפריסה ירד ב-40%, ומספר הבאגים בייצור — ב-70%. זו לא רק ערכת כלים — זו ערובה ליציבות ושחזוריות.

איזה Framework לבחור למשימה?

לפרויקטים של Solidity, יש כיום שתי אפשרויות אמיתיות: Foundry ו-Hardhat. הם פותרים משימות שונות ולעיתים קרובות משמשים יחד. הבחירה תלויה במה אתם בודקים: לוגיקת חוזה או אינטגרציה עם frontend.

הסטנדרט שלנו: Foundry לבדיקות יחידה ו-fuzz, Hardhat לסקריפטי פריסה ואינטגרציה עם frontend. שתי התצורות מתקיימות יחד במאגר אחד — זה מאפשר כתיבת בדיקות ב-Solidity ופריסה דרך TypeScript.

כיצד מאורגן מבנה הפרויקט?

אנו משתמשים בהפרדה מודולרית: contracts/core, contracts/interfaces, test/unit, test/integration, test/invariant, script (Foundry), deploy (Hardhat) ו-fixtures. ארגון זה מאפשר להפריד בדיקות יחידה (ללא RPC) מבדיקות אינטגרציה (עם fork). בדיקות יחידה צריכות לרוץ בשניות, אינטגרציה רק במיזוג ל-main.

הקמת רשת מקומית, Mocks ו-Fixtures

רשת מקומית: Anvil במקום Ganache

Anvil (כלול ב-Foundry) הוא צומת EVM מקומי על Rust. מהיר פי 10 מ-Ganache, מתוחזק באופן פעיל. לפיתוח, אנו מריצים אותו במצב fork מ-mainnet או testnet:

# Форк Ethereum mainnet с конкретным блоком (воспроизводимость)
anvil --fork-url $MAINNET_RPC --fork-block-number 19500000

# Форк с предопределёнными аккаунтами и балансами
anvil --fork-url $MAINNET_RPC --accounts 10 --balance 10000

בדיקות Fork הן הדרך היחידה לבדוק אינטגרציה עם Uniswap, Aave, Chainlink ללא פריסה ל-testnet. עסקה ב-fork מקומי היא מיידית. ב-Sepolia — 12-15 שניות. חיסכון בזמן לכל איטרציה: מ-15 שניות ל-0.1 שניות. השתמשו ב-Ethereum testnets כדי להכיר רשתות.

Mocks ו-Fixtures: בידוד ללא שבריריות

לבידוד בדיקות אנו משתמשים בירושת fixtures:

// BaseFixture.sol — общие зависимости
abstract contract BaseFixture is Test {
    MockERC20 token;
    MockChainlinkOracle oracle;

    function setUp() public virtual {
        token = new MockERC20("Test", "TST", 18);
        oracle = new MockChainlinkOracle(2000e8); // $2000 price
    }
}

// ProtocolFixture.sol — деплой тестируемого протокола
contract ProtocolFixture is BaseFixture {
    Protocol protocol;

    function setUp() public override {
        super.setUp();
        protocol = new Protocol(address(token), address(oracle));
    }
}

איננו משתמשים ב-# Форк Ethereum mainnet с конкретным блоком (воспроизводимость) anvil --fork-url $MAINNET_RPC --fork-block-number 19500000 # Форк с предопределёнными аккаунтами и балансами anvil --fork-url $MAINNET_RPC --accounts 10 --balance 10000 לתלויות ליבה — זה שביר ולא בודק ממשקים. אנו יוצרים חוזי mock מלאים עם מימוש מינימלי. גישה זו מפחיתה תוצאות חיוביות שגויות ב-30%.

התקנה שלב אחר שלב ו-CI/CD

name: Tests on: [push, pull_request] jobs: test: runs-on: ubuntu-latest steps: - uses: actions/checkout@v3 - name: Install Foundry uses: foundry-rs/foundry-toolchain@v1 - name: Run unit tests run: forge test --match-path "test/unit/*" -vvv - name: Run integration tests run: forge test --match-path "test/integration/*" --fork-url ${{ secrets.MAINNET_RPC }} - name: Coverage check run: forge coverage --min-line-coverage 80 

networks: {
  sepolia: {
    url: process.env.SEPOLIA_RPC,
    accounts: [process.env.DEPLOYER_KEY],
    chainId: 11155111,
  },
  polygon_amoy: {
    url: process.env.AMOY_RPC,
    accounts: [process.env.DEPLOYER_KEY],
    chainId: 80002,
  },
}