Hızlı Al
- Certora, Tiger Global ve Galaxy Digital'in katılımıyla Jump Crypto liderliğindeki B Serisi turunda 36 milyon dolar topladı.
- İsrail merkezli şirket, blockchain akıllı sözleşmeleri için güvenlik analizi araçları sağlıyor.
Akıllı sözleşmeler için güvenlik analizi araçları sağlayan İsrail merkezli bir şirket olan Certora, Jump Crypto liderliğindeki B Serisi turda 36 milyon dolar topladığını duyurdu.
Salı günü yapılan açıklamaya göre, turda Tiger Global, Galaxy Digital ve Electric Capital, ACapital, Framework Ventures, Coinfund, Lemniscap, Coinbase ve VMware dahil olmak üzere mevcut Series A yatırımcılarının katılımı yer aldı.
Certora, akıllı sözleşme geliştiricilerinin, kod sonrası denetimleri dağıtmadan önce hataları algılamasını sağlar. Açıklamada, Aave, Balancer, Compound Finance, MakerDao, Sushi ve diğerleri dahil olmak üzere DeFi protokollerinin, bir kod denetimi tamamlandıktan sonra son bir kontrol noktası olarak piyasaya sürülmeden önce akıllı sözleşmelerini hatalardan korumak için Certora'yı kullandığı belirtildi.
ŞirketAviyonik yazılımlar gibi güvenlik açısından kritik programlar için kullanılanlara benzer tekniklerle merkezi olmayan finans (DeFi) projelerinde yaklaşık 50 milyar dolarlık güvence sağladığını söylüyor. Certora'nın teknolojisi, resmi doğrulama ve programlama dillerinde yirmi yıllık akademik araştırmalar sonucunda geliştirildi.
Saurabh Sharma, ortak ve yatırım başkanıKriptoyu Atla, şunları söyledi: "Dünya standartlarında uzmanlar tarafından desteklenen Certora, çok daha yüksek yeniden kullanılabilirlik ve ayrıntılı testler sunan bir dizi ölçeklenebilir ve sağlam ürün kullanmak için resmi doğrulamadan yararlanıyor."
Certora, Tel Aviv Üniversitesi bilgisayar bilimi başkanı ve Certora'nın arkasındaki teknolojiye güç veren araştırma alanı olan resmi doğrulamanın öncüsü Shmuel Sagiv tarafından yönetiliyor.
Certora'nın 65 kişilik ekibi, kapsamlı matematik ve güvenlik deneyimine sahiptir ve Cornell ve Washington Üniversitesi'nden öğretim görevlilerinin yanı sıra JPMorgan gibi geleneksel finans şirketlerinden güvenlik mühendislerini içerir.