人气值 2.6k

Curp协议的工业化实践

Curp 协议发表于2019年,其协议主要论述的是主从备份的场景,共识场景仅仅在附录中有简单表述,缺乏严肃验证。共识算法的正确性是至关重要的,在生产场景中尤为如此,因此我们尝试使用 TLA+ 工具进行严肃的验证,以此获得 Curp 共识协议的正确性保证。本次演讲首先论述了 Curp协议的正确性,同时以 KV 存储软件 Xline 为例子讲述如何在工业产品中使用该共识算法。

WechatIMG160.jpg