Certora
Certora, שנוסדה ב-2018 וממוקמת בתל אביב, מתמחה באבטחת חוזים חכמים באמצעות כלים לאימות פורמלי ובדיקות קוד. במאי 2022 גייסה 36 מיליון דולר בסבב B בהובלת Jump Crypto ו-Tiger Global. לאחרונה פתחה את Certora Prover כקוד פתוח למפתחים.
2018
הוקמה בשנת
Series B
שלב גיוס
$36,000,000
סך ההון שגויס
מוצרים
Certora Prover
כלי קוד פתוח לאימות פורמלי של חוזים חכמים, שבודק מתמטית כל מצב ותרחיש בקוד כדי לוודא נכונות מלאה.
עבור למוצרבדיקות אבטחה
בדיקות קוד מעמיקות שמשלבות סקירה ידנית עם אימות פורמלי לזיהוי חולשות והבטחת אמינות הקוד.
עבור למוצרפתרונות לארגונים
שירותי אבטחה מותאמים שכוללים ניתוח שוטף, כתיבת חוקים מותאמים אישית ותגובה לאירועים קריטיים.
עבור למוצרSafeguard
כלי ניטור בזמן אמת שבודק חוקים קריטיים בפרוטוקול ומתריע על בעיות אבטחה לפני שהן גורמות לנזק.
עבור למוצרGambit
כלי קוד פתוח ליצירת וריאציות בקוד Solidity לצורך זיהוי חולשות אפשריות באמצעות שינויים יזומים.
עבור למוצר
הצטרף לקהילתווב3 המובילה בישראל
עקבו אחרינו ברשתות החברתיות והצטרפו ל-Discord שלנו לקבלת עדכוני מחירים יומיים, חדשות קריפטו חמות, הזדמנויות עבודה ותובנות על התעשייה!
