Проект Zilliqa запустив смарт-контракти на мові Scilla

Розробники криптовалютного проекту Zilliqa оголосили про запуск смарт-контрактів на своїй платформі.

Президент і головний науковий співробітник Zilliqa Амріт Кумар (Amrit Kumar) сказав, що проходження цієї віхи означає, що проект «розгорнув технологію, яку ми вирішили запровадити два роки тому, і тепер відкритий для повноцінної роботи». Тепер розробники зможуть створювати і розгортати смарт-контракти на блокчейне Zilliqa на функціональному мовою смарт-контрактів проекту Scilla.

«З цією розробкою ми реалізували наше бачення кращого мови смарт-контрактів, створеного з більш високими гарантіями безпеки на рівні мови», – заявив Кумар.

Сінгапурська криптовалютная платформа заявляє, що вирішила проблему масштабування блокчейна з допомогою шардинга. Команда проекту відзначала в своїй Білій книзі, випущеної в 2017 році, що «при нинішньому розмірі мережі Эфириума в 30 000 майнер, Zilliqa може гарантувати обробку приблизно в 1 000 разів більшої кількості транзакцій, ніж Эфириум».

За словами Кумара, за останні шість місяців Zilliqa пройшла і інші важливі етапи, запустивши свою мережу і почавши обробку транзакцій. Згідно з даними CoinMarketCap, ринкова капіталізація кріптовалюти Zilliqa (ZIL) у травні минулого року перевищила
$1 мільярд. До сьогоднішнього дня капіталізація зросла майже у два рази і становить $1.9 мільярда.

Серед основних функцій, пропонованих смарт-контрактами Zilliqa, Кумар зазначив те, що вони піддаються формальної верифікації і поставляються з набором статичних аналізаторів, які допомагають виявляти потенційні помилки та проблеми в контрактах. Крім того, мова Scilla призначений для обробки різних операційних компонентів, таких як обчислення і зв’язок з іншими контрактами, «чистим способом», усуваючи складні чергування.

«Це може запобігти такі інциденти, як крах DAO і зломи Parity», – сказав Кумар.

Scilla також поставляється з набором стандартних компонентів, таких як бібліотека, яка виконує арифметичні операції «безпечним чином», усуваючи необхідність покладатися на зовнішні бібліотеки.