Coinbase представила инструмент для автоматического аудита смарт-контрактов Solidify — Bits Media

Создатель Николай Бондарчук Криптовалютная биржа Coinbase запустила решение Solidify, которое облегчит аудит смарт-контрактов на Эфириуме, написанных на языке программирования Solidity.

Инструмент был представлен инженером по сохранности блокчейнов Coinbase Питером Качергинским (Peter Kacherginsky) в статье в блоге компании. Ручной аудит смарт-контрактов очень трудоемок и долог, не считая того, часто спецы по сохранности пропускают ошибки и уязвимости. Решение Solidify обязано существенно убыстрить процесс аудита, также понизить количество пропущенных уязвимостей.

При всем этом Качергинский выделил, что для того, чтоб добавить токен на площадку, смарт-контракт проекта должен пройти аудит для понижения рисков клиентов. Потому Coinbase нуждалась в резвом, неопасном и надежном инструменте для проверки смарт-контрактов.

«Чтоб решить эту делему, мы разработали Solidify (заглавие переиначили из Solidity), чтоб прирастить скорость листинга новейших активов, но при всем этом не снижать требования по сохранности», ― пишет инженер по сохранности блокчейнов.

Solidify инспектирует смарт-контракты на 6 000 разных уязвимостей, что дозволяет стремительно оценить сохранность договора. Также инструмент обнаруживает потенциально небезопасные функции и недостаточно тестированные операции.

«Solidify оценивает опасности сохранности сотен смарт-контрактов. Это может проходить как вполне автоматом, так и с доборной ручной проверкой неповторимых функций. Решение употребляет огромную базу данных уязвимостей и движок сравнения с прототипом, что дозволяет накрепко выявлять индивидуальности и опасности смарт-контрактов, стандартизировать и оценивать их, давать варианты исправления уязвимостей и генерировать подробные отчеты», ― подчеркивается в статье.

В ноябре прошедшего года компания CertiK представила автоматический инструмент QuickScan для поиска уязвимостей в смарт-контрактах.

Источник

Author: Zero