This article was first published on Zilliqa — Official Blog - Medium
I am delighted and honored to announce the launch of smart contracts on the Zilliqa platform. This signals a major step forward not just for Zilliqa, but for the blockchain infrastructure industry as a whole.
This launch enables developers to write and deploy smart contracts on the Zilliqa blockchain using our safe-by-design smart contract language Scilla. With sharding as our backbone, and talented engineers, entrepreneurs and visionaries on the frontlines, we have realised our vision of a better, easy-to-use and safe smart contract language.
Since the launch of our mainnet six months ago, we have been energised to keep pushing, keep developing and keep progressing. This will not change, and has been the larger vision as we saw through the culmination of the bootstrap phase, on-going token swap and changes to our engineering infrastructure and developer tools. Keeping the community in mind, we worked to build an ecosystem where everyone could benefit, and everyone would thrive.
Let me take this opportunity to tell you a bit about the core features of Zilliqa smart contracts:
- Amenable to formal verification: Scilla is designed with a balance between expressivity and tractability, hence enabling formal reasoning about contract behavior.
- Static analyzers suite: The language comes with a suite of static analyzers that check for potential bugs and issues in the contract. These are very helpful in detecting bugs in contracts before they go live.
- Clean separation: The language is designed in a way that different operational components of a contract such as computation and communication (with other contracts) are handled in a very clean manner hence eliminating any complex interleaving. This can prevent incidents like the DAO and the Parity hacks.
- Safe standard libraries: Scilla comes shipped with a suite of standard libraries such as a library that performs arithmetic operations in a safe manner and hence eliminating ...
To keep reading, please go to the original article at:
Zilliqa — Official Blog - Medium