Akıllı sözleşmeli güvenlik firması Certora, Jump Crypto liderliğindeki bir B Serisi turunda geliştirmeyi finanse etmek ve kusur tespit teknolojisini yeni blok zincirlerine taşımak için 36 milyon dolar topladı.
CoinDesk’e sağlanan bir taslak blog gönderisine göre, turdaki diğer katılımcılar arasında Tiger Global, Galaxy Digital, Electric Capital, ACapital, Framework Ventures, CoinFund, Lemniscap, Coinbase ve VMware yer aldı.
Blockchain güvenlik ihlalleri bu yıl manşetlere çıktı ve bazıları dokuz haneli mali kayıplar yarattı. Bunlar arasında, blockchain köprüsü Wormhole için 326 milyon dolar ve popüler oyna-kazan oyunu Axie Infinity’nin arkasındaki altyapı olan Ronin Network için 625 milyon dolar yer alıyor.
Certora, geliştiricilerin kod dağıtılmadan önce güvenlik hatalarını algılamasına ve önlemesine yardımcı olmak için tasarlanmıştır. Firmanın Prover aracı, insan denetimlerini ve hata ödüllerini tamamlamayı amaçlamaktadır. Certora, şu anda merkezi olmayan finans (DeFi) varlıklarında 50 milyar dolar güvence altına aldığını söyledi. Ürün, herhangi bir kural ihlalini bulur ve görüntüler veya herhangi bir kural ihlali olmadığını resmi olarak kanıtlar.
Şirket, Tel Aviv Üniversitesi’nde bilgisayar bilimi başkanı ve bir likidite protokolündeki akıllı sözleşmeler gibi bir algoritmanın doğruluğunu kanıtlamak veya çürütmek için karmaşık matematik kullanan bir alan olan resmi doğrulamanın öncüsü Shmuel “Mooly” Sagiv tarafından yönetiliyor. .
Certora şu anda yalnızca Ethereum Sanal Makinesi (EVM) uyumlu blok zincirlerini yönetiyor. Bir sonraki odak, Solana’ya desteği genişletmek ve ardından Polkadot’a doğru daha fazla dallanmak.
Sagiv bir röportajda CoinDesk’e “Gelecek yıl yapmak istediğimiz tüm blok zincirlerini kapsamak” dedi.
Nasıl çalışır
Certora, akıllı sözleşmelerde değişmezlerin ihlallerini veya kırılmaması gereken kuralları tanımlar. Firmanın teknolojisi Aave, Compound, Balancer ve SushiSwap’ta hatalar tespit etti. Hataların çoğu, kod dağıtılmadan önce keşfedildi ve düzeltildi.
Örneğin, Certora, SushiSwap’ın Trident likidite havuzu sözleşmesinde kritik bir hatayı önledi. Trident’te, kullanıcılar havuzu oluşturmak için fon ekler ve ardından ödünç verme ve takas faaliyetleri için ücret alırlar. Ücretler, toplam likidite içindeki paylarıyla orantılıdır.
Bir likidite havuzunun çalışması için, havuz fonları olduğu sürece, birileri bu likiditeyi sağladığı için kullanıcı paylarının da olması gerektiğine dair teknik bir kural olmalıdır. Bu kuralın ihlali, havuzun hisselerinin değersiz olduğu veya fonların var olduğu ancak kullanıcılar tarafından talep edilemeyeceği anlamına gelir.
Trident durumunda, Certora Prover, bir saldırganın havuzun fonlarını boşaltmasına izin verebilecek bir kural ihlali buldu. Kod dağıtılmadan önce sorun tespit edildi ve düzeltildi.
Jump Crypto ortağı ve yatırım başkanı Saurabh Sharma yaptığı açıklamada, “Birinci sınıf 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” dedi.
Devamını oku: Ethereum Akıllı Sözleşmeleri Nasıl Çalışır?
Şimdi Bir Koltuk Kaydedin
BTC$30,474,60
%1,07
2.092,72 ETH$
%1,95
XRP$0,432552
%2.84
SOL$56.58
%3.84
CRO$0.200193
%5,22
Tüm Fiyatları Görüntüle
Size en büyük kripto haberlerini ve fikirlerini getiren günlük bültenimiz The Node’a kaydolun.
