Review on Zilliqa by Thanh Tran

Name: Zilliqa
Item: Zilliqa
Rating: 4

September 18, 2018

You can use Scilla's Online IDE to access the above contract code (and others…

You can use Scilla's Online IDE to access the above contract code (and others) and try it out. 
Scilla Interpreter IDE is a standalone environment to test Scilla contracts. 
It runs a Scilla interpreter in the backend but is not connected to any blockchain network and hence does not maintain any persistent state and is not aware of blockchain-wide parameters such as the current block number.
﻿
﻿

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

It’s still being developed: The mainnet launch was supposed to be in the middle of 2018 but it now looks like it won’t be launched before September. It’s almost impossible to tell what kind of real-world value Zilliqa will have until it launches. Only then we will find out what kinds of smart contracts and dApps it can support and at what speeds.