Scilla
{.align-center
width="100px" height="100px"}
[Scilla]{.title-ref} (short for [Smart Contract Intermediate-Level LAnguage]{.title-ref}) is an intermediate-level smart contract language being developed for the Zilliqa blockchain. Scilla is designed as a principled language with smart contract safety in mind.
Scilla imposes a structure on smart contracts that will make applications less vulnerable to attacks by eliminating certain known vulnerabilities directly at the language-level. Furthermore, the principled structure of Scilla will make applications inherently more secure and amenable to formal verification.
The language is being developed hand-in-hand with formalization of its semantics and its embedding into the Coq proof assistant — a state-of-the art tool for mechanized proofs about properties of programs. Coq is based on advanced dependently-typed theory and features a large set of mathematical libraries. It has been successfully applied previously to implement certified (i.e., fully mechanically verified) compilers, concurrent and distributed applications, including blockchains among others.
[Zilliqa]{.title-ref} --- the underlying blockchain platform on which Scilla contracts are run --- has been designed to be scalable. It employs the idea of sharding to validate transactions in parallel. Zilliqa has an intrinsic token named [Zilling]{.title-ref} (ZIL for short) that are required to run smart contracts on Zilliqa.
Development Status
Scilla is under active research and development and hence parts of the
specification described in this document are subject to change. Scilla currently
comes with an interpreter binary that has been integrated into two
Scilla-specific web-based IDEs. trial-label
presents the features of the two IDEs.
Resources
There are several resources to learn about Scilla and Zilliqa. Some of these are given below:
Scilla
Zilliqa
- - The Zilliqa Design Story Piece by Piece: Part 1 (Network Sharding) - The Zilliqa Design Story Piece by Piece: Part 2 (Consensus Protocol) - The Zilliqa Design Story Piece by Piece: Part 3 (Making Consensus Efficient) - Technical Whitepaper - The Not-So-Short Zilliqa Technical FAQ
Contents
::: {.toctree maxdepth="3"} intro scilla-trial scilla-by-example scilla-in-depth stdlib scilla-tips-and-tricks scilla-checker interface contact :::