一些关于 starcoin 的技术文档

同步协议

Starcoin 链包含多种同步模式，这里介绍最常用的两种同步模式，分别是全同步与快速同步。 下面分别介绍这两种模式涉及到的同步流程及同步协议。

累加器介绍

Merkle 累加器是 starcoin 区块链用来存储交易信息 hash 的 Merkle 树。Merkle 累加器可以提供交易被包含在链上的证明。

虚拟机

Starcoin 区块链是一个旨在用作金融基础设施的去中心化系统。更改区块链状态的唯一方法是在 Starcoin VM 上执行交易。交易里包含了由Move编写的智能合约。 Move 是Libra Core开发的一种智能合约编程语言， Starcoin 区块链采用 Move 来编写智能合约是因为它在安全性上表现优异。

形式化验证

介绍 Move 的形式化验证工具 Move Prover的基本用法。