Důležitá verze s mnoha vylepšeními. Důkazy v reálném čase mohou být nyní vytvářeny v distribuovaném prostředí! Není třeba mít cluster!