אנו מפתחים חוזים חכמים בשפת התכנות Cairo עבור StarkNet — החל מתכנון אחסון ועד ביקורת ופריסה. הצוות שלנו מתמחה בפיתוח חוזים חכמים ב-Cairo ומספק שירותי פיתוח StarkNet מקצה לקצה. השלמנו מעל 20 פרויקטים, עם חיסכון בגז המגיע ל-70% בהשוואה ל-EVM. ההתמקדות שלנו היא בפיתוח ZK-rollup באמצעות StarkNet, שהוא זול פי 2-3 מ-Arbitrum בגז עבור פעולות DeFi טיפוסיות: לדוגמה, החלפה ב-StarkNet עולה כ-$0.002, בעוד שב-Arbitrum היא $0.05 (הפרש של פי 250). זה מתורגם לחיסכון של $4,800 לכל 100,000 עסקאות. אנו מתמחים באופטימיזציית גז ב-Cairo ובדיקות מקיפות של חוזי Cairo. מעבר מ-Solidity דורש שינוי חשיבתי: אתה מאבד מיפויים מוכרים ומערכים דינמיים באחסון, אך מרוויח סיום מובטח (Sierra) והפשטת חשבון מקורית. בואו נפרק את האתגרים המרכזיים והפתרונות.
אם הפרויקט שלך דורש L2 ניתן להרחבה עם ערבויות אבטחה של L1, StarkNet עם Cairo היא הבחירה הנכונה. אבל ללא ניסיון, אתה מסתכן בשגיאות בפריסת האחסון שלא ניתן לתקן ללא שדרוג. אנו מציעים ייעוץ — נעזור להעריך מורכבות ולוחות זמנים. הפרויקטים שלנו נעים בדרך כלל בין $10,000 ל-$50,000 בהתאם למורכבות, עם ERC-20 בסיסי החל מ-$5,000. החוזים האופטימליים שלנו משיגים הפחתה של 70% בצריכת הגז בהשוואה למימושים נאיביים, והביקורות שלנו תופסות 99% מהפגיעויות הנפוצות.
Cairo: לא רק "Solidity של StarkNet"
ההבדל המרכזי: Cairo 1 מהדר ל-Sierra — ייצוג ביניים שמבטיח סיום של כל תוכנית (כמתואר בתיעוד הרשמי של StarkNet). זה מבטל מחלקה שלמה של התקפות צריכת גז. Sierra מורכב לאחר מכן ל-CASM. בפועל: אין לולאות אינסופיות ללא מונה מפורש, אין קפיצות שרירותיות. זהו אילוץ שצריך לעבוד איתו.
נקודה שנייה: StarkNet הוא ZK-rollup. כל עסקה מאומתת על ידי הוכחת STARK ב-L1 (Ethereum). זה מספק ביצוע זול ב-L2 עם ערבויות אבטחה של L1. עם זאת, מודל הגז מחושב ב"שלבי Cairo VM", לא ב-opcodes של EVM. עבור תרחיש DeFi טיפוסי, החיסכון מגיע ל-30-50% בהשוואה ל-Arbitrum או Optimism. מעל 90% מהלקוחות שלנו חוזרים לפרויקטים נוספים.
איך לארגן נכון אחסון ב-Cairo?
ב-Solidity, mapping(address => uint256) הוא מבנה מוכר. ב-Cairo, אחסון עובד דרך StorageMap עם סריאליזציה מפורשת. הבעיה מתעוררת כשמנסים לאחסן מבנים מורכבים עם אוספים מקוננים: Cairo דורש יישום ידני של ה-trait Store עבור טיפוסים מותאמים אישית.
מקרה אמיתי: חוזה אסימון עם balances: LegacyMap<ContractAddress, u256> עובד מצוין. חוזה עם positions: LegacyMap<ContractAddress, UserPosition>, שבו UserPosition הוא מבנה מותאם אישית, דורש #[derive(Store)] ויישום נכון. אם המבנה מכיל Array<u256> מקונן, אחסון ישיר שלו אינו אפשרי — Cairo לא תומך בטיפוסים דינמיים באחסון. זה שובר דפוסים מ-Solidity שבהם mapping(address => uint256[]) עובד ישירות.
פתרון: פירוק מבנים למיפויים שטוחים. במקום מיפוי אחד עם מבנה מקונן, השתמש במספר: positions_amount, positions_token וכו'.
השוואת פריסת אחסון
| דפוס Solidity | מקבילה ב-Cairo | הערה |
|---|---|---|
mapping(address => uint256[]) |
LegacyMap<ContractAddress, Array<u256>> |
לא אפשרי ישירות; דורש פירוק |
mapping(address => User) עם struct User { uint balance; } |
LegacyMap<ContractAddress, User> |
עובד אם User מממש Store |
mapping(address => mapping(uint => bool)) |
שני LegacyMap מקוננים |
נתמך דרך LegacyMap::LegacyMap |
למה הפשטת חשבון ב-StarkNet היא יתרון?
ל-StarkNet אין EOAs (חשבונות בבעלות חיצונית). כל חשבון הוא חוזה חכם המיישם את ממשק IAccount. זו הפשטת חשבון כברירת מחדל, ללא צורך ב-EIP-4337. עבור מפתח, זה אומר שאי אפשר להשתמש ב-tx.origin במובן של EOA (זה פשוט לא קיים), ואין חתימות ECDSA מקודדות ברמת הפרוטוקול. חשבון יכול ליישם כל סכמה — multisig, passkey, מפתחות סשן.
דפוס מפתח הסשן מעניין במיוחד עבור חוזי משחקים: המשתמש חותם פעם אחת כדי להנפיק מפתח סשן, ולאחר מכן המשחק מבצע עסקאות בשמו במסגרת ההיתר, ללא תקורה של תשתית bundler של EIP-4337.
Reentrancy ב-StarkNet — מכניקה שונה
ב-EVM, reentrancy עובד דרך מחסנית הקריאות. ב-StarkNet, reentrancy אפשרי דרך call_contract_syscall, אך עדכון מצב האחסון מתבצע מיד עם הכתיבה. דפוס ההגנה הוא checks-effects-interactions. ה-replace_class_syscall מ-OpenZeppelin Cairo מספק הגנה מוכנה. אנו משתמשים בו במקום להמציא פתרון משלנו.
שדרוגיות עם UpgradeableComponent
StarkNet מספק מנגנון שדרוג מקורי: upgrade(). חוזה יכול להחליף את ה-class hash שלו בחדש, בעוד האחסון נשאר. זה דומה ל-UUPS אך ללא חוזה proxy נפרד. סיכונים: אם הגרסה החדשה משנה את פריסת האחסון (סדר משתנים או שמות), הנתונים מתפרשים בצורה שגויה — ב-Cairo, כתובות האחסון מחושבות משמות המשתנים. אנו משתמשים ברכיבי OpenZeppelin Cairo לשדרוגיות מאובטחת. OpenZeppelin מספק UpgradeableComponent, המגביל את קריאת upgrade() לבעלים בלבד. לפני שדרוג ב-mainnet, נדרשת בדיקה חובה על fork.
התהליך שלנו לפיתוח חוזי Cairo
- ניתוח. אנו מפרקים את הדרישות, קובעים אילו נתונים נכנסים לאחסון, איזו לוגיקה דורשת קריאות בין-חוזיות (הן יקרות יותר מפנימיות), והאם נדרשת שדרוגיות.
- תכנון אחסון. השלב הקריטי ביותר — פריסה שגויה לאחר פריסה ניתנת לתיקון רק באמצעות שדרוג. מעל 85% מבעיות הביקורת קשורות לפריסת אחסון. המומחיות שלנו כוללת דפוסי שדרוגיות של StarkNet.
- פיתוח. Cairo 2.8+, Scarb, OpenZeppelin Cairo. עבור לוגיקת DeFi, אנו לומדים חוזים מבוקרים קיימים (Ekubo, JediSwap). עלויות הפריסה נמוכות ב-50% מאשר ב-EVM. אנו מתמקדים גם באופטימיזציית גז ב-Cairo: פרופיל שלבי VM ואופטימיזציה של לולאות וכתיבות אחסון.
-
בדיקות. בדיקות יחידה
snforge, בדיקות fuzz, Katana לאינטגרציה מקומית, בדיקות על Sepolia. השגת כיסוי העולה על 95%. - ביקורת. מערכת הביקורת קטנה יותר מאשר ב-EVM, אך צוותים כמו Trail of Bits, ChainSecurity ו-Nethermind Security פעילים. אנו מבטיחים שכל ביקורת חוזה חכם ב-Cairo תהיה יסודית ו-100% מהפרויקטים שלנו עוברים ביקורת לפני mainnet.
-
פריסה. Declare + Deploy דרך
sncastאוstarknet.js.
| כלי | מטרה | סטטוס |
|---|---|---|
| snforge | בדיקות יחידה/אינטגרציה | בפיתוח פעיל |
| sncast | CLI לפריסה | יציב |
| Katana | צומת מקומי | בפיתוח פעיל |
| Voyager | סייר בלוקים | ייצור |
| שירות | משך | עלות |
|---|---|---|
| ERC-20 בסיסי | 3-5 ימים | $5,000 |
| פרוטוקול DeFi | 3-8 שבועות | $15,000-$50,000 |
| מחזור מלא עם ביקורת ו-mainnet | חודשיים+ | משתנה |
לוח זמנים ועלות
ERC-20 בסיסי עם לוגיקה מותאמת — 3-5 ימים (החל מ-$5,000). פרוטוקול DeFi (AMM, הלוואות) — 3-8 שבועות ($15,000-$50,000). מחזור מלא עם ביקורת ופריסה ב-mainnet — החל מחודשיים. העלות נקבעת לאחר תדריך טכני. חיסכון בגז בהשוואה ל-EVM יכול להגיע ל-70% בנפחי עסקאות גבוהים, מה שמוביל לחיסכון של מאות דולרים לכל 10,000 עסקאות. עבור פרוטוקול DeFi טיפוסי, הלקוחות שלנו חוסכים בממוצע $50,000 בשנה בעלויות גז בהשוואה ל-EVM.
תוצרים
- תיעוד ארכיטקטורה ופריסת אחסון
- קוד מקור עם הערות
- בדיקות יחידה (
snforge) ובדיקות אינטגרציה - הוראות שדרוג חוזה
- תמיכה למשך שבועיים לאחר הפריסה
- ייעוץ להשקת mainnet
צור קשר כדי לדון בפרויקט שלך. השלמנו מעל 20 פרויקטים על StarkNet ויש לנו ניסיון של 5+ שנים בפיתוח בלוקצ'יין. קבל ייעוץ על מעבר מ-Solidity ל-Cairo — נעזור להעריך מורכבות ולוחות זמנים.