Provable finality

From CryptoWiki