Analysis of LFT2 [article]

Geunwoo Lim, Yujin Kwon, Yongdae Kim
2020 arXiv   pre-print
For a decentralized and transparent society, blockchain technology has been developed. Along with this, quite a few consensus algorithms that are one of core technologies in blockchain have been proposed. Among them, we analyze a consensus algorithm called LFT2, which is used by a blockchain system, ICON. We first formulate the LFT2 consensus algorithm and then analyze safety and liveness, which can be considered as the most important properties in distributed consensus system. We prove that
more » ... 2 satisfies safety and liveness, where a certain assumption is required to prove liveness. In addition, we compare LFT2 with two similar consensus algorithms, and from the comparison, we show that a trade-off exist among the three consensus algorithms. Finally, we simulate LFT2 to measure a liveness quality.
arXiv:2004.04294v1 fatcat:jztar6uzxjbsnfvisrtmiu7o64