Блокчейн-компания CertiK, специализирующаяся на кибербезопасности, выпустила демо-версию и справочное руководство для своего языка программирования смарт-контрактов DeepSEA. CertiK и связанные с ней проекты научных исследований и разработок ранее получали финансирование от Binance Labs, Ethereum Foundation и Qtum. Демо-версия, компилятор и справочное руководство по языку DeepSEA, выпущенные на этой неделе, призваны дать разработчикам всестороннее и практическое представление о DeepSEA. Функциональный язык программирования смарт-контрактов DeepSEA был создан в исследовательской лаборатории профессора Чжун Шао (Zhong Shao), заведующего кафедрой компьютерных наук в Йельском университете. Он основал CertiK вместе со старшим преподавателем компьютерных наук Колумбийского университета Ронхуи Гу (Ronghui Gu). DeepSEA, первоначально разработанный для внедрения в Новое сообщение Certik выпустила демо-версию собственного языка программирования смарт-контрактов появилось на КриптоВики.
JOIN
