Zilliqa：Scilla编程课程

Zilliqa开发人员Arnav Vohra即将为Zilliqa和Scylla启动编程课程。

Scilla（智能合约中级语言）是在Zilliqa区块链上编写智能联系人的语言。

这是学者从头开始创建的一种经过同行评审的语言。

它被设计为一种考虑安全性的基本语言，并具有可扩展的静态分析框架和自动扫描程序，可帮助开发人员识别一般的安全漏洞。

除了静态类型检查之外，Scilla还为开发人员提供了更多的健全性检查器，以简化全面的测试。 还可以进行形式验证，以便可以编写数学证明来证明给定的合同满足某些安全性。

Zilliqa和Scilla的编程课程

编程课程将分为三个部分：

第一部分将包括三个视频，一个视频专门介绍该课程，第二个视频专门介绍该课程以及开发人员可以使用的资源（例如工具包），而第三个部分则是介绍Zilliqa和智能合约。以及Scylla语言。

第二部分将由七个视频组成，这些视频专门介绍通用概念，编写简单的测试智能合约，为众筹合约以及针对开发人员的建议（提示和技巧）。

第三个视频将包括两个视频，其中包括简介，编写测试合同和创建ZRC2钱包。

此外，还将向参加该课程的人员提供Scilla和Zilliqa商品的商品。

这些视频将简短而简单，以使希望开始使用该语言编写智能合约的任何人都可以访问该课程，并将在该项目的YouTube频道上发布。

届时，还将与The Crypto Merch合作组织Zilliqa商品赠品。

—-

原文链接：https://cryptonomist.ch/2020/10/01/zilliqa-corso-programmazione-scilla/

原文作者：Marco Cavicchioli

编译者/作者：wanbizu AI

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。