libra活性证明基于tc(timeoutcetificate)来实现，在每轮启动时(收到proposal处理时)本地设置一个定时器，该定时器触发后直接广播timeoutvote_msg到所有节点，每个节点自己本地聚合生成相应的timeoutcetificate，一旦聚合完成就会round+1，然后投递vote信息到round + 1的leader，这样round + 1的leader又可以驱动起来。为了对齐时间，间隔时间会随着本地timeout次数的增加而变长，每次以1.5的n个指数被递增。直到收到新的leader发出来的proposal为止。
开发缘由
Editplus软件方便易用，是优秀的编辑器。
Markdown语法也越来越使用广泛。
虽然当前各种编辑器层出不穷，但青菜萝卜各有所爱，EditPlus的轻便易用，有其所长，也有很多深度用户。
遗憾的是，Editplus软件却没有支持markdown语法的用户配置文件。
所以我们做了这个配置插件。
Beautiful Soup是Python爬虫中针对HTML、XML的其中一个解析工具，熟练的使用之可以很方便的提取页面中我们想要的数据。此外，在Beautiful Soup中，为我们提供了以下四种解析器：
标准库，soup = BeautifulSoup(content, "html.parser")
lxml解析器，soup = BeautifulSoup(content, "lxml")
xml解析器，soup = BeautifulSoup(content, "xml")
html5lib解析器，soup = BeautifulSoup(content, "html5lib")