论文标题
LFT2的分析
Analysis of LFT2
论文作者
论文摘要
对于一个分散透明的社会，已经开发了区块链技术。与此同时，已经提出了许多是区块链中核心技术之一的共识算法。其中，我们分析了一种称为LFT2的共识算法，该算法由区块链系统图标使用。我们首先制定LFT2共识算法，然后分析安全性和livesice，这可以被视为分布式共识系统中最重要的特性。我们证明，LFT2满足安全性和可笑性，在这种情况下，需要进行一定的假设才能证明可变。此外，我们将LFT2与两种类似的共识算法进行了比较，从比较中，我们表明三种共识算法之间存在权衡。最后，我们模拟LFT2以测量可暴露率的质量。
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 LFT2 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.
