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