Certora משיקה פלטפורמת בינה מלאכותית מאובטחת לפיתוח חוזים חכמים
פיתוח החוזים החכמים, אחד המרכיבים המרכזיים בעולם ה-Web3, עומד בפני שדרוג משמעותי עם השקת Certora AI Composer. הפלטפורמה החדשה, המשלבת בינה מלאכותית עם אימות פורמלי, נועדה להפוך את תהליך הקידוד למאובטח ומהיר יותר. השקת הפלטפורמה מבטיחה כי כל קטע קוד שנוצר יעמוד בכללי בטיחות מתמטיים, טרם הפעלתו.
בינה מלאכותית בתחום הקוד אינה חדשה, אך Certora AI Composer מציעה גישה ייחודית. בעוד כלים גנריים מתמקדים בעיקר במהירות ובנוחות, הפלטפורמה של Certora מדגישה את הבטיחות. באמצעות שילוב טכנולוגיית האימות הפורמלי של החברה, מפתחים יכולים לחקור רעיונות עיצוב בביטחון מלא, תוך ידיעה שהבטחת האבטחה נבדקת באופן מתמיד.
מולי סגיב, מייסד Certora, מסביר כי "להשתמש בבינה מלאכותית לא צריך אף פעם לבוא על חשבון הבטיחות". הוא מזמין את הקהילה לקחת חלק בעיצוב עתיד הקידוד האוטונומי הבטוח. גרסת האלפא של הפלטפורמה תהיה זמינה בקוד פתוח החל מה-4 בדצמבר, ומפתחים מוזמנים להתנסות, לספק משוב ולתרום לעיצוב סטנדרט חדש לפיתוח מונחה בינה מלאכותית מאומת.
בנוסף, החברה תקיים אירוע בשידור חי ב-4 בדצמבר תחת הכותרת "בינה מלאכותית פוגשת אימות". האירוע יציע תיאור מפורט על הפלטפורמה ויכולותיה בשיפור האבטחה. המשתתפים יוכלו להירשם לאירוע ולעקוב אחר עדכונים בטוויטר של Certora.
Certora היא חברה מהימנה בתחום האבטחה עבור צוותים מובילים ב-Web3. מאז נוסדה ב-2018, היא סייעה לפרוטוקולים מובילים כמו Lido, Aave ו-Uniswap להבטיח את שלמות מערכת החוזים החכמים שלהם. החברה ממשיכה להוביל בתחום עם פתרונות המשלבים חדשנות וטכנולוגיה מתקדמת.
השקת Certora AI Composer מסמנת צעד משמעותי קדימה בפיתוח טכנולוגיות מאובטחות בתחום ה-Web3. האם לדעתכם הפלטפורמה החדשה תצליח לשנות את חוקי המשחק בתחום? נשמח לשמוע את דעתכם בתגובות!