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

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

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

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

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

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

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

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

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

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

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


Сучасні та економічні методи зведення будівель

Сучасні та економічні методи зведення будівель

У сучасному будівництві швидкість, економічність та універсальність є ключовими факторами при виборі технологій і матеріалів. Швидкомонтовані сталеві будівлі повністю відповідають цим вимогам, завдяки чому вони набувають великої популярності у різних сферах...

сегодня 10:39

Свежие новости Украины на сегодня и последние события в мире экономики и политики, культуры и спорта, технологий, здоровья, происшествий, авто и мото

Вверх