Наумов Лаб

Разработка смарт контрактов Zilliqa

Zilliqa

zilliqa

Zilliqa - блокчейн, который решает проблему скорости транзакций при этом сохраняя децентрализацию не в ущерб ей. Для устранения проблемы масштабируемости в Zilliqa используется шардинг где база данных информации и транзакций разбивается на небольшие, быстрые и простые в управлении шарды. Шардинг хранит все шарды на разных серверах. Децентрализация обеспечивается гибридыным алгоритмом консенсуса Proof-of-Work с консенсусом практической византийской отказоустойчивости (Practical Byzantine Fault Tolerance).

Для разработки смарт-контрактов в Zilliqa используются, собственный язык программирования Scilla который позволяет выполнять функциональное программирование более безопасным и стандартизованным. Язык Scilla накладывает структуру на смарт-контракты, которые делают их менее уязвимыми для атак, устраняя некоторые известные уязвимости непосредственно на уровне языка. Также структура Scilla делает приложения по своей природе более безопасными и поддающимися формальной проверке которая может предоставить статические гарантии смарт контрактам до того, как они будут развёрнуты в блокчейне. При разработке смарт-контрактов следует учесть что язык Scilla не является полным по Тьюрингу и не допускает использование условных операторов и определенных типов циклов.

Компания Наумов Лаб занимается разработкой смарт-контрактов для Zilliqa. Используйте страницу контакты для связи с нами.

Особенности:
Шардинг
Нет полноты по Тьюрингу
Языки программирования:
Scilla