Search papers, labs, and topics across Lattice.
This paper analyzes Filecoin's finality guarantees by dynamically computing the error probability of tipset permanence using live chain history, offering a more accurate assessment than static worst-case analyses. They introduce a practical algorithm requiring only blocks from honest participants to calculate finality, implementable by clients without altering Filecoin's consensus. Results show that a $2^{-30}$ error probability is achievable in approximately 30 rounds, a 30x improvement over the current 900-round fixed threshold.
Filecoin transactions can be confirmed 30x faster without compromising security, thanks to a new dynamic finality calculator that adapts to real-time network conditions.
In this paper, we analyze the finality of the Filecoin network, focusing on dynamic probabilistic guarantees of tipset permanence in the canonical chain. Our approach differs from static analyses that consider only the worst-case scenario; instead, we dynamically compute the error probability at each round using the live chain history, providing a more accurate and efficient assessment. We provide a practical algorithm that only requires visibility into the blocks produced by honest participants, which can be implemented by clients or off-chain applications without any change to Filecoin's consensus mechanisms. We demonstrate that, under typical operating conditions, the sought-after error probability of $2^{-30}$ is achievable in approximately 30 rounds, a 30x improvement over the 900 rounds that the network currently encodes as a fixed threshold. This finding promises to expedite transactions and enhance network efficiency, and lays the foundation for further analysis of other DAG-structured blockchains.
