What is Smart Contract Intermediate-Level Language (Scilla) (Zilliqa)?

Smart Contract Intermediate-Level Language, or Scilla, is a programming language that was developed specifically for Zilliqa. Focused on being amenable to smart contract security, Zilliqa developed Scilla to verify the security of smart contracts and decentralized applications (dApps) deployed on its blockchain protocol. Developers using Scilla can use mathematical proofs to verify that their smart contracts meet certain requirements. Scilla is a security-focused language built for smart contracts, and that was designed to fully utilize the scalability and sharding architecture of the Zilliqa network.