Curp协议的工业化实践

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