Scilla is made for DeFi

Things you should know about Scilla

Scilla is short for smart contract intermediate-level language and has been designed specifically for the Zilliqa blockchain.



Scilla is a peer-reviewed smart contract language and supports the world's most advanced sharded protocol.

Fewer security risks

Scilla's static analysis framework and automated scanner allow developers to identify generic security vulnerabilities more easily.

Safer contracts

Scilla's strong type system makes it easier to write bug-free code.

Proof of mathematical safety

Scilla is inspired by functional programming languages such as OCaml, making it amenable to formal verification, i.e. automated mathematical proofs of safety properties.
Start coding with Scilla

Learn how to code smart contracts at your own pace.

Chapter 1
9 lessons
Chapter 2
9 lessons
Chapter 3
15 lessons
Start creating blockchain applications
Try Scilla on our Neo-savant web IDE
Why Scilla is the safest smart contract language
Hard to write bugs by accident
Guaranteed termination
Amenable to formal verification
Designed for safety
Making sense of Scilla
Why do we need a new smart contract language?

Amrit Kumar, Zilliqa’s president, explains why a new smart contract language is necessary to write securely on the blockchain.

Read More
Scilla vs Libra’s Move (beginner)

Understanding smart contracts can be challenging, so here we explain the difference between Move and Scilla for beginners.

Read More
Scilla vs Libra’s Move (advanced)

If you're already familiar with smart contracts, learn about Scilla and Move's implementations and how they differ from each other.

Read More
Scilla’s compiled backend

Discover how we are working on a compiled backend for Scilla that will lower smart contract processing times in the future.

Read More
Cashflow smart contract analyser

Explore Scilla’s analysis tool 'Cashflow Analyser' that detects and identifies the misappropriation of funds in smart contracts.

Read More
Introducing Scilla procedures

Find out how Scilla procedures allow developers to write reusable pieces of code.

Read More

Explore the Scilla documentation

Join the developer discussions