April 23, 2020 Zilliqa launches full smart contract functionality, with formal verification features in development