SCILLA交互式系列教程(一)
区块链是什么?智能合约是什么?Scilla又是什么?从本篇文章开始,将与大家一起分享有关Scilla的前世今生,让我们通过Scilla进入Zilliqa的强大生态当中。
什么是区块链?
经过长达10多年的发展,相信大家对于区块链是什么已经不再那么陌生。这里再啰嗦几句,想要详细了解的可点击此处。
区块链是一种特定类型的数据库,它不由任何特定实体维护,你无法更改已经存储的数据,并且所有新数据会在完全透明和共识下一次性更新整个区块的条目和转账交易。 在公共区块链中,任何人都可以选择正确维护不断增长的数据库,并且通常会通过已建立的区块链协议的内部机制来激励这种行为。 这种激励措施通常采用数字货币的形式,其余额保存在区块链数据库中。
第一个使用区块链技术正确维护所有权数据库的数字货币就是比特币。
什么是智能合约?
数字货币比特币出现后,下一步是拥有一种可编程资产,这种资产可以根据预先确定的条件进行转移,而不受人为干预。
这些预先确定的条件集以及与这些条件集交互的方式以智能合约的形式结合在一起。
更简洁地说,用创造智能合约一词的尼克·萨博 (Nick Szabo) 的话来说,智能合约是一组以数字形式指定的承诺,包括各方在其中履行这些承诺的协议。
智能合约可以帮助我们降低交易风险,即如果违反了这种信任,智能合约依然可以帮助我们继续进行交易,而无需依赖于相互间的信任或任何仲裁方,例如法院。
什么是Scilla?
Scilla(Smart Contract Intermediate-Level Language) 是一种用于编写和设计安全的智能合约的语言。
由于智能合约必须要处理数字资产,因此它们经常会成为黑客攻击的目标,原因在于任何程序中都存在可能允许黑客利用它们的漏洞。
Scilla 的设计类似于 OCaml 等函数式编程语言。 这使得它对静态检查和形式验证更加友好,可以帮助开发者编写更加安全的智能合约。
那么,你准备好学习如何使用 Scilla 编写智能合约了吗?
我们将通过友好的互动教程和我们的聊天链接与你一起成长,你可以随时讨论你的疑虑。
此外,使用 Scilla 语言编写智能合约还可以额外获得 Scilla 的资助。
让我们迈出成为区块链开发者的第一步吧。
译者注:需要了解Scilla原始论文的请移步此处,译者也将抽时间将其翻译为中文供大家学习。
PS: 本教程翻译自官方教程,有能力的同学可移步此处体验交互式学习
本文来自投稿,不代表Zilliqa中国社区立场,如若转载,请注明出处:https://www.china-zil.com/zilliqa-tech/scilla%e7%b3%bb%e5%88%97%e6%95%99%e7%a8%8b%ef%bc%88%e4%b8%80%ef%bc%89/