Review on Zilliqa by Thi Le

Name: Zilliqa
Item: Zilliqa
Rating: 4

September 18, 2018

Scilla short for Smart Contract Intermediate-Level LAnguage is an intermediate…

Scilla short for Smart Contract Intermediate-Level LAnguage is an intermediate-level smart contract language being developed for Zilliqa.
Scilla has been designed as a principled language with smart contract safety in mind.
﻿
﻿

Pros

The language is being developed hand-in-hand with formalization of its semantics and its embedding into the Coq proof assistant — a state-of-the art tool for mechanized proofs about properties of programs.

Cons

Mainnet Launch Although the Mainnet had been scheduled for release in the third quarter of 2018, the team at Zilliqa have pushed the launch to December this year or in January next year.