Компания Hashlock, известная в области безопасности Web3 и аудита смарт-контрактов, завершила аудит безопасности платформы Rank Trading, предназначенной для автоматической количественной торговли.
Сотрудничество Hashlock и Rank Trading
Команда Rank Trading объединилась с Hashlock для проведения аудита безопасности их смарт-контрактов RankFactory.sol, RankStrategy.sol и RankToken.sol. Hashlock вручную и проактивно проверила код, чтобы убедиться в безопасности развернутых контрактов для команды проекта и сообщества.
Процесс аудита и выявленные проблемы
Hashlock провела аудит кода на языке Solidity в проекте Rank Trading. Объем работ включал в себя всесторонний обзор смарт-контрактов с проверкой их безопасности и эффективности. Эти тесты были проведены через ручной анализ и поддерживались программным тестированием. После завершения аудита команда Hashlock заключила, что смарт-контракты безопасны. Контракты придерживаются простой логики, имеют правильный и детализированный порядок. Используется ряд интерфейсов и список контрактов Open Zeppelin. Первоначально были выявлены значительные уязвимости, которые были устранены.
Заключительные результаты аудита
Все проблемы, выявленные во время автоматизированного и ручного анализа, были тщательно проверены, а применимые уязвимости представлены в разделе «Результаты аудита». Общий обзор безопасности представлен в раздельных проверках, а функциональность контрактов — в разделе «Предназначенные функции смарт-контрактов».
Аудит Hashlock укрепил безопасность Rank Trading, сделав их платформу более надежной для пользователей и инвесторов. Это подтверждает приверженность Rank Trading обеспечению безопасности и доверия своей аудитории.
