Among the core features offered by Zilliqa’s smart contracts, Kumar listed that they are amenable to formal verification and come with a suite of static analyzers that help spot potential bugs and issues in contracts. Further, the Scilla language is designed to handle different operational components, such as computation and communication with other contracts, in a “clean manner,” eliminating complex interleaving.
