CertiK провел третий и последний аудит безопасности PlotX

PlotX — это децентрализованный протокол прогнозирования, не связанный с хранением, который позволяет пользователям web3 прогнозировать будущую цену криптоактивов, используя рынки прогнозирования.

Это возможно благодаря инновационному способу, которым PlotX использует алгоритм автоматического создания рынка — алгоритм, который генерирует рынки, улаживает рынки и распределяет вознаграждения среди пользователей сети, причем все это автономно.

Пользователи получают постоянный опыт прогнозирования на ежечасных, дневных и еженедельных рынках цен на криптоактивы, такие как BTC, ETH, YFI и т. д. Кроме того, PlotX использует GovBlocks (также используемый в Nexus Mutual) для управления цепочкой.

Проверка кода и процесс аудита

Помимо других аспектов кодовой базы PlotX, команде CertiK Professional Services было поручено изучить собственный токен $ PLOT, а также тонкие смарт-контракты, связанные с операциями Vesting и Staking. Команда PS инициировала процесс, проведя системный анализ всей кодовой базы.

• Была проведена всесторонняя проверка с использованием методов динамического анализа, статического анализа и ручного анализа. В процессе аудита особое внимание уделяется следующим соображениям:
• Тестирование смарт-контрактов против распространенных и необычных векторов атак.
• Оценка кодовой базы для обеспечения соответствия текущим передовым практикам и отраслевым стандартам.
• Обеспечение соответствия логики контракта спецификациям и намерениям клиента.
• Перекрестная ссылка структуры и реализации контрактов на аналогичные смарт-контракты, созданные лидерами отрасли.
• Тщательный построчный ручной обзор всей кодовой базы.

«Предложение услуг прогнозирования в реальном времени на рынке криптографии — непростая задача. Поэтому команда PlotX уделяет чрезмерное внимание целостности и безопасности своей кодовой базы. Мы рады заключить, что токен $ PLOT среди других жизненно важных смарт-контрактов PlotX соответствует высоким стандартам безопасности. Мы рассчитываем на сотрудничество с PlotX в ближайшем будущем». — Иван Наср, руководитель отдела профессиональных услуг CertiK

О PlotX

PlotX, получивший название Uniswap of Prediction Markets, использует алгоритм автоматического создания рынка для создания, расчета рынков и распределения вознаграждений в блокчейне Ethereum без какого-либо контрагентского риска. Рынки ориентированы на криптопары, такие как BTC, ETH, YFI и т.д., и создаются автоматически с интервалами в 1 час, 1 день и 1 нед.

Более 2400 уникальных адресов сделали более 10 000 прогнозов на PlotX с момента запуска их альфа-версии в тестовой сети kovan.

О CertiK

CertiK — это технологическая компания по обеспечению безопасности блокчейнов, основанная профессорами компьютерных наук из Йельского и Колумбийского университетов, призванная доказать безопасность и правильность смарт-контрактов и протоколов блокчейнов.

Целью каждого аудита CertiK является применение различных подходов и методов обнаружения, начиная от ручного, статического и динамического анализа, чтобы гарантировать, что проект проверяется на предмет известных атак и потенциальных уязвимостей. CertiK использует команду опытных инженеров и аудиторов безопасности для применения методологий тестирования и проверок в проекте, что, в свою очередь, создает более безопасную и надежную программную систему.

CertiK обслужил более 100 клиентов с помощью высококачественных аудиторских и консультационных услуг, начиная от стейблкоинов, таких как BGBP Binance и Paxos Gold, до децентрализованных оракулов, таких как Band Protocol и Tellor.