Certora

Certora היא חברה פרטית העוסקת באבטחת חוזים חכמים (smart contracts) על גבי בלוקצ'יין. החברה פיתחה כלי לוורפיקציה פורמלית של קוד חוזים חכמים, במטרה לזהות פגיעויות ובאגים לפני פריסתם ברשת.

המוצר המרכזי של Certora הוא Certora Prover — כלי לוורפיקציה פורמלית אוטומטית של חוזים חכמים כתובים ב-Solidity (שפת התכנות העיקרית של רשת Ethereum). הכלי מאפשר למפתחי פרוטוקולי DeFi (מימון מבוזר) לכתוב מפרטים פורמליים (specifications) ולאמת מתמטית שהקוד עומד בהם. הלקוחות העיקריים הם צוותי פיתוח של פרוטוקולי DeFi גדולים כגון Aave, Compound ו-MakerDAO, שהשתמשו ב-Certora Prover לבדיקת קוד חוזיהם.

Certora Prover הוא הכלי הדגל של החברה. הוא פועל על בסיס לוגיקה של SMT solvers ומאפשר הגדרת כללים ומפרטים בשפה ייעודית בשם CVL (Certora Verification Language). בנוסף לכלי האוטומטי, החברה מציעה שירותי ביקורת ביטחונית (security audits) של חוזים חכמים.

Certora פועלת מישראל, ומרבית הצוות הטכני שלה ממוקם בה. המידע הפומבי המפורט על מספר העובדים, ערכי מימון ומיקום משרדים מדויק מוגבל.