1 Level
11 Review
13 Karma
Review on Zilliqa by Quan Lieu
The language is being developed hand-in-hand with formalization of its…
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.
Coq is based on advanced dependently-typed theory and features a large set of mathematical libraries.
It has been successfully applied previously to implement certified (i.e., fully mechanically verified) compilers, concurrent and distributed applications, including blockchains among others.
Pros
- Zilliqa is the ideal platform to run dApps applications that require over-the-counter transactions. In addition to providing blockchain platforms, Zilliqa also offers dApps and worker applications. mine the following features: Utilizes a separate defragmentation platform called Sharding Use the new programming language called Scilla Stable settlement for miners with low variance Low transaction cost and compatibility with Ethash Make better use of the power by utilizing PoW only for identity settings Quantitative security for dApps users with varying budgets for security calculations Intelligent security contracts and model data streams
Cons
- Currently I have not seen any defects from the Zilliqa platform. If there is anything you can tell me about it.
