Tarality, Solidity Akıllı Sözleşmelerinin kapsamlı bir kaynak kodu incelemesini gerçekleştirmek üzere Antier Solutions'ı görevlendirdi. Antier Solutions ekibi (rapor boyunca TAS olarak anılacaktır) denetimi 21 Eylül 2021 tarihinde gerçekleştirdi.
Aşağıdaki rapor, ciddiyet sorunlarını ve bunların değişiklik önerileri yoluyla düzeltilme kapsamını tartışmaktadır. Ayrıca başarıyla yürütülen faaliyetleri ve tamamen yeniden çalışılması gereken diğerlerini (varsa) vurgulamaktadır.
Rapor, kodlamada en iyi uygulamaları ve varsa güvenlik açıklarını vurgulamaktadır.
Bu rapordaki bilgiler, Akıllı Sözleşmenin genel kod kalitesini, güvenliğini ve doğruluğunu anlamak için kullanılmalıdır. Analiz statiktir ve tamamen Akıllı Sözleşme koduyla sınırlıdır.
Denetimde, token mekanizmasını uygulayan Akıllı Sözleşmenin kodunu inceledik.