Αξιοπιστία αλγορίθμων μηχανικής μάθησης με επαλήθευση αποδείξεων μηδενικής γνώσης σε περιβάλλοντα αλυσίδων-κορμού