Review on Zilliqa by Trang 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

Scilla—an intermediatelevel language for verified smart contracts. Scilla provides a clean separation between the communication aspect of smart contracts on a blockchain, allowing for the rich interaction patterns, and a programming component, which enjoys principled semantics and is amenable to formal verification.

Cons

Storage Challenge -Due to a high throughput (thousands of TX per second), Gigabytes of data will be needed for storage. Zilliqa does transaction sharding, not state sharding, which essentially means each node has to store all the data. This is only possible with terabytes of storage available. The question is how Zilliqa manages to do it and if they can do it in such a way that does not negatively impact the high throughput ability of their blockchain.