Zilliqa官网文档中文版

本系列文档翻译版权归FireStack团队所有,转载请注明来源。

Scilla是一种智能合约中级语言的简称,它是为Zilliqa而开发的。Scilla以智能合约的高安全性为设计理念。

Scilla在智能合约的基础上加入了一个新的架构,通过在语言层面针对性修复已知漏洞,使应用程序更不易受到攻击。此外,Scilla的基础架构将使应用程序本身更安全并且易于进行形式验证。

该语言的语法正逐步规范中,并将嵌进Coq proof assistant - 一种用于程序性能的机械化证明的最先进工具。Coq基于先进的依赖型理论,拥有大量的数学工具库。它先前已成功应用于实现认证(即完全机械验证)的编译器、并发和分布式应用程序、及区块链相关方面。

Zilliqa - 运行Scilla合约的底层区块链平台,旨在实现可扩展性。它采用分片的思想来验证并发交易。Zilliqa有一种名为Zilling的token ,简称ZIL。Zilliqa上运行智能合约需要消耗ZIL。

发展状况

Scilla正在积极研究和开发中,因此本文档中部分描述可能会发生变化。Scilla目前提供了一个二进制解释器,它已集成到两个Scilla指定的Web-IDE中。尝试Scilla对这两个IDE的功能进行了详细介绍。

请注意,Scilla尚未实现类型检查器,因此无法保证用Scilla编写的合约的类型安全性。

Resources

可以通过相关资源来了解Scilla和Zilliqa,如下:

  • Scilla

    Scilla设计文档

    ScillaPPT

    Scilla语法

    Scilla设计构思:第1部分(为什么我们需要一种新语言?)

  • Zilliqa

    Zilliqa设计构思:第1部分(网络分片)

    Zilliqa设计构思:第2部分(共识机制)

    Zilliqa设计构思:第3部分(使共识更高效)

    技术白皮书

    Zilliqa技术常见问题

目录

  • 关于

  • Scilla设计原理

  • 尝试Scilla

  • Scilla入门

  • Scilla进阶

    • Scilla合约架构

    • 原生数据类型&操作

    • 代数数据类型

  • 编译器介绍

  • JSON-RPC

你可能感兴趣的:(Zilliqa官网文档中文版)