Blockchain platform Zilliqa introduces Scilla, a language for formally verified smart contracts. Zilliqa, the public blockchain exploring sharding to increase transaction throughput, has also released Scilla, an intermediate-level language Click here to view full article