本系列文档翻译版权归FireStack团队所有，转载请注明来源。
Scilla是一种智能合约中级语言的简称，它是为Zilliqa而开发的。Scilla以智能合约的高安全性为设计理念。
Scilla在智能合约的基础上加入了一个新的架构，通过在语言层面针对性修复已知漏洞，使应用程序更不易受到攻击。此外，Scilla的基础架构将使应用程序本身更安全并且易于进行形式验证。
该语言的语法正逐步规范中，并将嵌进Coq proof assistant - 一种用于程序性能的机械化证明的最先进工具。Coq基于先进的依赖型理论，拥有大量的数学工具库。它先前已成功应用于实现认证（即完全机械验证）的编译器、并发和分布式应用程序、及区块链相关方面。
Zilliqa - 运行Scilla合约的底层区块链平台，旨在实现可扩展性。它采用分片的思想来验证并发交易。Zilliqa有一种名为Zilling的token ，简称ZIL。Zilliqa上运行智能合约需要消耗ZIL。
发展状况
Scilla正在积极研究和开发中，因此本文档中部分描述可能会发生变化。Scilla目前提供了一个二进制解释器，它已集成到两个Scilla指定的Web-IDE中。尝试Scilla对这两个IDE的功能进行了详细介绍。
请注意，Scilla尚未实现类型检查器，因此无法保证用Scilla编写的合约的类型安全性。
Resources
可以通过相关资源来了解Scilla和Zilliqa，如下：
-
Scilla
-
Zilliqa
目录
-
Scilla进阶
