区快洞察消息，新一代高吞吐量公链 Zilliqa 宣布正式在 Zilliqa 平台推出智能合约，成为首个建立在分片上的智能合约平台。Zilliqa 表示，基于 Zilliqa 平台的智能合约语言 Scilla 有以下特点：1、形式验证：可对合约行为进行形式验证；2、静态分析器套件：有助于在合约生效之前检测合约中的错误；3、清晰的分离：Scilla 语言的设计实现了合约中如计算和通讯等不同的操作组件以清晰的方式运行，从而减少复杂交错，防止 DAO 和 Parity 之类的事故发生；4、安全的标准库：Scilla 附带了一套标准库，无需依赖 OpenZeppelin 等外部库。客户使用智能合约可进行更有效、更直接、更可靠的交易与沟通。Zilliqa 于近期发布了三个新版本，将主网稳定在 4.6.1 版本上，并继续构建下一版本。2019 年，Zilliqa 推出了高吞吐量的公共平台并开发了一种安全的智能合约语言 Scilla，使交易成本相对其他公链有明显的下降。

来源链接