The developers of the blockchain project Zilliqa announced the launch of smart contracts based on the Scilla language in their core network.
In 2017, we envisioned creating the first ever- public blockchain based on sharding - one offering superior security, user-convenience and a high performance platform. Guess what Today, we've delivered on this. We are thrilled to declare smart contracts officially launched!!!
President and CSO, Zilliqa
Zilliqa smart contracts are subject to formal verification and are equipped with a set of static analyzers that help identify potential errors and bugs.
In addition, the Scilla language allows you to handle various operational components, such as computing and communication with other contracts, in a “clean way”, eliminating complex interlaces. According to the developers, this will help prevent such incidents like hacking DAO and Parity.
To solve the scalability problem, Zilliqa uses sharding technology. In 2017, the developers said they would bypass Ethereum 1,000 times the transaction processing speed.
At the end of January, the official launch of the main Zilliqa network took place. At the same time, representatives of the project announced plans to launch an exchange for the trade in tokenized shares of Uber, Airbnb and SpaceX.