1 Level
6 Review
3 Karma
Review on Zilliqa by Bien Ca
Incidents with smart contracts over the last few years (such as the DAO and…
Incidents with smart contracts over the last few years (such as the DAO and Parity hacks) have shown that implemented operational semantics of smart contract languages often admit rather subtle behaviour that diverge from the intuitive understanding of the language in the minds of contract developers.
?In order to prevent such incidents to recur, it is required to have a safe-by-design smart contract language that is both expressive and tractable.
Pros
- Scilla aims to be a structured and principled smart contract language that is expressive enough to develop “interesting“ dapps while ensuring the safety of contracts and enabling formal reasoning about contract behavior.
Cons
- The longer that Zilliqa remains in development, the more chance there is that other platforms will catch up. For example, Ethereum is working on its scalability solution right now!
