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