Поделиться ВКонтакте Поделиться в Facebook Добавить в Twitter Поделиться в Однокласниках
150 150
15.03.2020

CertikКомпания CertiK, которая специализируется на верифицирующих технологиях в сфере кибербезопасности и защищенном обмене криптовалют онлайн, выпустила новый язык программирования DeepSEA. Язык доступен для разработчиков в демо-версии; также команда прилагает справочное руководство, которое поможет быстрее разобраться в управлении и написании умных контрактов. Руководство содержит в себе всю подробную информацию о языке DeepSEA и о том, как его использовать для достижения лучших результатов в разных областях. Помимо этого, CertiK прилагает компилятор, которым можно воспользоваться для запуска готовых смарт-контрактов.
По мнению разработчиков, ни один из существующих языков не подходит для создания безопасных и простых алгоритмов. DeepSEA не только упрощает процесс администрирования сложного кода, но и делает его более восприимчивым для программ. Хотя изначально он был разработан в качестве дополнения к программному обеспечению, позже его переделали для проведения аудитов умных контрактов и существующих блокчейн-протоколов. Необходимость в создании нового языка программирования также возникла вследствие отсутствия подходящих условий для реализации формальной проверки с должным уровнем безопасности от возможных рисков.

Поскольку умные контракты отличаются автовыполнением и невозможностью вносить изменения, DeepSEA был разработан непосредственно для обеспечения безошибочной работы контрактов, а также надежной защиты от хакерских атак. Новая блокчейн-инфраструктура будет доступна вместе с основной сетью CertiK Chain в первой половине 2020 года.
Компания CertiK и ее проекты, которые относятся к научным исследованиям и разработкам в сфере цифровых технологий и обмена криптовалют, неоднократно получала инвестиции от ведущих лабораторий и институтов блокчейна. Так, спонсором CertiK является Qtum – децентрализованная платформа для разработки приложений и смарт-контрактов, а также фонд Ethereum и Binance Labs. Основателем компании и непосредственным создателем синтаксиса DeepSEA является профессор Чжун Шао, который также преподает компьютерные науки в Йельском университете, расположенном в США.

Сейчас конфиденциальная сеть CertiK уже доступна для использования и отличается полной совместимостью с Ethereum. Это дает разработчикам возможность запускать в экосистеме уже существующие умные контракты, которые были написаны на другом языке программирования, например, на Solidity. Интеграция нового синтаксиса DeepSEA с блокчейном, по словам представителя компании, будет закончена уже совсем скоро.