Header banner
Revain logoHome Page
Trang Le photo
1 Level
11 Review
3 Karma

Review on Zilliqa by Trang Le

Revainrating 4 out of 5

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.

Similar reviews