1 Уровень
11 Отзывов
13 Карма
Отзыв о Zilliqa от Quan Lieu
Язык разрабатывается рука об руку с формализацией его…
Язык разрабатывается параллельно с формализацией его семантики и встраиванием в помощник доказательства Coq - современный инструмент для механизированных доказательств свойств программ.
Coq основан на продвинутой теории зависимых типов и включает большой набор математических библиотек.
Ранее он успешно применялся для реализации сертифицированных (т.е. полностью механически проверенных) компиляторов, параллельных и распределенных приложений, включая, среди прочего, блокчейны.
Плюсы
- Zilliqa - идеальная платформа для запуска приложений dApps, требующих внебиржевых транзакций. Помимо предоставления блокчейн-платформ, Zilliqa также предлагает dApps и рабочие приложения. Найдите следующие особенности: Использует отдельную платформу дефрагментации под названием Sharding Используйте новый язык программирования Scilla Стабильный расчет для майнеров с низкой дисперсией Низкие транзакционные издержки и совместимость с Ethash Более эффективное использование мощности за счет использования PoW только для идентификации настройки Количественная безопасность для пользователей dApps с различным бюджетом для расчетов безопасности Контракты интеллектуальной безопасности и модели потоков данных
Минусы
- На данный момент я не заметил каких-либо дефектов на платформе Zilliqa. Если есть что, вы можете мне об этом рассказать.
