技术标签：公链、分片、智能合约
行业标签：公有链
扩容是区块链当前发展最亟需解决的问题之一，而分片正不断成为区块链扩容的重要主流技术。区块链分片技术受传统数据库分片的启发，在公链中将交易划归到不同的分片上并行处理，使每个分片只处理全网中部分交易，从而大幅提高全网的平行吞吐量。正是因为在分片技术中，节点数越多分片也越多，因此网络吞吐量是随着矿工节点数量增加而不断增长的。再加上它是任意节点都可以加入的和去中心化的，分片技术很可能成为推动公有区块链技术迅速普及的理想动力。
另一方面，近来越来越频发的区块链攻击事件也更加暴露了智能合约的安全问题。近年影响巨大的DAO攻击和Parity漏洞等都造成了数额巨大的资金被盗和冻结，一个很重要的原因就是Solidity没有形式化验证，在沟通和计算上划分不够清晰。因此，可形式化验证也成为区块链智能合约语言安全性刻不容缓的功能。为了解决这一问题，Zilliqa设计了全新的安全智能合约语言Scilla，Scilla支持形式化验证，为智能合约的通信和操作提供了多种分离层，通过使用COQ等证明助理，可以使开发者写的代码符合其想要的逻辑。
在这次的讲座中，我们将向大家介绍目前主要公链的扩容方法及其利弊，和分片技术的概念及其设计，并与大家分享Zilliqa的分片技术；分析当前智能合约存在的主要安全问题，展示Zilliqa的全新智能合约Scilla和该语言的形式化证明功能，以及应用场景。
