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.
Last updated
Was this helpful?