Πιθανοτικά ελέγξιμες αποδείξεις - Γεωργόπουλος, Παναγιώτης (2019)