文件名称：scilla:Scilla - 智能合约中级语言
文件大小：2.88MB
文件格式：ZIP
更新时间：2024-08-24 17:03:13
ocaml smart-contracts blockchain verification zilliqa
Scilla：一种智能合约中级语言 介绍 Scilla 是智能合约中级语言的缩写，是为 Zilliqa 开发的中级智能合约语言。 Scilla 被设计为一种考虑到智能合约安全的原则性语言。 Scilla 在智能合约上强加了一种结构，通过直接在语言级别消除某些已知漏洞，使应用程序不易受到攻击。 此外，Scilla 的原则性结构将使应用程序本质上更安全，更易于进行形式验证。 Zilliqa - 运行 Scilla 合约的底层区块链平台，被设计为可扩展的。 它采用分片的思想来并行验证交易。 Zilliqa 有一个名为 Zilling 的内在代币，简称 ZIL，需要在 Zilliqa 上运行智能合约。 语言参考 可以在找到有关 Scilla、其功能和结构的综合文档 建筑 Scilla 如果您不想从源代码设置和构建 Scilla，请跳过本节以按照 opam 安装说明进行操作。 1. 克隆源代码