Comment Comment by b0in The CURP paper doesn't define a new leader election algorithm and assumes you use an existing one like raft¹. Xline is using raft based on the readmehttps://github.com/xline-kv/Xline/tree/master/curp/tla%2B¹warning, I skimmed and ctrl-fd for "leader election" parent b0in 3 years ago
https://github.com/xline-kv/Xline/tree/master/curp/tla%2B
¹warning, I skimmed and ctrl-fd for "leader election"