0
102
views

CertiK

Старт Неизвестно
Окончание Неизвестно
  • Описание
  • Команда
  • Детали ICO
  • Bounty

CertiK — формальная верификационная платформа для смарт-контрактов и блокчейн-экосистем.

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

 

ТикерCTK
Тип токенаERC20
Всего токенов100,000,000
Не могут принять участиеCHINA, USA

Нет данных

Предыдущая статьяIoTBlock
Следующая статьяUrbit
ПОДЕЛИТЬСЯ

ОСТАВЬТЕ ОТВЕТ

Please enter your comment!
Please enter your name here