Конференция разработчиков Эфириума DevCon-3, день третий

[Tomcat_MkII]

 

Третий день конференции Devcon-3 начался обзором сооснователя Oaken Innovations Хадсона Джеймсона (Hudson Jameson) «Введение в язык программирования Solidity – 2017 год», с общим описанием разнообразных IDE и инструментов для разработки смарт-контрактов. Всего существуют 6 специализированных языков для смарт-контрактов, однако Serpent и Mutan уже не используются. Оставшиеся четыре:

• LLL, что может расшифровываться как «низкоуровневый язык» (Low Level Language), или «язык, похожий на lisp», (Lisp-Like Language)

• Viper – язык, пришедший на замену Serpent, его разрабатывает Виталик Бутерин.

• Bamboo – функциональный язык смарт-контрактов, явно отображающий изменения состояния и не допускающий ситуаций, подобных «повторному входу», ставшему причиной взлома TheDAO

• Наконец, тема обзора Solidity – высокоуровневый язык, схожий с JavaScript, в котором контракты аналогичны классам.

 

Джеймсон подробно провел слушателей по всем этапам разработки смарт-контракта от начала до компиляции в EVM, используя инструментарий Remix. Он выделил основную проблему так:

Написать контракт легко. Труднее убедиться в его безопасности.

Действительно, аудит смарт-контрактов занимает гораздо больше времени и стоит дороже, чем их написание – никто не забыл TheDAO.

 

Говоря о проблемах безопасности, Джеймсон вкратце остановился на ZoKrates – языке, который компилирует в Эфириум доказательства с нулевым разглашением из Z-Cash.

 

Тему Solidity продолжил разработчик Фонда Эфириума - доктор Кристиан Райтвисснер (Christian Reitwiessner) с презентацией Flexibility in Solidity (Игра слов: Flexibility – гибкость, а Solidity может быть буквально переведено как «твердость»). По его словам, первоначальной целью разработчиков было создание высокоуровневого языка с максимально быстрым выполнением команд. 

 

Эта цель достигнута и теперь пришло время сделать его более безопасным. Он рассказал о работе по реализации динамических данных (слайды с презентации) на Solidity: проект будет закончен к концу года. Кроме того, он обрадовал собравшихся сообщением, что готов перевод документации по Solidity на испанский язык, а в будущем появятся русский, китайский и немецкий переводы.

 

 

Читать полностью