CertiK выпустило руководство для DeepSea , языка смарт-контрактов

7BF43EEC-58AA-403A-9B33-675A54754AEF

Фирма по обеспечению безопасности блокчейнов CertiK выпустила демонстрационное и языковое справочное руководство для своего умного языка программирования DeepSEA, ориентированного на смарт-контракты.

Демонстрационное руководство по компиляции и языку DeepSEA, выпущенное на этой неделе, призвано дать разработчикам всестороннее и практическое представление о дизайне языка.

DeepSEA – это интеллектуальный контрактный язык функционального программирования, который был первоначально создан в исследовательской лаборатории профессора Чжун Шао, заведующего кафедрой информатики в Йельском университете, и соучредителя Certik вместе с Ронхуи Гу, доцентом кафедры информатики в Колумбийском университете.

Первоначально разработанные для реализации системного программного обеспечения, разработчики DeepSEA позже переориентировались на использование в проверке и аудите интеллектуальных контрактов и протоколов блокчейна.

Они утверждают, что существующие языки не подходят для процедур проверки, необходимых для надлежащей защиты от высоких рисков, связанных с потенциальными уязвимостями смарт-контрактов.

Эти риски связаны с самовыполняющимся и неизменным характером умных контрактов. Профессор Гу в прошлом обосновывал DeepSEA, указывая на его более ранние реализации в критически важном оборудовании системы, такие как NASA Mars Rover.

Исследователи критиковали такие языки, как Solidity и Facebook’s Move, утверждая, что DeepSEA значительно более безопасен и пригоден для использования. Используя математические доказательства (формальная проверка), они утверждают, что это может гарантировать, что инфраструктура блокчейна «безошибочна и устойчива к хакерским атакам».

Его выпуск предшествует предстоящему запуску компании CertiK Chain Mainnet 1.0 весной 2020 года, после выхода бета-версии в ноябре прошлого года. Основная сеть полностью совместима с Ethereum, что позволяет без проблем выполнять существующие интеллектуальные контракты Solidity и с сетью Cosmos. Она предназначена для использования в нескольких приложениях, таких как децентрализованное финансирование и выплаты дивидендов.

Профессор Гу сказал, что разработчики планируют интегрировать DeepSEA с цепочкой CertiK в этом году.

Крупный южнокорейский криптовалютный обмен Coinone также сотрудничает с CertiK для аудита проектов и принятия превентивных мер против взлома кода.

podlesny
Оцените автора
Добавить комментарий