Too Long; Didn't Read
Most blockchain topologies today have probabilistic finality, in that you are never 100% sure whether or not the transactions are truly set in stone. To achieve true finality in Taraxa, the network will periodically take a vote, in parallel with the Block DAG’s construction, to place infinite weight on a specific block near the frontier of the DAG. To select a block to finalize, we leverage a process similar to the Practical Byzantine Fault Tolerance (PBFT) algorithm.