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