Scilla是我们为Zilliqa开发的全新智能合约语言，其论文链接为：https://arxiv.org/pdf/1801.00687，它在设计过程中始终把智能合约的安全性放在重要位置，是一种原则语言（principled language）。
Scilla通过在智能合约上强加一种结构，直接在语言层面消除了某些已知漏洞，从而使在Zilliqa上运行的应用程序不易受到攻击。此外，Scilla的原则结构也将使应用程序在本质上更安全。
作者：Zilliqa爱好者中文社区
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。
