Обзор ICO CertiK – платформа верификации для смарт‐контрактов

Оригинал: https://ruscoins.info/ico/certik/

CertiK – новая платформа, взявшая на себя ответственность решить проблемы безопасности. CertiK – сеть формальной верификации для «интеллектуальных контрактов» и блокчейна. Она будет задействована при строительстве полностью надежных и безопасных экосистем.

CertiK будет выполнять функции формальной проверки для строительства совершенно безопасных «умных контрактов» blockhain экосистем. CertiK должна математически доказывать, что блочная цепь не имеет ошибок.  Разработчики создали модульную верификацию, то есть, такой способ представляет собой разложение неподдающейся доказательству задачи на маленькие и точные, которые могут быть автоматически решены в децентрализованном виде. Эти объекты доказательства построены и кодируются в транзакциях архитектуры CertiK, а далее будут проходить проверку других участников.

Читайте далее на ruscoins.info →