🛡️Güvenlik Denetimleri

Pangolin, bir Uniswap V2 protokol çatalı

Pangolin, Avalanche'daki en güvenli protokollerden biridir: Uniswap V2'den çatallanmıştır ve dağıtılan her yeni sözleşme Halborn tarafından denetlenir.

Denetimler ve Resmi Doğrulama

Uniswap V2 Denetim Raporu

8 Ocak - 30 Nisan 2020 tarihleri arasında altı mühendisten oluşan bir ekip, Uniswap merkezi olmayan ticaret protokolünün ikinci versiyonu için akıllı sözleşmelerin önemli bileşenlerini gözden geçirdi ve resmi olarak doğruladı.

Security | Uniswap

Denetimler

Halborn, kapsamlı sözleşmenin belirli alanlarının kapsamını geliştirmek için otomatik test teknikleri kullandı. Kullanılan araçlar arasında bir Solidity statik analiz çerçevesi olan Slither vardı. Halborn, repodaki tüm sözleşmeleri doğruladıktan ve bunları abi ve ikili formatlarında doğru şekilde derleyebildikten sonra. Bu araç, tüm kod tabanı genelinde sözleşmelerin API'lerinin geçersiz veya tutarsız kullanımını tespit etmek için Solidity değişkenleri arasındaki matematiksel ilişkileri statik olarak doğrulayabilir