CertiK

Почему мы решили пройти аудит от Certik? Компания CertiK, основанная в 2018 году профессорами Колумбийского и Йельского университетов, является первопроходцем в области безопасности блокчейнов, используя лучшие в своем классе технологии формальной проверки и искусственного интеллекта для защиты и мониторинга блокчейнов, смарт-контрактов и приложений Web3.

Преимущества CertiK:

• Проведено более 1800 аудитов по всем основным протоколам; пользуется доверием ведущих бирж, таких как Binance, OKEx и Huobi, как рекомендуемого поставщика аудита блокчейна и смарт-контрактов.

• Имеет безопасный язык программирования на собственном блокчейне. С его помощью пользователи могут создавать свои собственные смарт-контракты, проверенные на блокчейне CertiK с использованием DeepSEA.

• DeepSEA – компилятор и язык программирования, заслуживающий уважения благодаря своей безопасности.

• Собственный инструмент CertiK разработан совместно с исследователями из ведущих учебных заведений, таких как Колумбийский и Йельский университет. Цепочка инструментов может определять сложные корректирующие свойства смарт-контрактов, тем самым повышая безопасность сети и продуктов, интегрированных в нее.

• Имеет партнерство основных игроков блокчейна: Binance, Huobi и International Business Machines (IBM).

С итогами аудита MarsDAO от CertiK можно ознакомиться по ссылке: https://www.certik.com/projects/marsdao.