1 Уровень
11 Отзывов
4 Карма
Отзыв о Zilliqa от Thanh Tran
Вы можете использовать онлайн-среду Scilla для доступа к вышеуказанному коду контракта (и другим…
Вы можете использовать онлайн-среду Scilla для доступа к вышеуказанному коду контракта (и другим) и попробовать его.
Scilla Interpreter IDE - это автономная среда для тестирования контрактов Scilla.
Он запускает интерпретатор Scilla в бэкэнде, но не подключен к какой-либо сети блокчейнов и, следовательно, не поддерживает какое-либо постоянное состояние и не знает параметров всей цепочки блоков, таких как текущий номер блока.
Плюсы
- Язык разрабатывается параллельно с формализацией его семантики и встраиванием в помощник доказательства Coq - современный инструмент для механизированных доказательств свойств программ. TTTTTT?
Минусы
- Он все еще находится в разработке: запуск основной сети должен был состояться в середине 2018 года, но теперь похоже, что он будет запущен не раньше сентября. Практически невозможно сказать, какую реальную ценность будет иметь Zilliqa, пока она не будет запущена. Только тогда мы узнаем, какие типы смарт-контрактов и dApps он может поддерживать и с какой скоростью.
