Партнерство NEO с CertiK повысит безопасность смарт-контрактов платформы


Published on 02 Aug. 2018
0000  2

NEO объединились с аудитором систем безопасности, CertiK, для того, чтобы предоставлять безопасные и свободные от багов смарт-контракты и проверку идентификации.

В своей публикации на Medium разработчики NEO пишут, что блокчейн-платформа NEO объединила силы с компанией аудита безопасности CertiK, чтобы реализовать свою "формальную систему проверки" для смарт-контрактов в экосистеме платформы.

Объем сделки представляется довольно обширным, поскольку конечным результатом будет сделанное на заказ решение со многими функциями. Кроме аудита смарт-контрактов, эксперты по безопасности будут проверять цифровые идентификаторы в блокчейне NEO.

Команда NEO указала на то, что большая часть вклада в их сеть поступает от отдельных кодеров и такая функциональность будет очень ценной. Добавление механизма предупреждения спама также должно быть приоритетным, учитывая недавнюю атаку спам-транзакций в их сети.

NEO - это высокоскоростная автономная публичная сеть, со все большим количеством разработчиков, которые строят на ней слои, этот дополнительный слой безопасности ускорит процветание экосистемы,

 - сказал менеджер по глобальной разработке Чжао Чен (Zhao Chen).

CertiK обеспечивает так называемую "формальную проверку» - метод проверки удобства использования любого предоставленного кода. При применении к блокчейн-трансферам это требует "основанного на слоях" подхода, чтобы разбить сложные задачи на меньшие. После чего система использует свой собственный реестр для запуска собственных проверок и штаммов сертификатов для кода клиентов. Некоторые из использованных технологий также были развернуты при создании CertiKOS, который также был назван устойчивой к хакерским атакам операционной системой

CertiK руководит команда ученых и ветеранов в сфере кибербезопасности, которая в том числе включает такие известные имена как профессор Шао Чжун (Prof. Shao Zhong), Томас Л. Кемпнер (Thomas L. Kempner), профессор и руководитель компьютерных наук в Йельском университете и профессор Гу Рунхуи (Prof. Gu Ronghui) с Колумбийского университета.


More news

Пользователи браузера Brave смогут вознаграждать понравившиеся посты в Twitter и Reddit с помощью токенов BAT


Эти тысячи часов, которые вы потратили, создавая остроумные мемы, вместо того, чтобы выполнять свою работу, наконец смогут заработать для вас больше, чем ретвиты и карма в Reddit.

10 Aug. 2018

Оборот криптовалютных пампов-дампов достиг $825 млн в первом полугодии 2018 года - отчет


Схемы криптовалютных пампов-дампов сгенерировали транзакций стоимостью более чем на $825 млн за первые шесть месяцев 2018 года, согласно исследованию Wall Street Journal, которое смогло выявить 175 таких схем, где был задействован 121 разный альткоин.

08 Aug. 2018

Sirin Labs выбирают Эфириум вместо IOTA, стоимость токена падает до самого низкого уровня за последние 9 месяцев


Сегодня цена IOTA демонстрирует наихудшие показатели после того, как появилась информация о том, что Sirin Labs переходит от IOTA к Эфириуму.

07 Aug. 2018