Smart Contract Intermediate-Level
Language, kurz Scilla, ist eine Programmiersprache, die speziell für Zilliqa entwickelt wurde. Mit dem Ziel, die
Sicherheit von
Smart Contracts zu gewährleisten, hat Zilliqa Scilla entwickelt, um die
Sicherheit von
Smart Contracts und dezentralen Anwendungen (dApps) auf dem
Blockchain-
Protokoll zu überprüfen. Entwickler/innen, die Scilla verwenden, können mit mathematischen Beweisen überprüfen, ob ihre
Smart Contracts bestimmte Anforderungen erfüllen. Scilla ist eine sicherheitsorientierte Sprache für
Smart Contracts und wurde entwickelt, um die
Skalierbarkeit und die
Sharding-Architektur des Zilliqa-
Netzwerks voll auszunutzen.