Важная версия с множеством улучшений. Теперь доказательства в реальном времени могут быть созданы в распределенной среде! Нет необходимости иметь кластер!