Решения CertiK помогут повысить безопасность платформы Nebulas

Разработчики ориентированной на стимулирование развития экосистемы публичного блокчейна платформы Nebulas объявили о заключении соглашения с проектом CertiK, предоставляющим основу для математического подтверждения отсутствия багов и защищённости от хакерских атак смарт-контрактов. Об этом пишет NewsBTC.

CertiK предоставит инструмент для формальной верификации смарт-контрактов и децентрализованных приложений, разрабатываемых на базе блокчейна Nebulas, таким образом делая экосистему более надёжной и безопасной.

Чтобы процесс верификации был более масштабируемым, CertiK разбивает сложные задачи на элементы, используя многоуровневую систему. Такие элементы могут быть включены в отдельные транзакции и впоследствии проверены участниками системы децентрализованным образом.

Сертифицированные с помощью CertiK библиотеки децентрализованных приложений и IDE-плагины также позволят предпринимателям и программистам в реальном времени получать отчёты безопасности кода разрабатываемых ими децентрализованных приложений и смарт-контрактов на блокчейне Nebulas. Это в свою очередь поможет им экономить время, которое в противном случае пришлось бы потратить на устранение багов и верификацию безопасности и надёжности кода.

Фото: Sharaf Maksumov

Подписывайтесь на наш Telegram и будьте в курсе всех новостей!

Источник: ttrcoin.com

No votes yet.
Please wait…

Ответить

Ваш адрес email не будет опубликован. Обязательные поля помечены *

Этот сайт использует Akismet для борьбы со спамом. Узнайте, как обрабатываются ваши данные комментариев.