Разработчики блокчейн-проекта Zilliqa сообщили о запуске смарт-контрактов на основе языка Scilla в своей основной сети.

Смарт-контракты Zilliqa подлежат формальной проверке и снабжены набором статических анализаторов, помогающих выявлять потенциальные ошибки и баги.

Кроме того, язык Scilla позволяет обрабатывать различные операционные компоненты, такие как вычисления и связь с другими контрактами, «чистым способом», устраняя сложные чередования. По словам разработчиков, это поможет предотвратить такие инциденты, подобные взломам DAO и Parity.

Для решения проблемы масштабируемости Zilliqa использует технологию шардинга. В 2017 году разработчики заявляли, что обойдут Ethereum в 1 000 раз по скорости обработки транзакций.

«В 2017 году мы планировали создать первый в мире публичный блокчейн на основе шардинга, обеспечивающий превосходную безопасность, удобство использования и высокую производительность. Сегодня мы сделали это и теперь открыты для делового сотрудничества», — заявил главный научный сотрудник Zilliqa Амрит Кумар.
Сейчас криптовалюта ZIL находится на 44 месте в рейтинге CoinMarketCap с капитализацией $202,3 млн.

Напомним, в конце января состоялся официальный запуск основной сети Zilliqa. Тогда же представители проекта заявили о планах по запуску биржи для торговли токенизированными акциями Uber, Airbnb и SpaceX.