1 Уровень
11 Отзывов
7 Карма
Отзыв о Zilliqa от Thi Le
Scilla - сокращение от Smart Contract Intermediate-Level. LAnguage - это промежуточный…
Scilla - сокращение от Smart Contract Intermediate-Level. LAnguage - это язык смарт-контрактов промежуточного уровня, разрабатываемый для Zilliqa.
Scilla был разработан как принципиальный язык с учетом безопасности смарт-контрактов.
Плюсы
- Язык разрабатывается параллельно с формализацией его семантики и встраиванием в помощник доказательства Coq - современный инструмент для механизированных доказательств свойств программ.
Минусы
- Запуск основной сети Хотя основная сеть была запланирована к выпуску в третьем квартале 2018 года, команда Zilliqa перенесла запуск на декабрь этого года или январь следующего года.
