פיתוח Rollup מותאם אישית (Optimistic/ZK) - מהרעיון ל-Mainnet

אנו מפתחים פתרונות rollup מותאמים אישית המבוססים על OP Stack, Arbitrum Orbit או ZK Stack — מהקונספט ועד ל-mainnet. לקוחות נתקלים לא פעם בדילמה: באיזה מחסנית לבחור? Optimistic Rollup מציע תאימות מלאה ל-EVM ומורכבות נמוכה, אך סופיות העסקה ב-L1 אורכת עד 7 ימים בשל חלון הערעור. ZK Rollup מבטיח סופיות תוך דקות, אך יצירת ההוכחה דורשת אשכולות GPU ומכבידה על התקציב. הניסיון שלנו מראה שהבחירה הארכיטקטונית הנכונה חוסכת חודשי פיתוח ומאות אלפי דולרים.

לצוות שלנו ניסיון של 10+ שנים בפיתוח בלוקצ'יין והוא יישם למעלה מ-15 פרויקטי rollup עבור DeFi, גיימינג ותשתיות. אנו עוזרים לכם להחליט: מעריכים את העומס, דרישות האבטחה וה-DA, ומציעים את המחסנית האופטימלית. צרו קשר לייעוץ ראשוני — נבחן את הפרויקט שלכם.

באיזו מחסנית Rollup לבחור: Optimistic או ZK?

Optimistic Rollup מחשיב עסקאות כנכונות כברירת מחדל. אם מישהו סבור שעסקה היא הונאה, הוא מגיש הוכחת הונאה בתוך חלון הערעור (בדרך כלל 7 ימים). אם הוכחת ההונאה מתקבלת, העסקה מתהפכת, המאתגר מקבל פרס, והרצף (sequencer) מאבד את ההימור שלו.

ZK Rollup מפרסם הוכחת תקפות קריפטוגרפית יחד עם אצוות העסקאות. L1 מאמת את ההוכחה באמצעות חוזה חכם. אם ההוכחה עוברת, העסקאות מובטחות כנכונות ללא צורך באמון ברצף.

עבור רוב משימות ה-rollup הספציפיות ליישום, הבחירה היא OP Stack או Arbitrum Orbit. מחסנית ZK מוצדקת כאשר: נדרשת סופיות מהירה, קיימות דרישות פרטיות ספציפיות, או שה-rollup מיועד ללוגיקת ZK מותאמת אישית.

מה כלול בפיתוח Rollup במפתח פתוח (Turnkey)?

• ביקורת דרישות ובחירת מחסנית — ניתוח עומס, קביעת DA (calldata, EIP-4844 blobs, DA חיצוני), ורמת ביזור.
• ארכיטקטורה ועיצוב — סכמת אינטראקציה L1/L2, עיצוב גשר, בחירת רצף (מרוכז בהשקה עם מנגנון מילוט).
• פריסת Testnet — devnet מקומי באמצעות kurtosis, הגדרת RPC, explorer (Blockscout).
• פריסת חוזי L1 — הגדרת DisputeGameFactory, OptimismPortal, L1CrossDomainMessenger (עבור OP Stack) ואימותם.
• הגדרת תשתית L2 — רצף, batcher, proposer, ניטור (Grafana/Prometheus).
• שילוב גשר — מותאם אישית או סטנדרטי (ThirdWeb, Connext).
• אבטחה — ביקורת חוזים, הגדרת חלון מחלוקת, תוכנית bug bounty.
• השקת Mainnet — הגירה הדרגתית, ניטור, תיעוד למפעילים.

OP Stack: פריסת Optimistic Rollup

OP Stack היא מסגרת מ-Optimism ליצירת שרשראות L2/L3 משלכם (superchain). תיעוד OP Stack

כיצד לפרוס OP Stack Rollup ב-5 שלבים

1. התקינו kurtosis והקימו devnet מקומי.
2. צרו קובץ תצורה עם network_id ושירותים נוספים.
3. הריצו את ה-devnet ובדקו עסקאות בסיסיות.
4. פרסו חוזי L1 באמצעות forge script.
5. הקימו תשתית L2 וגשרים.

רכיבי OP Stack

L1 (Ethereum) ← → op-batcher (публикует tx данные в L1)
op-proposer (публикует state roots в L1)
L2: op-geth (modified geth, execution engine)
op-node (consensus/derivation layer, читает L1 данные)

דרישות לפיתוח/Testnet

L1 нода (или Sepolia RPC endpoint от Alchemy/Infura) L2 сервер: 8 CPU, 16 GB RAM, 500 GB SSD 

פריסת OP Stack באמצעות optimism-package

# Установка kurtosis (orchestration tool)
curl -s https://raw.githubusercontent.com/kurtosis-tech/kurtosis/main/install.sh | bash

# Запуск полного OP Stack локально
kurtosis run github.com/ethpandaops/optimism-package \
  --args-file local-config.yaml

תצורה L1 (Ethereum) ← → op-batcher (публикует tx данные в L1) op-proposer (публикует state roots в L1) L2: op-geth (modified geth, execution engine) op-node (consensus/derivation layer, читает L1 данные) :

---
optimism_package:
  chains:
    - participants:
        - el_type: op-geth
          cl_type: op-node
          network_params:
            network_id: "42069"
            seconds_per_slot: 2
          name: "my-rollup"
    additional_services:
      - blockscout # explorer
      - prometheus_grafana

פריסה לייצור: חוזי L1

git clone https://github.com/ethereum-optimism/optimism
cd optimism
pnpm install
pnpm build
export L1_RPC_URL="https://eth-sepolia.g.alchemy.com/v2/YOUR_KEY"
export PRIVATE_KEY="0x..."
cd packages/contracts-bedrock
forge script scripts/Deploy.s.sol:Deploy \
  --rpc-url $L1_RPC_URL \
  --private-key $PRIVATE_KEY \
  --broadcast \
  --verify

לאחר הפריסה, התיקייה L1 нода (или Sepolia RPC endpoint от Alchemy/Infura) L2 сервер: 8 CPU, 16 GB RAM, 500 GB SSD נשמרת עם כתובות החוזים — הן נדרשות לתצורת L2.

Arbitrum Orbit: חלופה ל-L2/L3

Arbitrum Orbit מאפשר יצירת שרשרת L2 (ביחס ל-Ethereum) או L3 (ביחס ל-Arbitrum One/Nova). הגדרה באמצעות # Установка kurtosis (orchestration tool) curl -s https://raw.githubusercontent.com/kurtosis-tech/kurtosis/main/install.sh | bash # Запуск полного OP Stack локально kurtosis run github.com/ethpandaops/optimism-package \ --args-file local-config.yaml (הגדרת chain ID, בעלים, validators). Orbit נותן בחירה: AnyTrust (זמינות נתונים דרך ועדת DAC, זול יותר) או Rollup (נתונים על L1, מאובטח יותר).

ZK Rollup: ZK Stack (zkSync)

עבור ZK rollup, משתמשים ב-ZK Stack מ-Matter Labs. אתחול באמצעות local-config.yaml CLI, לאחר מכן יצירת השרשרת ופריסת חוזי L1. במצב ייצור, נדרש prover אמיתי (Boojum) עם GPU (A100/H100).

מדוע ZK Rollup יקר יותר? עלות יצירת ההוכחה

עבור פריסת ZK rollup לייצור, הרכיב היקר ביותר הוא ה-prover. אפשרויות:

• אשכול prover עצמי — GPU: 1x NVIDIA A100 80GB → ~100–200 TPS; CPU: 64-core AMD EPYC → איטי פי 10–20.
• מיקור חיצוני של proving — Gevulot, Lagrange, Fermah (שוק הוכחות).
• מצב Validium — נתונים מחוץ לשרשרת ב-DAC, זול יותר אך פחות מאובטח.

עלות פיתוח rollup מותאם אישית תלויה במחסנית ובהיקף העבודה — צרו קשר להערכה מדויקת.

זמינות נתונים: בחירה בין Calldata, Blobs ו-DA חיצוני

Rollup חייב לפרסם נתוני עסקאות כך שכל אחד יוכל לחשב מחדש את המצב. אפשרויות:

• Ethereum calldata — אבטחה מקסימלית, היקר ביותר. לאחר EIP-4844 (blobs), זול פי 10–100.
• EIP-4844 Blobs — עם שדרוג Dencun, rollups מפרסמים נתונים כעסקאות blob. Blobs נשמרים למשך 18 ימים, בעלות נמוכה בסדר גודל מ-calldata.
• Celestia / EigenDA / Avail — שכבות DA חיצוניות. זולות אף יותר, אך דורשות אמון ברשת נפרדת.

עבור rollup חדש: שימוש ב-EIP-4844 blobs כ-DA מציע איזון אופטימלי בין עלות לאבטחה לשנים הקרובות.

רצף (Sequencer): ריכוזיות וצעדים לעבר ביזור

כל ה-rollups בייצור כיום כוללים רצף מרוכז — זהו פשרה ישרה למען ביצועים. המצב הנוכחי:

• Arbitrum — עובדים על BoLD (Bounded Liquidity Delay) לאימות ללא הרשאות.
• Optimism — Bedrock + הוכחות שגיאה (Cannon), מתקדמים לעבר רצף מבוזר.
• zkSync — רצף מרוכז, מפת דרכים ל-sequencing משותף.

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

שלבי פיתוח

ציר זמן ריאלי מהתחלה ועד mainnet בייצור: 2–4 חודשים עבור Optimistic (OP Stack/Orbit), 4–6+ חודשים עבור ZK עם הוכחות אמיתיות.

ניטור ואבטחה תפעולית

const l1Block = await l1Provider.getBlockNumber()
const latestBatch = await l2Bridge.latestBatchIndex()
// Если разрыв растёт — batcher не публикует данные
const pendingWithdrawals = await portal.pendingWithdrawals()
if (pendingWithdrawals > THRESHOLD) {
  alert('Withdrawal queue growing, check proposer')
}

עבור rollup בייצור, ניטור 24/7 עם התראות הוא חובה: מצב הרצף, פיגור batcher, בריאות proposer, יתרת הגשר, וחלון המחלוקת עבור Optimistic rollup.