Boxd היא חברת סטארט-אפ הולנדית שבונה תשתית ענן למפתחים ולסוכני כתיבת קוד מבוססי AI. ההימור שלה פשוט: עבודה של סוכן אינה משימה קצרה וחסרת זיכרון, ולכן היא זקוקה למחשב מרוחק ששומר את מצבו ואפשר להעתיק אותו גם כשהוא כבר רץ — במקום לקונטיינר זמני או סביבת sandbox שנזרקת בסוף המשימה.
4
8
לפי דיווחים, החברה גייסה 2 מיליון דולר בסבב פרה-סיד בהובלת BlueYard Capital. עם זאת, בפוסט המימון של Boxd עצמה מצוין סכום של 2 מיליון אירו; מדובר בפער מטבע בין המקורות, ולא בעדות לשני סבבי גיוס נפרדים.
4
12
מי השקיע ומי הקים את Boxd
BlueYard Capital הובילה את הסבב, בהשתתפות OVNI Capital, Antler, S20 ו-Script Capital, וכן משקיעי אנג'ל מ-General Intuition ומחברות טכנולוגיה נוספות.
4
את Boxd הקימו Michiel Voortman, Laurentiu Ciobanu ו-Hidde Kehrer.
3
4
לדברי החברה, הכסף מיועד להרחבת הצוות ולהמשך הפיתוח של מנוע הווירטואליזציה הייעודי שלה. בין היעדים המוצהרים: קיצור זמני האתחול והפיצול, פלטפורמת פיתוח בשירות עצמי ואפשרות לפריסה עצמית אצל הלקוח.
1
12
הבעיה: פיתוח תוכנה הוא עבודה עם מצב מצטבר
סוכן קוד לא רק מציע תיקון לקובץ. הוא עשוי להתקין תלויות, להפעיל שירותים ובדיקות, ליצור קבצי ביניים, ולהחזיק תהליכים פעילים בזמן שהוא בודק כמה כיווני פתרון. גם מפתחים נתקלים באותה בעיה כאשר הם משחזרים תקלה או בודקים ענפים שונים של אותו פרויקט.
בסביבה זמנית, חלק ניכר מההקשר הזה נבנה מחדש בכל חזרה לעבודה. Boxd מציעה במקום זאת מכונת ענן קבועה לכל מפתח או סוכן, וכן אפשרות ליצור ממנה עותקים עצמאיים כדי להתקדם בכמה כיוונים במקביל — בלי להתחיל בכל פעם מתמונת בסיס חדשה.
8
25
מהי בעצם מכונת Boxd?
Boxd מגדירה כל מכונה כ-microVM מבוסס KVM: מכונה וירטואלית של לינוקס עם ליבה, דיסק וזהות רשת משלה. זו אינה מכולה שחולקת את ליבת מערכת ההפעלה של המארח.
17
20
הקביעות היא מרכיב מרכזי: כלי הפיתוח, הקבצים והתהליכים שבאמצע העבודה נשארים זמינים גם לאחר הפסקה. הממשק העיקרי הוא SSH, ולכל מכונה יש זהות רשת וכתובת HTTPS.
19
26
שכפול חי: לא רק להעלות עוד image
בסביבה המבוססת על image, מכונה נוספת מתחילה מנקודת בסיס שמורה. מנגנון ה-live fork של Boxd נועד לעשות משהו אחר: להעתיק את מצבה של מכונה שכבר מבצעת עבודה.
לפי Boxd, fork כולל את הזיכרון והדיסק של מכונת המקור, וממשיך עם אותם קבצים, תהליכים ומצב ביצוע. לכן מכונת-בת יכולה להתחיל מאותה נקודה במשימה, ואז לנסות מימוש חלופי, מסלול בדיקות אחר או השערת ניפוי שגיאות שונה.
17
29
Boxd טוענת שהפיצולים מתבצעים באלפיות שנייה; סיקור הגיוס מתאר יכולת של פחות מ-100 אלפיות שנייה או פחות משנייה. אלו טענות של החברה ושל מקורות הסיקור, ולא מדדי ביצועים שאומתו באופן בלתי תלוי.
10
12
שכפול של מכונה פועלת גם יוצר בעיות זהות מעשיות: העותק עשוי לרשת את שם המארח של המקור ואת מאגר האנטרופיה שלו, וצריך לטפל בכך לפני שהוא פועל כמכונה נפרדת.
27
למה החברה מדגישה בידוד חומרתי
טיעון האבטחה העיקרי של Boxd נוגע לגבול הבידוד. קונטיינרים בדרך כלל חולקים את ליבת המארח, בעוד שלדברי החברה, למכונות ה-KVM שלה יש ליבה משלהן.
20 ליבת אורח נפרדת וגבול וירטואליזציה חומרתי עשויים לצמצם את ההשלכות של עומס עבודה שנפרץ, בהשוואה למודל קונטיינרים עם ליבה משותפת.
החברה גם מציגה במפורש את קוד האורח כקוד לא מהימן של משתמש אחר.
18 זו נקודה רלוונטית במיוחד לזרימות עבודה של סוכני AI, שעלולים להריץ קוד שנוצר אוטומטית, להתקין חבילות או לעבוד עם מאגרי קוד לא מוכרים.
העיצוב הממוקד של microVM נועד להימנע מערמת חומרה וירטואלית רחבה למטרות כלליות. עקרונית, צמצום מורכבותם של התקנים וירטואליים יכול להקטין את משטח התקיפה בין המארח לאורח, בלי לוותר על גבול ברמת מערכת ההפעלה. אבל בחומרים שסופקו אין ביקורת אבטחה או benchmark בלתי תלויים שמכמתים יתרון מול כל מכונה וירטואלית מסורתית, קונטיינר או sandbox. לכן יש לראות בכך היגיון ארכיטקטוני — לא פסק דין אוניברסלי על אבטחה.
על מה Boxd מהמרת
Boxd מהמרת שמחשוב קבוע, פיצול מהיר של מצב רץ ובידוד ברמת VM יהיו חשובים יותר ככל שצוותי תוכנה יעבירו לסוכני קוד משימות ארוכות ומקבילות יותר.
מבחינת צוותי פיתוח, היתרון המיועד ברור: במקום לבנות סביבת עבודה מחדש שוב ושוב, מפתח או סוכן יכולים להשאיר מכונת לינוקס פעילה, לשמור נקודת ביניים ולפתוח ענפים מבודדים של מצב שכבר רץ. האם הגישה תגבר על פלטפורמות פיתוח מבוססות קונטיינרים תלוי בעלות התפעולית, בביצועים, בתמיכת האקוסיסטם ובאימות אבטחה חיצוני — אך היא מכוונת למגבלה ממשית של סביבות זמניות עבור סוכנים.
8
17
20